Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/scrub/inode.c xchk_setup_inode() -> xrep_setup_inode()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->file 4096-ptr_max
PARAM_VALUE 0 sc->file->f_path.dentry 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 0 sc->mp->m_inodegc_wq->flush_color s32min-s32max
PARAM_VALUE 0 sc->mp->m_inodegc_wq->flusher_overflow.prev->next 2906673126597898240
PARAM_VALUE 0 sc->mp->m_inodegc_wq->work_color s32min-s32max
PARAM_VALUE 0 sc->mp->m_sb.sb_agcount 1-u32max
PARAM_VALUE 0 sc->ops 4096-ptr_max
PARAM_VALUE 0 sc->ops->repair_eval 0,2592533893225459712,5830863107202789376
PARAM_VALUE 0 sc->relax.resched_nr 0-99
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 3746040804808499200,5840378514548297728
PARAM_VALUE 0 sc->sm->sm_ino 1-u64max
PARAM_VALUE 0 sc->sm->sm_type 0-32
PARAM_VALUE 0 sc->tp 4096-ptr_max
PARAM_VALUE 1 imap 2417958559402463232
BUF_SIZE 0 sc 240
CAPPED_DATA 0 sc->sm->sm_ino 1
CAPPED_DATA 0 sc->tp 1
DATA_SOURCE 0 sc $0
CAPABLE 0 21
NOSPEC 0 sc->sm->sm_ino
NOCHECK_CALL
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 1-u64max[c]
USER_DATA 0 sc->sm->sm_type 0-32
USER_DATA 1 imap->im_agbno 0-s32max[c]
USER_PTR 0 sc->sm->sm_reserved