Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/xfs/libxfs/xfs_rmap.c xfs_rmap_convert_shared() -> xfs_rmap_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcur | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_nlevels | 1-255 |
| PARAM_VALUE | 0 | rcur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | rcur->bc_rec.r.rm_flags | 0,4 |
| BUF_SIZE | 0 | rcur->bc_mem.xfbtree | (-1),56 |
| DATA_SOURCE | 0 | rcur | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_rec.r.rm_offset | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res_used | |
| UNITS | 1 | agbno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
| UNITS | 3 | owner | unit_byte |
| UNITS | 4 | offset | unit_array_size |
| HALF_LOCKED2 | &rr->lock |
fs/xfs/libxfs/xfs_rmap.c xfs_rmap_convert_shared() -> xfs_rmap_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcur | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_cache | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ino.ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->sick_mask | 0,8,16,32,64,128,256,512 |
| PARAM_VALUE | 0 | rcur->bc_ops->type | 0-2 |
| BUF_SIZE | 0 | rcur->bc_mem.xfbtree | (-1),56 |
| DATA_SOURCE | 0 | rcur | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_rec.b.br_startoff | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_rec.r.rm_offset | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res_used | |
| UNITS | 1 | agbno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
| UNITS | 3 | owner | unit_byte |
| UNITS | 4 | offset | unit_array_size |
| HALF_LOCKED2 | &rr->lock |
fs/xfs/libxfs/xfs_rmap.c xfs_rmap_convert_shared() -> xfs_rmap_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcur | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_nlevels | 1-255 |
| PARAM_VALUE | 0 | rcur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | rcur->bc_rec.r.rm_flags | 0,4 |
| BUF_SIZE | 0 | rcur->bc_mem.xfbtree | (-1),56 |
| DATA_SOURCE | 0 | rcur | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_rec.r.rm_offset | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res_used | |
| UNITS | 1 | agbno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
| UNITS | 3 | owner | unit_byte |
| UNITS | 4 | offset | unit_array_size |
| HALF_LOCKED2 | &rr->lock |
fs/xfs/libxfs/xfs_rmap.c xfs_rmap_convert_shared() -> xfs_rmap_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcur | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_nlevels | 1-255 |
| PARAM_VALUE | 0 | rcur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | rcur->bc_rec.r.rm_flags | 0,4 |
| BUF_SIZE | 0 | rcur->bc_mem.xfbtree | (-1),56 |
| DATA_SOURCE | 0 | rcur | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_rec.r.rm_offset | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res_used | |
| UNITS | 1 | agbno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
| UNITS | 3 | owner | unit_byte |
| UNITS | 4 | offset | unit_array_size |
| HALF_LOCKED2 | &rr->lock |
fs/xfs/libxfs/xfs_rmap.c xfs_rmap_convert_shared() -> xfs_rmap_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcur | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_nlevels | 1-255 |
| PARAM_VALUE | 0 | rcur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | rcur->bc_rec.r.rm_flags | 0,4 |
| BUF_SIZE | 0 | rcur->bc_mem.xfbtree | (-1),56 |
| DATA_SOURCE | 0 | rcur | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_rec.r.rm_offset | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res_used | |
| UNITS | 1 | agbno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
| UNITS | 3 | owner | unit_byte |
| UNITS | 4 | offset | unit_array_size |
| HALF_LOCKED2 | &rr->lock |
fs/xfs/libxfs/xfs_rmap.c xfs_rmap_convert_shared() -> xfs_rmap_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcur | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_nlevels | 1-255 |
| PARAM_VALUE | 0 | rcur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | rcur->bc_rec.r.rm_flags | 0,4 |
| BUF_SIZE | 0 | rcur->bc_mem.xfbtree | (-1),56 |
| DATA_SOURCE | 0 | rcur | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_rec.r.rm_offset | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res_used | |
| UNITS | 1 | agbno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
| UNITS | 3 | owner | unit_byte |
| UNITS | 4 | offset | unit_array_size |
| HALF_LOCKED2 | &rr->lock |
fs/xfs/libxfs/xfs_rmap.c xfs_rmap_convert_shared() -> xfs_rmap_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcur | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ino.ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_nlevels | 1-255 |
| PARAM_VALUE | 0 | rcur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->ptr_len | 4,8 |
| PARAM_VALUE | 0 | rcur->bc_ops->sick_mask | 0,8,16,32,64,128,256,512 |
| PARAM_VALUE | 0 | rcur->bc_ops->type | 0-2 |
| BUF_SIZE | 0 | rcur->bc_mem.xfbtree | (-1),56 |
| CAPPED_DATA | 0 | rcur->bc_tp | 1 |
| DATA_SOURCE | 0 | rcur | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_rec.r.rm_offset | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res_used | |
| UNITS | 1 | agbno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
| UNITS | 3 | owner | unit_byte |
| UNITS | 4 | offset | unit_array_size |
| HALF_LOCKED2 | &rr->lock |
fs/xfs/libxfs/xfs_rmap.c xfs_rmap_map_shared() -> xfs_rmap_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcur | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_nlevels | 1-255 |
| PARAM_VALUE | 0 | rcur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | rcur->bc_rec.r.rm_flags | 0-7 |
| PARAM_VALUE | 0 | rcur->bc_rec.r.rm_owner | 0-18446744073709551614 |
| PARAM_VALUE | 3 | owner | 0-18446744073709551614 |
| PARAM_VALUE | 4 | offset | 0-18014398509481983 |
| PARAM_VALUE | 5 | flags | 0-7 |
| BUF_SIZE | 0 | rcur->bc_mem.xfbtree | (-1),56 |
| CAPPED_DATA | 1 | agbno | 1 |
| CAPPED_DATA | 3 | owner | 1 |
| CAPPED_DATA | 3 | owner | 1 |
| CAPPED_DATA | 4 | offset | 1 |
| CAPPED_DATA | 4 | offset | 1 |
| DATA_SOURCE | 0 | rcur | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_rec.r.rm_offset | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res_used | |
| UNITS | 1 | agbno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
| UNITS | 3 | owner | unit_byte |
| UNITS | 4 | offset | unit_array_size |
| HALF_LOCKED2 | &rr->lock |
fs/xfs/libxfs/xfs_rmap.c xfs_rmap_map_shared() -> xfs_rmap_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcur | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_nlevels | 1-255 |
| PARAM_VALUE | 0 | rcur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | rcur->bc_rec.r.rm_flags | 0-7 |
| PARAM_VALUE | 0 | rcur->bc_rec.r.rm_owner | 0-18446744073709551614 |
| PARAM_VALUE | 3 | owner | 0-18446744073709551614 |
| PARAM_VALUE | 4 | offset | 0-18014398509481983 |
| PARAM_VALUE | 5 | flags | 0-7 |
| BUF_SIZE | 0 | rcur->bc_mem.xfbtree | (-1),56 |
| CAPPED_DATA | 1 | agbno | 1 |
| CAPPED_DATA | 3 | owner | 1 |
| CAPPED_DATA | 3 | owner | 1 |
| CAPPED_DATA | 4 | offset | 1 |
| CAPPED_DATA | 4 | offset | 1 |
| DATA_SOURCE | 0 | rcur | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_rec.r.rm_offset | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_rec.r.rm_startblock | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res_used | |
| UNITS | 1 | agbno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
| UNITS | 3 | owner | unit_byte |
| UNITS | 4 | offset | unit_array_size |
| HALF_LOCKED2 | &rr->lock |
fs/xfs/libxfs/xfs_rmap.c xfs_rmap_unmap_shared() -> xfs_rmap_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcur | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_mem.xfbtree->target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | rcur->bc_mem.xfbtree->target->bt_hash.run_irq_work.node.a_flags.counter | s32min-s32max |
| PARAM_VALUE | 0 | rcur->bc_mem.xfbtree->target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_mem.xfbtree->target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_mem.xfbtree->target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_nlevels | 1-255 |
| PARAM_VALUE | 0 | rcur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | rcur->bc_rec.r.rm_flags | 0-7 |
| PARAM_VALUE | 0 | *rcur->bc_mem.xfbtree->target->bt_readahead_count.counters | s32min-s32max |
| PARAM_VALUE | 4 | offset | 0-18014398509481983 |
| PARAM_VALUE | 5 | flags | 0-7 |
| BUF_SIZE | 0 | rcur->bc_mem.xfbtree | (-1),56 |
| CAPPED_DATA | 1 | agbno | 1 |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 3 | owner | 1 |
| CAPPED_DATA | 3 | owner | 1 |
| CAPPED_DATA | 4 | offset | 1 |
| CAPPED_DATA | 4 | offset | 1 |
| DATA_SOURCE | 0 | rcur | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_rec.r.rm_offset | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res_used | |
| UNITS | 1 | agbno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
| UNITS | 3 | owner | unit_byte |
| UNITS | 4 | offset | unit_array_size |
| HALF_LOCKED2 | &rr->lock |
fs/xfs/libxfs/xfs_rmap.c xfs_rmap_unmap_shared() -> xfs_rmap_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcur | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_mem.xfbtree->target->bt_hash.nelems.counter | s32min-s32max |
| PARAM_VALUE | 0 | rcur->bc_mem.xfbtree->target->bt_hash.run_irq_work.node.a_flags.counter | s32min-s32max |
| PARAM_VALUE | 0 | rcur->bc_mem.xfbtree->target->bt_hash.tbl->hash_rnd | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_mem.xfbtree->target->bt_hash.tbl->nest | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_mem.xfbtree->target->bt_hash.tbl->size | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_mp | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_nlevels | 1-255 |
| PARAM_VALUE | 0 | rcur->bc_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->name | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_read | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->buf_ops->verify_write | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ops->type | 0-2 |
| PARAM_VALUE | 0 | rcur->bc_rec.r.rm_flags | 0-7 |
| PARAM_VALUE | 0 | *rcur->bc_mem.xfbtree->target->bt_readahead_count.counters | s32min-s32max |
| PARAM_VALUE | 4 | offset | 0-18014398509481983 |
| PARAM_VALUE | 5 | flags | 0-7 |
| BUF_SIZE | 0 | rcur->bc_mem.xfbtree | (-1),56 |
| CAPPED_DATA | 1 | agbno | 1 |
| CAPPED_DATA | 3 | owner | 1 |
| CAPPED_DATA | 3 | owner | 1 |
| CAPPED_DATA | 4 | offset | 1 |
| CAPPED_DATA | 4 | offset | 1 |
| DATA_SOURCE | 0 | rcur | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_rec.r.rm_offset | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_blk_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res | |
| NO_OVERFLOW_SIMPLE | 0 | rcur->bc_tp->t_rtx_res_used | |
| UNITS | 1 | agbno | unit_array_size |
| UNITS | 2 | len | unit_array_size |
| UNITS | 3 | owner | unit_byte |
| UNITS | 4 | offset | unit_array_size |
| HALF_LOCKED2 | &rr->lock |