Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/scrub/inode.c xchk_dinode() -> xchk_inode_flags2()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 0 sc->mp->m_super 4096-ptr_max
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 0 sc->sm->sm_flags 0,2-u32max
PARAM_VALUE 1 dip 1577543410309632000
PARAM_VALUE 1 dip->di_changecount 0-9223372036854775807
PARAM_VALUE 1 dip->di_format 0-5
PARAM_VALUE 1 dip->di_magic 18766
PARAM_VALUE 1 dip->di_version 3
BUF_SIZE 0 sc (-1),240
BUF_SIZE 0 sc (-1),240
DATA_SOURCE 0 sc $0
DATA_SOURCE 1 dip $1
DATA_SOURCE 2 ino $2
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 0-u64max
USER_DATA 0 sc->sm->sm_type 0-32
UNITS 2 ino unit_byte
USER_PTR 0 sc->sm->sm_reserved