Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/xfs/libxfs/xfs_inode_fork.c xfs_ifork_verify_local_data() -> xfs_dir2_sf_verify()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
BUF_SIZE 0 mp (-1),1-s32max
BUF_SIZE 0 mp (-1),1-s32max
BUF_SIZE 1 sfp s32min-(-2),1-s32max
BUF_SIZE 1 sfp s32min-(-2),1-s32max
STR_LEN 0 mp (-1),5,8
STR_LEN 0 mp (-1),5,8
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mp unit_byte
UNITS 2 size unit_byte
HALF_LOCKED2 &ailp->ail_lock
HALF_LOCKED2 &bp->b_sema

fs/xfs/scrub/inode_repair.c xrep_dinode_check_dfork() -> xfs_dir2_sf_verify()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 2 size 0-4294967295
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
BIT_INFO 2 size 0x0,0x7fffffffffffffff
UNITS 0 mp unit_byte
UNITS 2 size unit_byte