Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/scsi.c vhost_scsi_ctl_handle_vq() -> vhost_scsi_get_req()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->dev->read_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vq->dev->read_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vq->mutex.dep_map->name 0-255
PARAM_VALUE 0 vq->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 vq->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vq->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 vq->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 vq->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 vq->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 vq->private_data 1-u64max
PARAM_VALUE 1 vc 5828244295369908224
PARAM_VALUE 1 vc->head 0-s32max
PARAM_VALUE 1 vc->lunp 4096-ptr_max
PARAM_VALUE 1 vc->out_iter.__iov 4096-u64max
PARAM_VALUE 1 vc->out_iter.bvec 4096-u64max
PARAM_VALUE 1 vc->out_iter.folioq 1-u64max
PARAM_VALUE 1 vc->out_iter.kvec 4096-u64max
PARAM_VALUE 1 vc->req 4096-u64max
PARAM_VALUE 1 vc->rsp_size 1,5
PARAM_VALUE 1 vc->target 0,4096-ptr_max
PARAM_VALUE 2 tpgp 7302046816480948224
CAPPED_DATA 0 &vq->mutex 1
DATA_SOURCE 0 vq $1
MEM_ZERO 1 vc
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vq->avail_idx 0-u16max
HOST_DATA 0 vq->last_used_idx 0-u16max
HOST_DATA 1 vc->head 1-u16max[c]
LOCK2 0 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/scsi.c vhost_scsi_handle_vq() -> vhost_scsi_get_req()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->dev->read_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vq->dev->read_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vq->mutex.dep_map->name 0-255
PARAM_VALUE 0 vq->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 vq->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vq->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 vq->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 vq->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 vq->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 vc 559487409486639104
PARAM_VALUE 1 vc->head 0-s32max
PARAM_VALUE 1 vc->lunp 4096-ptr_max
PARAM_VALUE 1 vc->req 1514230772838383616,6811688015637671936
PARAM_VALUE 1 vc->req_size 51,59
PARAM_VALUE 1 vc->rsp_size 108
PARAM_VALUE 1 vc->target 4096-ptr_max
PARAM_VALUE 2 tpgp 637002466039816192
CAPPED_DATA 0 &vq->mutex 1
DATA_SOURCE 0 vq $1
MEM_ZERO 1 vc
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vq->avail_idx 0-u16max
HOST_DATA 0 vq->last_used_idx 0-u16max
HOST_DATA 1 vc->head 1-u16max[c]
NO_OVERFLOW_SIMPLE 0 vq->dev->iov_limit
LOCK2 0 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex