Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

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

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

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

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 rtbno unit_array_size
UNITS 2 len unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 1 rtbno 0-4503599627370495
UNITS 0 mp unit_byte
UNITS 1 rtbno unit_array_size
UNITS 2 len unit_array_size

fs/xfs/libxfs/xfs_refcount.c xfs_rtrefcount_continue_op() -> xfs_verify_rtbext()

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

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

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

fs/xfs/scrub/rtbitmap.c xchk_rtbitmap_rec() -> xfs_verify_rtbext()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 2 len 0-u32max
DATA_SOURCE 1 rtbno r xfs_rtx_to_rtb
DATA_SOURCE 2 len r xfs_rtxlen_to_extlen

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

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

fs/xfs/scrub/rtsummary.c xchk_rtsum_record_free() -> xfs_verify_rtbext()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 2 len 0-u32max
DATA_SOURCE 1 rtbno r xfs_rtx_to_rtb
DATA_SOURCE 2 len r xfs_rtxlen_to_extlen
UNITS 0 mp unit_byte

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

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

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

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 rtbno unit_array_size
UNITS 2 len unit_array_size