Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 8 files:
- fs/xfs/libxfs/xfs_attr_leaf.c, line 561
- fs/xfs/libxfs/xfs_da_btree.c
- fs/xfs/libxfs/xfs_dir2_block.c, line 157
- fs/xfs/libxfs/xfs_dir2_data.c, line 465
- fs/xfs/libxfs/xfs_dir2_leaf.c
- fs/xfs/libxfs/xfs_dir2_node.c, line 233
- fs/xfs/xfs_attr_list.c
- fs/xfs/xfs_buf.h, line 291
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 |