Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/scrub/rtrefcount.c xchk_rtrefcountbt_xref() -> xchk_rtrefcountbt_xref_rmap()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ops 4096-ptr_max
PARAM_VALUE 0 sc->sa.agf_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 sc->sa.agi_bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 sc->sm 4096-ptr_max
PARAM_VALUE 0 sc->sm->sm_flags 0,2-u32max
PARAM_VALUE 1 irec 269426484904255488
PARAM_VALUE 1 irec->rc_domain 0-1
DATA_SOURCE 0 sc $0
DATA_SOURCE 1 irec $1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 sc->sa.bno_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.cnt_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sa.fino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sa.ino_cur->bc_tp->t_rtx_res
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_rec.rc.rc_startblock
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_tp->t_blk_res
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_tp->t_blk_res