Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/scrub/dir.c xchk_dir_check_pptr_fast() -> xchk_dir_parent_pointer()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->sc 4096-ptr_max
PARAM_VALUE 1 name 926308372850401280,5104786088895229952,7625479920431947776
PARAM_VALUE 1 name->len 0-255
PARAM_VALUE 1 name->type 0-255
PARAM_VALUE 2 ip 4096-ptr_max
BUF_SIZE 0 sd (-1),16,464
BUF_SIZE 0 sd (-1),16,464
CAPPED_DATA 1 name->len 1
CAPPED_DATA 1 name->type 1
DATA_SOURCE 0 sd $0
DATA_SOURCE 1 name $2
DATA_SOURCE 2 ip $3
USER_DATA 2 ip->i_imap.im_agbno 0-s32max[c]

fs/xfs/scrub/dir.c xchk_dir_slow_dirent() -> xchk_dir_parent_pointer()

Type Parameter Key Value
PARAM_VALUE 0 sd 4096-ptr_max
PARAM_VALUE 0 sd->dir_entries 4096-ptr_max
PARAM_VALUE 0 sd->dir_entries->nr 1-u64max
PARAM_VALUE 0 sd->dir_entries->obj_size 0-2147479552
PARAM_VALUE 0 sd->dir_names 4096-ptr_max
PARAM_VALUE 0 sd->dir_names->xfile 4096-ptr_max
PARAM_VALUE 0 sd->dir_names->xfile->file 4096-ptr_max
PARAM_VALUE 0 sd->sc 4096-ptr_max
PARAM_VALUE 0 sd->sc->ip 4096-ptr_max
PARAM_VALUE 0 sd->sc->ip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sd->sc->ip->i_lock.first_waiter->type 0-1
PARAM_VALUE 0 sd->sc->mp 4096-ptr_max
PARAM_VALUE 0 sd->sc->mp->m_sb.sb_agcount 1-u32max
PARAM_VALUE 0 sd->sc->ops 4096-ptr_max
PARAM_VALUE 0 sd->sc->relax.resched_nr 0-99
PARAM_VALUE 0 sd->sc->sm 4096-ptr_max
PARAM_VALUE 0 sd->xname.len 0-255
PARAM_VALUE 1 name 4096-ptr_max
PARAM_VALUE 1 name->len 0-255
PARAM_VALUE 2 ip 4096-ptr_max
PARAM_VALUE 2 ip->i_lock.dep_map->name 0-255
PARAM_VALUE 2 ip->i_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 2 ip->i_lock.first_waiter->type 0-1
BUF_SIZE 0 sd 464
BUF_SIZE 0 sd->xname.name (-1),256
CAPPED_DATA 0 sd->sc->ip 1
DATA_SOURCE 0 sd $0
DATA_SOURCE 1 name $2
BIT_INFO 0 sd->sc->sm->sm_flags 0x0,0xfffffffd