Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/xfs/libxfs/xfs_sb.c xfs_sb_quiet_read_verify() -> __xfs_buf_ioerror()

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_ops 4096-ptr_max
PARAM_VALUE 1 error (-22)
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 &bp->b_sema
HALF_LOCKED2 &bp->b_sema

fs/xfs/libxfs/xfs_sb.c xfs_sb_read_verify() -> __xfs_buf_ioerror()

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_ops 4096-ptr_max
PARAM_VALUE 1 error (-38),(-22)
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
BIT_INFO 1 error 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 &bp->b_sema
HALF_LOCKED2 &bp->b_sema

fs/xfs/xfs_error.c xfs_buf_verifier_error() -> __xfs_buf_ioerror()

Type Parameter Key Value
PARAM_VALUE 0 bp 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
PARAM_VALUE 1 error (-117),(-74),(-38),(-22)
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
DATA_SOURCE 1 error $1
STR_LEN 0 bp (-1)-0
STR_LEN 0 bp (-1)-0
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/libxfs/xfs_dquot_buf.c xfs_dquot_buf_readahead_verify() -> __xfs_buf_ioerror()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 4096-ptr_max
PARAM_VALUE 1 error (-5)
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 &bp->b_sema
HALF_LOCKED2 &bp->b_sema

fs/xfs/libxfs/xfs_inode_buf.c xfs_inode_buf_verify() -> __xfs_buf_ioerror()

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
PARAM_VALUE 1 error (-5)
BUF_SIZE 0 bp->b_ops (-1)-0,40
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 &bp->b_sema

fs/xfs/xfs_buf.c xfs_buf_bio_end_io() -> __xfs_buf_ioerror()

Type Parameter Key Value
BUF_SIZE 0 bp (-1)-s32max
BUF_SIZE 0 bp (-1)-s32max
STR_LEN 0 bp (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 bp (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/xfs/xfs_buf.c xfs_buf_bio_end_io() -> __xfs_buf_ioerror()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_mount 4096-ptr_max
PARAM_VALUE 1 error (-5)
BUF_SIZE 0 bp (-1)-s32max
BUF_SIZE 0 bp (-1)-s32max
STR_LEN 0 bp (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 bp (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
BIT_INFO 0 bp->b_flags 0x12,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/xfs/xfs_buf.c xfs_buf_fail() -> __xfs_buf_ioerror()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_sema.lock.owner (-1)
PARAM_VALUE 0 bp->b_sema.lock.owner_cpu u32max
PARAM_VALUE 1 error (-5)
CAPPED_DATA 0 bp 1
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bp->b_sema
HALF_LOCKED2 &ailp->ail_lock
TYPE_LOCK (struct xfs_buf)->b_sema

fs/xfs/xfs_buf.c xfs_buf_get_map() -> __xfs_buf_ioerror()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_flags 0,2097152
PARAM_VALUE 0 bp->b_lockref.count 1-s32max
PARAM_VALUE 0 bp->b_ops 0
PARAM_VALUE 0 bp->b_sema.lock.owner (-1)
PARAM_VALUE 0 bp->b_sema.lock.owner_cpu u32max
PARAM_VALUE 1 error 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
LOCK2 &*bpp->b_sema
HALF_LOCKED2 &mp->m_growlock
HALF_LOCKED2 &pool->lock

fs/xfs/xfs_buf.c xfs_buf_ioend_handle_error() -> __xfs_buf_ioerror()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_error s32min-(-1),1-s32max
PARAM_VALUE 0 bp->b_flags 64-u32max
PARAM_VALUE 0 bp->b_last_error s32min-(-1),1-s32max
PARAM_VALUE 0 bp->b_mount 4096-ptr_max
PARAM_VALUE 1 error 0
BUF_SIZE 0 bp->b_ops (-1)-0,40
CAPPED_DATA 0 bp->b_error 1
CAPPED_DATA 0 bp->b_last_error 1
CAPPED_DATA 0 &bp->b_li_list 1
DATA_SOURCE 0 bp $0
PARAM_COMPARE 0 bp->b_error == $0->b_last_error
BIT_INFO 0 bp->b_flags 0x10,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 &bp->b_sema

fs/xfs/xfs_buf.c xfs_buf_ioend_handle_error() -> __xfs_buf_ioerror()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_error s32min-(-1),1-s32max
PARAM_VALUE 0 bp->b_last_error s32min-(-1),1-s32max
PARAM_VALUE 0 bp->b_mount 4096-ptr_max
PARAM_VALUE 1 error 0
BUF_SIZE 0 bp->b_ops (-1)-0,40
CAPPED_DATA 0 bp->b_error 1
CAPPED_DATA 0 bp->b_last_error 1
DATA_SOURCE 0 bp $0
BIT_INFO 0 bp->b_flags 0x10,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 &bp->b_sema

fs/xfs/xfs_buf.c xfs_buf_submit() -> __xfs_buf_ioerror()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_mount 4096-ptr_max
PARAM_VALUE 1 error (-5)
BUF_SIZE 0 bp->b_ops (-1)-0,40
CAPPED_DATA 0 bp 1
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 &*bpp->b_sema
HALF_LOCKED2 &bp->b_sema