Defined in 1 files as a prototype:
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_insert()
| 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_insert()
| 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_insert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcur | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_bno_level | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_bno_root | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_btreeblks | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_cnt_level | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_cnt_root | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_flcount | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_flfirst | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_refcount_level | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_refcount_root | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_rmap_level | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_rmap_root | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agi_free_level | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agi_free_root | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agi_level | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agi_root | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_flags | 0,32-u32max |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ino.ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ino.ip->i_mount->m_delalloc_blks.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | rcur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | rcur->bc_ino.ip->i_mount->m_metafile_resv_avail | 0-9223372036854775807 |
| 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 |
| PARAM_VALUE | 5 | flags | 0,4 |
| DATA_SOURCE | 0 | rcur | $0 |
| DATA_SOURCE | 1 | agbno | $1 |
| DATA_SOURCE | 2 | len | $2 |
| BIT_INFO | 5 | flags | 0x0,0x4 |
| 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_insert()
| 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->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.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_insert()
| 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 |
| PARAM_VALUE | 5 | flags | 0,4 |
| BUF_SIZE | 0 | rcur->bc_mem.xfbtree | (-1),56 |
| CAPPED_DATA | 0 | rcur->bc_tp | 1 |
| DATA_SOURCE | 0 | rcur | $0 |
| DATA_SOURCE | 1 | agbno | $1 |
| DATA_SOURCE | 2 | len | $2 |
| BIT_INFO | 5 | flags | 0x0,0x4 |
| 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_insert()
| 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_insert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rcur | 4096-ptr_max |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_bno_level | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_bno_root | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_btreeblks | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_cnt_level | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_cnt_root | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_flcount | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_flfirst | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_refcount_level | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_refcount_root | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_rmap_level | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agf_rmap_root | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agi_free_level | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agi_free_root | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agi_level | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_addr->agi_root | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_flags | 0,32-u32max |
| PARAM_VALUE | 0 | rcur->bc_ag.agbp->b_log_item->bli_flags | 0,2-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ino.ip->i_itemp->ili_dirty_flags | 0-4294967295 |
| PARAM_VALUE | 0 | rcur->bc_ino.ip->i_mount->m_delalloc_blks.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | rcur->bc_ino.ip->i_mount->m_delalloc_rtextents.lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | rcur->bc_ino.ip->i_mount->m_metafile_resv_avail | 0-9223372036854775807 |
| 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 |
| PARAM_VALUE | 5 | flags | 0,4 |
| 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_insert()
| 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 |
| PARAM_VALUE | 0 | rcur->bc_rec.r.rm_flags | 0-7 |
| PARAM_VALUE | 0 | rcur->bc_rec.r.rm_offset | 0-18014398509481983 |
| PARAM_VALUE | 0 | rcur->bc_rec.r.rm_owner | 0-18446744073709551614 |
| PARAM_VALUE | 3 | owner | 0-18446744073709551614 |
| PARAM_VALUE | 5 | flags | 0-7 |
| BUF_SIZE | 0 | rcur->bc_mem.xfbtree | (-1),56 |
| CAPPED_DATA | 3 | owner | 1 |
| CAPPED_DATA | 3 | owner | 1 |
| DATA_SOURCE | 0 | rcur | $0 |
| DATA_SOURCE | 1 | agbno | $1 |
| 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 | |
| NO_OVERFLOW_SIMPLE | 1 | agbno | |
| 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_insert()
| 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 | 5 | flags | 0-7 |
| BUF_SIZE | 0 | rcur->bc_mem.xfbtree | (-1),56 |
| DATA_SOURCE | 0 | rcur | $0 |
| DATA_SOURCE | 1 | agbno | $1 |
| DATA_SOURCE | 2 | len | $2 |
| 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 | |
| NO_OVERFLOW_SIMPLE | 1 | agbno | |
| 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_insert()
| 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 |
| PARAM_VALUE | 0 | rcur->bc_rec.r.rm_flags | 0-7 |
| PARAM_VALUE | 0 | rcur->bc_rec.r.rm_offset | 0-18014398509481983 |
| PARAM_VALUE | 0 | *rcur->bc_mem.xfbtree->target->bt_readahead_count.counters | s32min-s32max |
| PARAM_VALUE | 5 | flags | 0-7 |
| BUF_SIZE | 0 | rcur->bc_mem.xfbtree | (-1),56 |
| CAPPED_DATA | 3 | owner | 1 |
| CAPPED_DATA | 3 | owner | 1 |
| 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_unmap_shared() -> xfs_rmap_insert()
| 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_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->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 |
| PARAM_VALUE | 0 | rcur->bc_rec.r.rm_flags | 0-7 |
| PARAM_VALUE | 0 | rcur->bc_rec.r.rm_offset | 0-18014398509481983 |
| PARAM_VALUE | 0 | *rcur->bc_mem.xfbtree->target->bt_readahead_count.counters | s32min-s32max |
| PARAM_VALUE | 5 | flags | 0-7 |
| BUF_SIZE | 0 | rcur->bc_mem.xfbtree | (-1),56 |
| CAPPED_DATA | 0 | rcur->bc_tp | 1 |
| CAPPED_DATA | 3 | owner | 1 |
| CAPPED_DATA | 3 | owner | 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 | 3 | owner | unit_byte |
| HALF_LOCKED2 | &rr->lock |