Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/scrub/readdir.c xchk_dir_walk() -> xchk_dir_walk_leaf()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sc->ip->i_lock.first_waiter->type 0-1
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->tempip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sc->tempip->i_lock.first_waiter->type 0-1
PARAM_VALUE 1 dp 4096-ptr_max
PARAM_VALUE 1 dp->i_lock.first_waiter->type 0-1
PARAM_VALUE 1 dp->i_mount 4096-ptr_max
PARAM_VALUE 2 dirent_fn 261907163979161600,524295695755161600,1970580323375398912,2496471772474966016,4572131722174984192,5462948645742362624,8579433526552424448
PARAM_VALUE 3 priv 4096-ptr_max
BUF_SIZE 0 sc (-1),240
BUF_SIZE 0 sc (-1),240
BUF_SIZE 3 priv (-1),16,40,72,192-s32max
BUF_SIZE 3 priv (-1),16,40,72,192-s32max
DATA_SOURCE 0 sc $0
DATA_SOURCE 1 dp $1
DATA_SOURCE 2 dirent_fn $2
DATA_SOURCE 3 priv $3
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_DATA 1 dp->i_imap.im_agbno 0-s32max[c]
USER_PTR 0 sc->sm->sm_reserved