Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/scrub/alloc.c xchk_allocbt_rec() -> xchk_allocbt_xref()

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.refc_cur->bc_ops->buf_ops->name 4096-ptr_max
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->buf_ops->verify_read 4096-ptr_max
PARAM_VALUE 0 sc->sa.refc_cur->bc_ops->buf_ops->verify_write 4096-ptr_max
PARAM_VALUE 0 sc->sm 4096-ptr_max
PARAM_VALUE 0 sc->sr.refc_cur->bc_ops->buf_ops->name 4096-ptr_max
PARAM_VALUE 0 sc->sr.refc_cur->bc_ops->buf_ops->verify_read 4096-ptr_max
PARAM_VALUE 0 sc->sr.refc_cur->bc_ops->buf_ops->verify_write 4096-ptr_max
PARAM_VALUE 1 irec 272519825578340352
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.ino_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.refc_cur->bc_ag.agbp->b_map_count
NO_OVERFLOW_SIMPLE 0 sc->sa.rmap_cur->bc_ag.agbp->b_map_count