Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

fs/xfs/xfs_extfree_item.c xfs_efi_validate_ext() -> xfs_verify_fsbext()

Type Parameter Key Value
DATA_SOURCE 0 mp $0
UNITS 0 mp unit_byte
UNITS 1 fsbno unit_array_size
UNITS 2 len unit_array_size

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

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
UNITS 0 mp unit_byte
UNITS 1 fsbno unit_array_size
UNITS 2 len unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 1 fsbno 0-4503599627370495
CAPPED_DATA 1 fsbno 1
CAPPED_DATA 1 fsbno 1
NO_OVERFLOW_SIMPLE 1 fsbno
NO_OVERFLOW_SIMPLE 2 len
UNITS 0 mp unit_byte
UNITS 1 fsbno unit_array_size
UNITS 2 len unit_array_size

fs/xfs/libxfs/xfs_refcount.c xfs_refcount_continue_op() -> xfs_verify_fsbext()

Type Parameter Key Value
PARAM_VALUE 2 len 1-u32max
DATA_SOURCE 1 fsbno r xfs_agbno_to_fsb
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 len
UNITS 0 mp unit_byte
UNITS 1 fsbno unit_array_size
UNITS 2 len unit_array_size

fs/xfs/libxfs/xfs_alloc.c xfs_defer_extent_free() -> xfs_verify_fsbext()

Type Parameter Key Value
DATA_SOURCE 1 fsbno $1
DATA_SOURCE 2 len $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 fsbno 1-4503601774854142[c][u]
USER_DATA 2 len 0-18014398509481982,18446744071562067969-u64max[c][u]
UNITS 0 mp unit_byte
UNITS 1 fsbno unit_array_size
UNITS 2 len unit_array_size

fs/xfs/xfs_refcount_item.c xfs_cui_validate_phys() -> xfs_verify_fsbext()

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->m_sb.sb_agcount 1-u32max
DATA_SOURCE 0 mp $0
UNITS 0 mp unit_byte
UNITS 1 fsbno unit_array_size
UNITS 2 len unit_array_size