Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

fs/xfs/scrub/agheader_repair.c xrep_agf_calc_from_btrees() -> xfs_cntbt_init_cursor()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_min_active s32min-s32max
PARAM_VALUE 1 tp 0,4096-ptr_max
PARAM_VALUE 1 tp->t_items.prev->next 4096-ptr_max
PARAM_VALUE 1 tp->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 2 agbp 4096-ptr_max
PARAM_VALUE 2 agbp->b_addr 4096-ptr_max
PARAM_VALUE 2 agbp->b_addr->agf_bno_level 0
PARAM_VALUE 2 agbp->b_addr->agf_bno_root 0
PARAM_VALUE 2 agbp->b_addr->agf_btreeblks 0
PARAM_VALUE 2 agbp->b_addr->agf_cnt_level 0
PARAM_VALUE 2 agbp->b_addr->agf_cnt_root 0
PARAM_VALUE 2 agbp->b_addr->agf_crc 0
PARAM_VALUE 2 agbp->b_addr->agf_flcount 0-4294967295
PARAM_VALUE 2 agbp->b_addr->agf_flfirst 0-4294967295
PARAM_VALUE 2 agbp->b_addr->agf_fllast 0-4294967295
PARAM_VALUE 2 agbp->b_addr->agf_freeblks 0
PARAM_VALUE 2 agbp->b_addr->agf_length 0-4294967295
PARAM_VALUE 2 agbp->b_addr->agf_longest 0
PARAM_VALUE 2 agbp->b_addr->agf_lsn 0
PARAM_VALUE 2 agbp->b_addr->agf_magicnum 1480673094
PARAM_VALUE 2 agbp->b_addr->agf_refcount_blocks 0
PARAM_VALUE 2 agbp->b_addr->agf_refcount_level 0
PARAM_VALUE 2 agbp->b_addr->agf_refcount_root 0
PARAM_VALUE 2 agbp->b_addr->agf_rmap_blocks 0
PARAM_VALUE 2 agbp->b_addr->agf_rmap_level 0
PARAM_VALUE 2 agbp->b_addr->agf_rmap_root 0
PARAM_VALUE 2 agbp->b_addr->agf_seqno 0-4294967295
PARAM_VALUE 2 agbp->b_addr->agf_spare2 0
PARAM_VALUE 2 agbp->b_addr->agf_versionnum 1
PARAM_VALUE 2 agbp->b_ops 6106324574340419584
PARAM_VALUE 3 pag 4096-ptr_max
PARAM_VALUE 3 pag->pag_group.xg_mount 4096-ptr_max
PARAM_VALUE 3 pag->pag_group.xg_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
BUF_SIZE 2 agbp->b_ops 40
CAPPED_DATA 1 tp 1
DATA_SOURCE 2 agbp $1
MEM_ZERO 2 agbp->b_addr
NO_OVERFLOW_SIMPLE 2 agbp->b_map_count
UNITS 0 mp unit_byte

fs/xfs/scrub/agheader_repair.c xrep_agfl_collect_blocks() -> xfs_cntbt_init_cursor()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 mp->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->saved_min_active s32min-s32max
PARAM_VALUE 1 tp 0,4096-ptr_max
PARAM_VALUE 1 tp->t_items.prev 4096-ptr_max
PARAM_VALUE 1 tp->t_items.prev->next 4096-ptr_max
PARAM_VALUE 1 tp->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 2 agbp 4096-ptr_max
PARAM_VALUE 2 agbp->b_lru_ref.counter 0-4
PARAM_VALUE 2 agbp->b_sema.lock.owner (-1)
PARAM_VALUE 2 agbp->b_sema.lock.owner_cpu u32max
PARAM_VALUE 2 agbp->b_sema.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 3 pag 4096-ptr_max
PARAM_VALUE 3 pag->pag_group.xg_mount 4096-ptr_max
CAPPED_DATA 1 tp 1
DATA_SOURCE 2 agbp $1
NO_OVERFLOW_SIMPLE 2 agbp->b_map_count
UNITS 0 mp unit_byte

fs/xfs/libxfs/xfs_alloc_btree.c xfs_cntbt_dup_cursor() -> xfs_cntbt_init_cursor()

Type Parameter Key Value
PARAM_VALUE 3 pag 4096-ptr_max
STR_LEN 0 mp (-1)-1024
STR_LEN 1 tp (-1)-1024
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 tp->t_blk_res
NO_OVERFLOW_SIMPLE 1 tp->t_rtx_res
NO_OVERFLOW_SIMPLE 1 tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 2 agbp->b_map_count
UNITS 0 mp unit_byte

fs/xfs/scrub/repair.c xrep_ag_btcur_init() -> xfs_cntbt_init_cursor()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 2 agbp 0,4096-ptr_max
NO_OVERFLOW_SIMPLE 2 agbp->b_map_count
UNITS 0 mp unit_byte

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_ag_vextent_exact() -> xfs_cntbt_init_cursor()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->m_sb.sb_agblocks 1-u32max
PARAM_VALUE 0 mp->m_sb.sb_agcount 1-u32max
PARAM_VALUE 1 tp 4096-ptr_max
PARAM_VALUE 1 tp->t_dfops.prev->next 4096-ptr_max
PARAM_VALUE 1 tp->t_dfops.prev->next->next 4096-ptr_max
PARAM_VALUE 1 tp->t_items.prev->next 4096-ptr_max
PARAM_VALUE 1 tp->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 2 agbp 4096-ptr_max
PARAM_VALUE 2 agbp->b_flags 0,2-u32max
PARAM_VALUE 3 pag 4096-ptr_max
CAPPED_DATA 0 mp->m_sb.sb_agcount 1
STR_LEN 0 mp (-1)-1024
STR_LEN 1 tp (-1)-1024
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 tp->t_blk_res
UNITS 0 mp unit_byte
HALF_LOCKED2 &mp->m_growlock

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_ag_vextent_size() -> xfs_cntbt_init_cursor()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 tp 4096-ptr_max
PARAM_VALUE 2 agbp 4096-ptr_max
PARAM_VALUE 3 pag 4096-ptr_max
STR_LEN 0 mp (-1)-1024
STR_LEN 1 tp (-1)-1024
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 tp->t_blk_res
NO_OVERFLOW_SIMPLE 1 tp->t_rtx_res_used
UNITS 0 mp unit_byte

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_cur_setup() -> xfs_cntbt_init_cursor()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->m_filestream->grp_count 0-4294967295
PARAM_VALUE 0 mp->m_filestream->lru_grp 0-4294967295
PARAM_VALUE 0 mp->m_filestream->queued 0-4294967295
PARAM_VALUE 0 mp->m_sb.sb_agblocks 1-u32max
PARAM_VALUE 0 mp->m_sb.sb_agcount 1-u32max
PARAM_VALUE 1 tp 4096-ptr_max
PARAM_VALUE 1 tp->t_dfops.prev->next 4096-ptr_max
PARAM_VALUE 1 tp->t_dfops.prev->next->next 4096-ptr_max
PARAM_VALUE 1 tp->t_items.prev->next 4096-ptr_max
PARAM_VALUE 1 tp->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 2 agbp 4096-ptr_max
PARAM_VALUE 2 agbp->b_flags 0,2-u32max
PARAM_VALUE 3 pag 4096-ptr_max
STR_LEN 0 mp (-1)-1024
STR_LEN 1 tp (-1)-1024
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 tp->t_blk_res
NO_OVERFLOW_SIMPLE 1 tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 2 agbp->b_map_count
UNITS 0 mp unit_byte

fs/xfs/libxfs/xfs_alloc.c xfs_exact_minlen_extent_available() -> xfs_cntbt_init_cursor()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 tp 4096-ptr_max
PARAM_VALUE 1 tp->t_items.prev 4096-ptr_max
PARAM_VALUE 1 tp->t_items.prev->next 4096-ptr_max
PARAM_VALUE 1 tp->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 2 agbp 4096-ptr_max
PARAM_VALUE 2 agbp->b_lru_ref.counter 0-4
PARAM_VALUE 2 agbp->b_sema.lock.owner (-1)
PARAM_VALUE 2 agbp->b_sema.lock.owner_cpu u32max
PARAM_VALUE 2 agbp->b_sema.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 3 pag 4096-ptr_max
PARAM_VALUE 3 pag->pag_group.xg_mount 4096-ptr_max
CAPPED_DATA 1 tp 1
DATA_SOURCE 2 agbp $1
STR_LEN 0 mp (-1)-1024
STR_LEN 1 tp (-1)-1024
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 tp->t_blk_res
NO_OVERFLOW_SIMPLE 1 tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 2 agbp->b_map_count
UNITS 0 mp unit_byte

fs/xfs/libxfs/xfs_alloc.c xfs_free_ag_extent() -> xfs_cntbt_init_cursor()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 tp 4096-ptr_max
PARAM_VALUE 2 agbp 4096-ptr_max
CAPPED_DATA 1 tp 1
DATA_SOURCE 1 tp $0
DATA_SOURCE 2 agbp $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 tp->t_blk_res
NO_OVERFLOW_SIMPLE 2 agbp->b_map_count
UNITS 0 mp unit_byte

fs/xfs/scrub/rmap.c xchk_rmapbt_walk_ag_metadata() -> xfs_cntbt_init_cursor()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 2 agbp 4096-ptr_max
PARAM_VALUE 2 agbp->b_sema.first_waiter->up 0-1
PARAM_VALUE 3 pag 4096-ptr_max
UNITS 0 mp unit_byte

fs/xfs/scrub/rmap_repair.c xrep_rmap_try_reserve() -> xfs_cntbt_init_cursor()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 tp 4096-ptr_max
PARAM_VALUE 2 agbp 4096-ptr_max
PARAM_VALUE 3 pag 4096-ptr_max
UNITS 0 mp unit_byte

fs/xfs/scrub/alloc_repair.c xrep_abt_build_new_trees() -> xfs_cntbt_init_cursor()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 tp 0
PARAM_VALUE 2 agbp 0
UNITS 0 mp unit_byte

fs/xfs/scrub/common.c xchk_ag_btcur_init() -> xfs_cntbt_init_cursor()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 tp 0,4096-ptr_max
PARAM_VALUE 2 agbp 4096-ptr_max
PARAM_VALUE 3 pag 4096-ptr_max
CAPPED_DATA 1 tp 1
UNITS 0 mp unit_byte

fs/xfs/xfs_discard.c xfs_trim_gather_extents() -> xfs_cntbt_init_cursor()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 mp->m_log 4096-ptr_max
PARAM_VALUE 0 mp->m_log->l_cilp 4096-ptr_max
PARAM_VALUE 1 tp 4096-ptr_max
PARAM_VALUE 1 tp->t_items.prev 4096-ptr_max
PARAM_VALUE 1 tp->t_items.prev->next 4096-ptr_max
PARAM_VALUE 1 tp->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 2 agbp 4096-ptr_max
PARAM_VALUE 2 agbp->b_lru_ref.counter 0-4
PARAM_VALUE 3 pag 4096-ptr_max
PARAM_VALUE 3 pag->pag_group.xg_mount 4096-ptr_max
PARAM_VALUE 3 pag->pag_group.xg_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 3 pag->pag_group.xg_mount->m_log 4096-ptr_max
PARAM_VALUE 3 pag->pag_group.xg_mount->m_log->l_cilp 4096-ptr_max
CAPPED_DATA 1 tp 1
DATA_SOURCE 1 tp r xfs_trans_alloc_empty
DATA_SOURCE 3 pag $0
CAPABLE 0 21
PARAM_COMPARE 0 mp == $3->pag_group.xg_mount
PARAM_COMPARE 0 mp == $3->pag_group.xg_mount
NO_OVERFLOW_SIMPLE 2 agbp->b_map_count
UNITS 0 mp unit_byte

fs/xfs/xfs_discard.c xfs_trim_gather_extents() -> xfs_cntbt_init_cursor()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 mp->m_log 4096-ptr_max
PARAM_VALUE 0 mp->m_log->l_cilp 4096-ptr_max
PARAM_VALUE 1 tp 4096-ptr_max
PARAM_VALUE 1 tp->t_items.prev 4096-ptr_max
PARAM_VALUE 1 tp->t_items.prev->next 4096-ptr_max
PARAM_VALUE 1 tp->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 2 agbp 4096-ptr_max
PARAM_VALUE 2 agbp->b_lru_ref.counter 0-4
PARAM_VALUE 3 pag 4096-ptr_max
PARAM_VALUE 3 pag->pag_group.xg_mount 4096-ptr_max
PARAM_VALUE 3 pag->pag_group.xg_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 3 pag->pag_group.xg_mount->m_log 4096-ptr_max
PARAM_VALUE 3 pag->pag_group.xg_mount->m_log->l_cilp 4096-ptr_max
CAPPED_DATA 1 tp 1
DATA_SOURCE 1 tp r xfs_trans_alloc_empty
DATA_SOURCE 3 pag $0
CAPABLE 0 21
PARAM_COMPARE 0 mp == $3->pag_group.xg_mount
PARAM_COMPARE 0 mp == $3->pag_group.xg_mount
NO_OVERFLOW_SIMPLE 2 agbp->b_map_count
UNITS 0 mp unit_byte