Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/scrub/bmap.c xchk_bmap_iextent_xref() -> xchk_bmap_xref_rmap_cow()

Type Parameter Key Value
PARAM_VALUE 0 info 4111649917191753728
PARAM_VALUE 0 info->icur.leaf 1-u64max
PARAM_VALUE 0 info->is_rt 0
PARAM_VALUE 0 info->prev_rec.br_startblock 0-4503599627370495
PARAM_VALUE 0 info->prev_rec.br_startoff 0-18014398509481983
PARAM_VALUE 0 info->prev_rec.br_state 0-1
PARAM_VALUE 0 info->sc 4096-ptr_max
PARAM_VALUE 0 info->sc->mp 4096-ptr_max
PARAM_VALUE 0 info->sc->relax.resched_nr 0-99
PARAM_VALUE 0 info->sc->sa.agf_bp->b_log_item->bli_buf->b_lockref.count s32min-s32max
PARAM_VALUE 0 info->sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter s32min-s32max
PARAM_VALUE 0 info->sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd 0-4294967295
PARAM_VALUE 0 info->sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest 0-4294967295
PARAM_VALUE 0 info->sc->sa.agf_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size 0-4294967295
PARAM_VALUE 0 info->sc->sa.agf_bp->b_log_item->bli_flags 0,2-4294967295
PARAM_VALUE 0 info->sc->sa.agf_bp->b_log_item->bli_recur 0-4294967295
PARAM_VALUE 0 info->sc->sa.agf_bp->b_log_item->bli_refcount.counter s32min-s32max
PARAM_VALUE 0 info->sc->sa.agf_bp->b_rcu.func 1-u64max
PARAM_VALUE 0 info->sc->sa.agf_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 info->sc->sa.agf_bp->b_sema.lock.dep_map->name 0-255
PARAM_VALUE 0 info->sc->sa.agf_bp->b_sema.lock.owner (-1)
PARAM_VALUE 0 info->sc->sa.agf_bp->b_sema.lock.owner_cpu u32max
PARAM_VALUE 0 info->sc->sa.agf_bp->b_sema.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 info->sc->sa.agf_bp->b_target->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 info->sc->sa.agi_bp->b_log_item->bli_buf->b_lockref.count s32min-s32max
PARAM_VALUE 0 info->sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.nelems.counter s32min-s32max
PARAM_VALUE 0 info->sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->hash_rnd 0-4294967295
PARAM_VALUE 0 info->sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->nest 0-4294967295
PARAM_VALUE 0 info->sc->sa.agi_bp->b_log_item->bli_buf->b_target->bt_hash.tbl->size 0-4294967295
PARAM_VALUE 0 info->sc->sa.agi_bp->b_log_item->bli_flags 0,2-4294967295
PARAM_VALUE 0 info->sc->sa.agi_bp->b_log_item->bli_recur 0-4294967295
PARAM_VALUE 0 info->sc->sa.agi_bp->b_log_item->bli_refcount.counter s32min-s32max
PARAM_VALUE 0 info->sc->sa.agi_bp->b_rcu.func 1-u64max
PARAM_VALUE 0 info->sc->sa.agi_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 info->sc->sa.agi_bp->b_sema.lock.dep_map->name 0-255
PARAM_VALUE 0 info->sc->sa.agi_bp->b_sema.lock.owner (-1)
PARAM_VALUE 0 info->sc->sa.agi_bp->b_sema.lock.owner_cpu u32max
PARAM_VALUE 0 info->sc->sa.agi_bp->b_sema.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 info->sc->sa.agi_bp->b_target->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 info->sc->sa.bno_cur 0,4096-ptr_max
PARAM_VALUE 0 info->sc->sa.bno_cur->bc_ag.agbp 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.bno_cur->bc_cache 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.bno_cur->bc_group 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.bno_cur->bc_group->xg_state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 info->sc->sa.bno_cur->bc_mp 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.bno_cur->bc_ops 2865506413869281280
PARAM_VALUE 0 info->sc->sa.cnt_cur 0,4096-ptr_max
PARAM_VALUE 0 info->sc->sa.cnt_cur->bc_ag.agbp 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.cnt_cur->bc_cache 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.cnt_cur->bc_group 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.cnt_cur->bc_group->xg_state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 info->sc->sa.cnt_cur->bc_mp 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.cnt_cur->bc_ops 7045033551692476416
PARAM_VALUE 0 info->sc->sa.fino_cur 0,4096-ptr_max
PARAM_VALUE 0 info->sc->sa.fino_cur->bc_ag.agbp 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.fino_cur->bc_cache 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.fino_cur->bc_group 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.fino_cur->bc_group->xg_state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 info->sc->sa.fino_cur->bc_mp 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.fino_cur->bc_ops 5493477311123169280
PARAM_VALUE 0 info->sc->sa.ino_cur 0,4096-ptr_max
PARAM_VALUE 0 info->sc->sa.ino_cur->bc_ag.agbp 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.ino_cur->bc_cache 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.ino_cur->bc_group 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.ino_cur->bc_group->xg_state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 info->sc->sa.ino_cur->bc_mp 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.ino_cur->bc_ops 3248889349463830528
PARAM_VALUE 0 info->sc->sa.pag 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.refc_cur 0,4096-ptr_max
PARAM_VALUE 0 info->sc->sa.refc_cur->bc_ag.agbp 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.refc_cur->bc_cache 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.refc_cur->bc_group 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.refc_cur->bc_group->xg_state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 info->sc->sa.refc_cur->bc_mp 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.refc_cur->bc_ops 3386398652014444544
PARAM_VALUE 0 info->sc->sa.rmap_cur 0,4096-ptr_max
PARAM_VALUE 0 info->sc->sa.rmap_cur->bc_ag.agbp 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.rmap_cur->bc_cache 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.rmap_cur->bc_group 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.rmap_cur->bc_group->xg_state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 info->sc->sa.rmap_cur->bc_mp 4096-ptr_max
PARAM_VALUE 0 info->sc->sa.rmap_cur->bc_ops 248903091670867968
PARAM_VALUE 0 info->sc->sm 4096-ptr_max
PARAM_VALUE 0 info->sc->tp 0,4096-ptr_max
PARAM_VALUE 0 info->whichfork 2
PARAM_VALUE 1 irec 8131772178419593216
PARAM_VALUE 1 irec->br_startblock 0-4503599627370495
PARAM_VALUE 1 irec->br_startoff 0-18014398509481983
PARAM_VALUE 1 irec->br_state 0-1
CAPPED_DATA 0 info->sc->tp 1
CAPPED_DATA 1 irec->br_startblock 1
CAPPED_DATA 1 irec->br_startoff 1
CAPPED_DATA 2 bno 1
DATA_SOURCE 0 info $1
DATA_SOURCE 1 irec $2
FUZZY_MAX 1 irec->br_state 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 info->sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 info->sc->sa.bno_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 info->sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 info->sc->sa.cnt_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 info->sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 info->sc->sa.fino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 info->sc->sa.fino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 info->sc->sa.fino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 info->sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 info->sc->sa.ino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 info->sc->sa.ino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 info->sc->sa.ino_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 info->sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 info->sc->sa.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 info->sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 info->sc->sa.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 info->sc->sa.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 1 irec->br_blockcount
NO_OVERFLOW_SIMPLE 1 irec->br_startblock

fs/xfs/scrub/bmap.c xchk_bmap_rt_iextent_xref() -> xchk_bmap_xref_rmap_cow()

Type Parameter Key Value
PARAM_VALUE 0 info 4111649917191753728
PARAM_VALUE 0 info->icur.leaf 1-u64max
PARAM_VALUE 0 info->is_rt 1
PARAM_VALUE 0 info->prev_rec.br_startblock 0-4503599627370495
PARAM_VALUE 0 info->prev_rec.br_startoff 0-18014398509481983
PARAM_VALUE 0 info->prev_rec.br_state 0-1
PARAM_VALUE 0 info->sc 4096-ptr_max
PARAM_VALUE 0 info->sc->ip 0,4096-ptr_max
PARAM_VALUE 0 info->sc->mp 4096-ptr_max
PARAM_VALUE 0 info->sc->relax.resched_nr 0-99
PARAM_VALUE 0 info->sc->sm 4096-ptr_max
PARAM_VALUE 0 info->sc->sm->sm_flags 0,2-u32max
PARAM_VALUE 0 info->sc->sr.refc_cur 4096-ptr_max
PARAM_VALUE 0 info->sc->sr.refc_cur->bc_cache 4096-ptr_max
PARAM_VALUE 0 info->sc->sr.refc_cur->bc_group 4096-ptr_max
PARAM_VALUE 0 info->sc->sr.refc_cur->bc_ino.ip 4096-ptr_max
PARAM_VALUE 0 info->sc->sr.refc_cur->bc_mp 4096-ptr_max
PARAM_VALUE 0 info->sc->sr.refc_cur->bc_ops 5177736840100265984
PARAM_VALUE 0 info->sc->sr.rmap_cur 4096-ptr_max
PARAM_VALUE 0 info->sc->sr.rmap_cur->bc_cache 4096-ptr_max
PARAM_VALUE 0 info->sc->sr.rmap_cur->bc_group 4096-ptr_max
PARAM_VALUE 0 info->sc->sr.rmap_cur->bc_ino.ip 4096-ptr_max
PARAM_VALUE 0 info->sc->sr.rmap_cur->bc_mp 4096-ptr_max
PARAM_VALUE 0 info->sc->sr.rmap_cur->bc_ops 6771264632830390272
PARAM_VALUE 0 info->sc->sr.rtg 4096-ptr_max
PARAM_VALUE 0 info->sc->sr.rtlock_flags 13
PARAM_VALUE 0 info->whichfork 2
PARAM_VALUE 1 irec 8131772178419593216
PARAM_VALUE 1 irec->br_startblock 0-4503599627370495
PARAM_VALUE 1 irec->br_startoff 0-18014398509481983
PARAM_VALUE 1 irec->br_state 0-1
CAPPED_DATA 1 irec->br_startblock 1
CAPPED_DATA 1 irec->br_startoff 1
CAPPED_DATA 2 bno 1
DATA_SOURCE 0 info $1
DATA_SOURCE 1 irec $2
DATA_SOURCE 2 bno r xfs_rtb_to_rgbno
FUZZY_MAX 1 irec->br_state 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 info->sc->sr.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 info->sc->sr.refc_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 info->sc->sr.refc_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 0 info->sc->sr.rmap_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 info->sc->sr.rmap_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 info->sc->sr.rmap_cur->bc_tp->t_rtx_res_used
NO_OVERFLOW_SIMPLE 1 irec->br_blockcount
NO_OVERFLOW_SIMPLE 1 irec->br_startblock