Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

fs/xfs/libxfs/xfs_dir2_node.c __xfs_dir3_free_read() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_mount 4096-ptr_max
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_dir3_free_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leaf_to_node() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
DATA_SOURCE 0 bp $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_add() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_lookup_for_entry() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_rtbitmap.c xfs_rtbuf_get() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_sema.lock.owner (-1)
PARAM_VALUE 0 bp->b_sema.lock.owner_cpu u32max
PARAM_VALUE 0 bp->b_sema.lock.raw_lock.val.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/xfs/libxfs/xfs_attr_leaf.c xfs_attr3_leaf_lookup_int() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_attr_leaf.c xfs_attr3_leaf_lookup_int() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_attr_leaf.c xfs_attr3_leaf_lookup_int() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_attr_leaf.c xfs_attr3_leaf_read() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_attr3_leaf_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_btree.c xfs_btree_lookup_get_block() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_maps 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_blk_link() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr->magic 15342,15857,15871,16062
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_da3_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_blk_link() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr->magic 15342,15857,15871,16062
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_da3_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_blk_unlink() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr->magic 15342,15857,15871,16062
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_da3_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_blk_unlink() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr->magic 15342,15857,15871,16062
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_da3_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_node_lookup_int() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_addr->hdr.info.hdr.magic 0-u16max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_attr3_leaf_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_node_lookup_int() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_addr->hdr.info.hdr.magic 0-u16max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_dir3_leaf_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_node_lookup_int() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_node_lookup_int() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_addr->hdr.magic 0-u16max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_da3_node_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_node_lookup_int() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_node_lookup_int() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_node_toosmall() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr->hdr.magic 0-u16max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_da3_node_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_path_shift() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_addr->hdr.magic 0-u16max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_da3_node_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_path_shift() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_addr->hdr.info.hdr.magic 0-u16max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_attr3_leaf_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_path_shift() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_addr->hdr.info.hdr.magic 0-u16max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_dir3_leaf_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_root_join() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr->magic 15342,15857,15871,16062
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_da3_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_split() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_flags 0,32-u32max
PARAM_VALUE 0 bp->b_log_item 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_split() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_flags 0,32-u32max
PARAM_VALUE 0 bp->b_log_item 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_swap_lastblock() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr->magic 15342,15857,15871,16062
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_da3_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_swap_lastblock() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr->magic 15342,15857,15871,16062
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_da3_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_swap_lastblock() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_da3_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_swap_lastblock() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_da3_node_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_swap_lastblock() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_da3_node_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_alloc.c xfs_alloc_update_counters() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_pag 4096-ptr_max
DATA_SOURCE 0 bp $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/xfs_attr_list.c xfs_attr_node_list() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_addr->hdr.magic 0-u16max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_da3_node_header_check
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/xfs_attr_list.c xfs_attr_node_list() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_addr->hdr.info.hdr.magic 0-u16max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_attr3_leaf_header_check
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/xfs_attr_list.c xfs_attr_node_list_lookup() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_addr->hdr.info.hdr.magic 0-u16max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_attr3_leaf_header_check
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/xfs_attr_list.c xfs_attr_node_list_lookup() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_leaf_removename() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir3_leaf_read() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_dir3_leaf_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir3_leafn_read() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_dir3_leaf_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_inode_util.c xfs_iunlink_insert_inode() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
DATA_SOURCE 0 bp $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_inode_util.c xfs_iunlink_update_bucket() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.lock.owner (-1)
PARAM_VALUE 0 bp->b_sema.lock.owner_cpu u32max
PARAM_VALUE 0 bp->b_sema.lock.raw_lock.val.counter 0-s32max
DATA_SOURCE 0 bp $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/libxfs/xfs_dir2_block.c xfs_dir3_block_read() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_dir3_block_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 &inode->i_rwsem

fs/xfs/libxfs/xfs_dir2_data.c xfs_dir3_data_read() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 1 fa 1-u64max
DATA_SOURCE 1 fa r xfs_dir3_data_header_check
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 &inode->i_rwsem

fs/xfs/xfs_attr_inactive.c xfs_attr3_node_inactive() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_maps 4096-ptr_max
DATA_SOURCE 0 bp $2
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 &pool->lock

fs/xfs/xfs_attr_inactive.c xfs_attr3_node_inactive() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_maps 4096-ptr_max
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 &pool->lock

fs/xfs/xfs_attr_inactive.c xfs_attr3_root_inactive() -> __xfs_buf_mark_corrupt()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
LOCK2 &pool->lock