Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/scrub/refcount.c xchk_refcountbt_xref() -> xchk_refcountbt_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->sa.fino_cur 0,4096-ptr_max
PARAM_VALUE 0 sc->sa.fino_cur->bc_rec.i.ir_count 0
PARAM_VALUE 0 sc->sa.fino_cur->bc_rec.i.ir_free 0
PARAM_VALUE 0 sc->sa.fino_cur->bc_rec.i.ir_freecount 0
PARAM_VALUE 0 sc->sa.fino_cur->bc_rec.i.ir_holemask 0
PARAM_VALUE 0 sc->sa.ino_cur 0,4096-ptr_max
PARAM_VALUE 0 sc->sa.ino_cur->bc_rec.i.ir_count 0
PARAM_VALUE 0 sc->sa.ino_cur->bc_rec.i.ir_free 0
PARAM_VALUE 0 sc->sa.ino_cur->bc_rec.i.ir_freecount 0
PARAM_VALUE 0 sc->sa.ino_cur->bc_rec.i.ir_holemask 0
PARAM_VALUE 0 sc->sm 4096-ptr_max
PARAM_VALUE 1 irec 1256198742606082048
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