Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/xfs_buf.c xfs_buf_verify_write() -> (struct xfs_buf_ops)->verify_write()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_error 0
PARAM_VALUE 0 bp->b_mount 4096-ptr_max
PARAM_VALUE 0 bp->b_mount->m_log 0,4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
PARAM_VALUE 0 bp->b_ops->name 4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_read 4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_struct 0,4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_write 4096-ptr_max
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
CONTAINER 0 -24-640+0 $(-1)
BIT_INFO 0 bp->b_flags 0x2,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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/dabtree.c xchk_da_btree_write_verify() -> (struct xfs_buf_ops)->verify_write()

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_mount->m_filestream->grp_time 0-4294967295
PARAM_VALUE 0 bp->b_mount->m_quotainfo->qi_dqperchunk 0-4294967295
PARAM_VALUE 0 bp->b_ops 5374674744482988032
PARAM_VALUE 0 bp->b_ops->name 1659468504146599936
PARAM_VALUE 0 bp->b_ops->verify_read 3562449903453917184
PARAM_VALUE 0 bp->b_ops->verify_struct 1153922170065375232
PARAM_VALUE 0 bp->b_ops->verify_write 8674361191688728576
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
BUF_SIZE 0 bp->b_ops 40
DATA_SOURCE 0 bp $0
CONTAINER 0 -24-640+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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/dabtree.c xchk_da_btree_write_verify() -> (struct xfs_buf_ops)->verify_write()

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_mount->m_filestream->grp_time 0-4294967295
PARAM_VALUE 0 bp->b_mount->m_quotainfo->qi_dqperchunk 0-4294967295
PARAM_VALUE 0 bp->b_ops 124594178013147136
PARAM_VALUE 0 bp->b_ops->name 5671113686949236736
PARAM_VALUE 0 bp->b_ops->verify_read 5811134688655814656
PARAM_VALUE 0 bp->b_ops->verify_struct 8858770592724492288
PARAM_VALUE 0 bp->b_ops->verify_write 332049853183807488
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
BUF_SIZE 0 bp->b_ops 40
DATA_SOURCE 0 bp $0
CONTAINER 0 -24-640+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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