Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_maps 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_write 4096-ptr_max
PARAM_VALUE 0 bp->b_sema.first_waiter->list.next 5349227543279349760
PARAM_VALUE 0 bp->b_sema.first_waiter->list.prev 5349227543279349760
PARAM_VALUE 0 bp->b_sema.first_waiter->list.prev->next 5349227543279349760
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 bp->b_sema.lock.dep_map->name 0-255
PARAM_VALUE 0 bp->b_sema.lock.owner (-1)
PARAM_VALUE 0 bp->b_sema.lock.owner_cpu u32max
DATA_SOURCE 0 bp $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &bp->b_sema
TYPE_LOCK (struct xfs_buf)->b_sema

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

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_list.next 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->list.next 5349227543279349760
PARAM_VALUE 0 bp->b_sema.first_waiter->list.prev 5349227543279349760
PARAM_VALUE 0 bp->b_sema.first_waiter->list.prev->next 5349227543279349760
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0
PARAM_VALUE 0 bp->b_sema.lock.dep_map->name 0-255
PARAM_VALUE 0 bp->b_sema.lock.owner (-1)
PARAM_VALUE 0 bp->b_sema.lock.owner_cpu u32max
CAPPED_DATA 0 &bp->b_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &bp->b_sema
HALF_LOCKED2 &*bpp->b_sema
HALF_LOCKED2 &mp->m_growlock
TYPE_LOCK (struct xfs_buf)->b_sema

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

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_flags 0,16-u32max
PARAM_VALUE 0 bp->b_list.next 4096-ptr_max
PARAM_VALUE 0 bp->b_list.next->next 4096-ptr_max
PARAM_VALUE 0 bp->b_list.next->prev 4096-ptr_max
PARAM_VALUE 0 bp->b_list.prev 4096-ptr_max
PARAM_VALUE 0 bp->b_list.prev->next 4096-ptr_max
PARAM_VALUE 0 bp->b_list.prev->prev 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_pin_count.counter 0
PARAM_VALUE 0 bp->b_sema.count 0-2147483646
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 bp->b_sema.lock.dep_map->name 0-255
PARAM_VALUE 0 bp->b_sema.lock.owner (-1)
PARAM_VALUE 0 bp->b_sema.lock.owner_cpu u32max
CAPPED_DATA 0 &bp->b_list 1
NOCHECK_CALL
LOCK2 0 &bp->b_sema
TYPE_LOCK (struct xfs_buf)->b_sema

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

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_error 0
PARAM_VALUE 0 bp->b_flags 0,32-u32max
PARAM_VALUE 0 bp->b_iowait.done 0
PARAM_VALUE 0 bp->b_last_error s32min-(-1),1-s32max
PARAM_VALUE 0 bp->b_mount 4096-ptr_max
PARAM_VALUE 0 bp->b_mount->m_log 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 0 bp->b_target->bt_ioerror_rl.lock.dep_map->name 0-255
BUF_SIZE 0 bp->b_ops (-1)-0,40
CAPPED_DATA 0 bp->b_last_error 1
DATA_SOURCE 0 bp $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/xfs_buf.c xfs_buf_read_uncached() -> xfs_buf_submit()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_flags 1-270532609
PARAM_VALUE 0 bp->b_iowait.done 0
PARAM_VALUE 0 bp->b_iowait.wait.lock.magic 3735899821
PARAM_VALUE 0 bp->b_iowait.wait.lock.owner (-1)
PARAM_VALUE 0 bp->b_iowait.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 bp->b_lockref.count 1
PARAM_VALUE 0 bp->b_lru_ref.counter 1
PARAM_VALUE 0 bp->b_map_count 1
PARAM_VALUE 0 bp->b_maps 4096-ptr_max
PARAM_VALUE 0 bp->b_ops 0,725821516516683776,3621979877010128896,4181227529234714624
PARAM_VALUE 0 bp->b_pin_count.counter 0
PARAM_VALUE 0 bp->b_rhash_key (-1)
PARAM_VALUE 0 bp->b_sema.first_waiter->list.next 5349227543279349760
PARAM_VALUE 0 bp->b_sema.first_waiter->list.prev 5349227543279349760
PARAM_VALUE 0 bp->b_sema.first_waiter->list.prev->next 5349227543279349760
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0
PARAM_VALUE 0 bp->b_sema.lock.dep_map->name 0-255
PARAM_VALUE 0 bp->b_sema.lock.owner (-1)
PARAM_VALUE 0 bp->b_sema.lock.owner_cpu 4294967295
BUF_SIZE 0 bp->b_ops (-1)-0,40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
LOCK2 &*bpp->b_sema
HALF_LOCKED2 &mp->m_growlock

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

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_lockref.count 1-s32max
PARAM_VALUE 0 bp->b_ops 0,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_write 4096-ptr_max
PARAM_VALUE 0 bp->b_sema.count 0-2147483646
PARAM_VALUE 0 bp->b_sema.lock.dep_map->name 0-255
PARAM_VALUE 0 bp->b_sema.lock.owner (-1)
PARAM_VALUE 0 bp->b_sema.lock.owner_cpu u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
LOCK2 0 &bp->b_sema
TYPE_LOCK (struct xfs_buf)->b_sema

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

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_flags 0,2-u32max
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),40
CAPPED_DATA 0 bp 1
DATA_SOURCE 0 bp $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_map_count
HALF_LOCKED2 &*bpp->b_sema
HALF_LOCKED2 &bp->b_sema
HALF_LOCKED2 &dqp->q_logitem.qli_item.li_buf->b_sema
HALF_LOCKED2 &dqp->q_qlock
HALF_LOCKED2 &mp->m_growlock
HALF_LOCKED2 &qi->qi_tree_lock
HALF_LOCKED2 0 &bp->b_sema