Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 18 files:

Smatch caller information:

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir3_free_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_sb.c xfs_validate_sb_common() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_rtbitmap.c xfs_rtbuf_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_rtgroup.c xfs_rtsb_verify_common() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/scrub/rcbag_btree.c rcbagbt_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_alloc_btree.c xfs_allocbt_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_rmap_btree.c xfs_rmapbt_mem_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_rmap_btree.c xfs_rmapbt_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_alloc.c xfs_agf_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_alloc.c xfs_agfl_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_attr_remote.c xfs_attr3_rmt_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_mount 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_ialloc.c xfs_agi_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_symlink_remote.c xfs_symlink_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_bmap_btree.c xfs_bmbt_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_rtrefcount_btree.c xfs_rtrefcountbt_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_refcount_btree.c xfs_refcountbt_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_dir2_block.c xfs_dir3_block_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_rtrmap_btree.c xfs_rtrmapbt_mem_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_rtrmap_btree.c xfs_rtrmapbt_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_ialloc_btree.c xfs_inobt_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema

fs/xfs/libxfs/xfs_dir2_data.c xfs_dir3_data_verify() -> xfs_verify_magic()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_format_count
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_formats
NO_OVERFLOW_SIMPLE 0 bp->b_log_item->bli_item.li_lv_shadow
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 0 &bp->b_sema