Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/scrub/fscounters.c xchk_fscounters() -> xchk_fscount_aggregate_agcounts()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->buf 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 0 sc->mp->m_icount.lock.dep_map->name 0-255
PARAM_VALUE 0 sc->mp->m_icount.lock.owner (-1)
PARAM_VALUE 0 sc->mp->m_icount.lock.owner_cpu u32max
PARAM_VALUE 0 sc->mp->m_ifree.lock.dep_map->name 0-255
PARAM_VALUE 0 sc->mp->m_ifree.lock.owner (-1)
PARAM_VALUE 0 sc->mp->m_ifree.lock.owner_cpu u32max
PARAM_VALUE 0 sc->ops 4096-ptr_max
PARAM_VALUE 0 sc->ops->repair_eval 0,2592533893225459712,5830863107202789376
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 1 fsc 4096-ptr_max
BUF_SIZE 0 sc (-1),240
BUF_SIZE 0 sc (-1),240
BUF_SIZE 1 fsc 40,72,192-s32max
BUF_SIZE 1 fsc 40,72,192-s32max
CAPPED_DATA 1 fsc->icount_min 1
DATA_SOURCE 0 sc $0
USER_DATA 0 sc->sm->sm_agno 0-u32max
USER_DATA 0 sc->sm->sm_gen 0-u32max
USER_DATA 0 sc->sm->sm_ino 0-u64max
USER_DATA 0 sc->sm->sm_type 0-32
USER_PTR 0 sc->sm->sm_reserved