Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/scrub/dir.c xchk_directory_data_bestfree() -> xchk_directory_check_free_entry()

Type Parameter Key Value
PARAM_VALUE 0 sc 4096-ptr_max
PARAM_VALUE 0 sc->ip 4096-ptr_max
PARAM_VALUE 0 sc->ip->i_disk_size 6-s64max
PARAM_VALUE 0 sc->ip->i_mount 4096-ptr_max
PARAM_VALUE 0 sc->ip->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 sc->mp 4096-ptr_max
PARAM_VALUE 0 sc->mp->m_dir_geo 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 2 bf 4096-ptr_max
PARAM_VALUE 3 dup 4096-ptr_max
PARAM_VALUE 3 dup->freetag u16max
BUF_SIZE 2 bf 12
BUF_SIZE 2 bf 12
CAPPED_DATA 1 lblk 1
CAPPED_DATA 2 bf 1
DATA_SOURCE 0 sc $0
DATA_SOURCE 1 lblk $1
DATA_SOURCE 2 bf r xfs_dir2_data_bestfree_p
BIT_INFO 0 sc->sm->sm_flags 0x0,0xfffffffd
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 3 dup unit_byte
USER_PTR 0 sc->sm->sm_reserved