Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

fs/xfs/libxfs/xfs_bmap.c xfs_bmap_validate_extent_raw() -> xfs_verify_fileext()

Type Parameter Key Value
PARAM_VALUE 2 len 0-18014398509481983
BUF_SIZE 0 mp (-1),1-s32max
BUF_SIZE 0 mp (-1),1-s32max
DATA_SOURCE 0 mp $0
STR_LEN 0 mp (-1),5,8
STR_LEN 0 mp (-1),5,8
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 off
UNITS 0 mp unit_byte
UNITS 1 off unit_array_size
UNITS 2 len unit_array_size

fs/xfs/scrub/bmap.c xchk_bmap_iextent() -> xfs_verify_fileext()

Type Parameter Key Value
PARAM_VALUE 1 off 0-18014398509481983
CAPPED_DATA 1 off 1
CAPPED_DATA 1 off 1
UNITS 0 mp unit_byte
UNITS 1 off unit_array_size
UNITS 2 len unit_array_size

fs/xfs/scrub/bmap.c xchk_bmap_iextent_delalloc() -> xfs_verify_fileext()

Type Parameter Key Value
PARAM_VALUE 1 off 0-18014398509481983
CAPPED_DATA 1 off 1
CAPPED_DATA 1 off 1
UNITS 0 mp unit_byte
UNITS 1 off unit_array_size
UNITS 2 len unit_array_size

fs/xfs/libxfs/xfs_rmap.c xfs_rmap_check_irec() -> xfs_verify_fileext()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 off 0-18014398509481983
PARAM_VALUE 2 len 1-u32max
CAPPED_DATA 0 mp->m_sb.sb_agcount 1
CAPPED_DATA 2 len 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 off
UNITS 0 mp unit_byte
UNITS 1 off unit_array_size
UNITS 2 len unit_array_size

fs/xfs/libxfs/xfs_rmap.c xfs_rtrmap_check_inode_irec() -> xfs_verify_fileext()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 off 0-18014398509481983
PARAM_VALUE 2 len 1-u32max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 off
NO_OVERFLOW_SIMPLE 2 len
UNITS 0 mp unit_byte
UNITS 1 off unit_array_size
UNITS 2 len unit_array_size

fs/xfs/xfs_exchmaps_item.c xfs_xmi_validate() -> xfs_verify_fileext()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
DATA_SOURCE 0 mp $0
UNITS 0 mp unit_byte
UNITS 1 off unit_array_size
UNITS 2 len unit_array_size

fs/xfs/xfs_exchmaps_item.c xfs_xmi_validate() -> xfs_verify_fileext()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
DATA_SOURCE 0 mp $0
UNITS 0 mp unit_byte
UNITS 1 off unit_array_size
UNITS 2 len unit_array_size

fs/xfs/scrub/bmap_repair.c xrep_bmap_check_fork_rmap() -> xfs_verify_fileext()

Type Parameter Key Value
PARAM_VALUE 1 off 0-18014398509481983
PARAM_VALUE 2 len 1-u32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mp unit_byte
UNITS 1 off unit_array_size
UNITS 2 len unit_array_size

fs/xfs/scrub/bmap_repair.c xrep_bmap_check_rtfork_rmap() -> xfs_verify_fileext()

Type Parameter Key Value
PARAM_VALUE 1 off 0-18014398509481983
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mp unit_byte
UNITS 1 off unit_array_size
UNITS 2 len unit_array_size

fs/xfs/xfs_rmap_item.c xfs_rui_validate_map() -> xfs_verify_fileext()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
DATA_SOURCE 0 mp $0
UNITS 0 mp unit_byte
UNITS 1 off unit_array_size
UNITS 2 len unit_array_size

fs/xfs/xfs_bmap_item.c xfs_bui_validate() -> xfs_verify_fileext()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
DATA_SOURCE 0 mp $0
UNITS 0 mp unit_byte
UNITS 1 off unit_array_size
UNITS 2 len unit_array_size