Open Menu /

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/xfs/scrub/rtbitmap_repair.c xrep_rtbitmap_mark_free() -> xfs_verify_rgbext()

Type Parameter Key Value
CAPPED_DATA 1 rgbno 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 rgbno
UNITS 1 rgbno unit_array_size

fs/xfs/libxfs/xfs_refcount.c xfs_rtrefcount_check_irec() -> xfs_verify_rgbext()

Type Parameter Key Value
PARAM_VALUE 2 len 1-u32max
DATA_SOURCE 0 rtg $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 rgbno
NO_OVERFLOW_SIMPLE 2 len
UNITS 1 rgbno unit_array_size
UNITS 2 len unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 rtg 4096-ptr_max
PARAM_VALUE 2 len 1-u32max
DATA_SOURCE 0 rtg r to_rtg
DATA_SOURCE 1 rgbno $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 rgbno
NO_OVERFLOW_SIMPLE 2 len
UNITS 2 len unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 rtg 4096-ptr_max
PARAM_VALUE 0 rtg->rtg_group.xg_mount->m_sb.sb_agcount 1-u32max
PARAM_VALUE 2 len 1-u32max
DATA_SOURCE 0 rtg $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 rgbno
NO_OVERFLOW_SIMPLE 2 len
UNITS 1 rgbno unit_array_size
UNITS 2 len unit_array_size

fs/xfs/libxfs/xfs_rmap.c xfs_rtrmap_check_meta_irec() -> xfs_verify_rgbext()

Type Parameter Key Value
PARAM_VALUE 0 rtg 4096-ptr_max
PARAM_VALUE 2 len 1-u32max
DATA_SOURCE 0 rtg $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 rgbno
NO_OVERFLOW_SIMPLE 2 len
UNITS 1 rgbno unit_array_size
UNITS 2 len unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 rtg 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 rgbno
UNITS 1 rgbno unit_array_size
UNITS 2 len unit_array_size