Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 vs 4096-ptr_max
PARAM_VALUE 1 cmd 4096-ptr_max
PARAM_VALUE 1 cmd->inflight 4096-ptr_max
PARAM_VALUE 1 cmd->tvc_se_cmd.map_tag 0-s32max
PARAM_VALUE 1 cmd->tvc_se_cmd.se_dev->caw_sem.first_waiter->up 0-1
PARAM_VALUE 1 cmd->tvc_vq 4096-ptr_max
PARAM_VALUE 1 cmd->tvc_vq->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 cmd->tvc_vq->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 cmd->tvc_vq->mutex.wait_lock.owner (-1)
PARAM_VALUE 1 cmd->tvc_vq->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 2 prot_bytes 0-s32max,18446744071562067968-18446744073709551614
PARAM_VALUE 3 prot_iter 4275195661457571840
PARAM_VALUE 5 data_iter 6099215618416902144
PARAM_VALUE 6 data_dir 1-2
CAPPED_DATA 1 cmd->tvc_se_cmd.map_tag 1
CAPPED_DATA 2 prot_bytes 1
DATA_SOURCE 0 vs $0
DATA_SOURCE 1 cmd r vhost_scsi_get_cmd
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 cmd->tvc_vq->avail_idx 0-u16max
HOST_DATA 1 cmd->tvc_vq->last_used_idx 0-u16max
HOST_DATA 2 prot_bytes 2-s32max[c]
HOST_DATA 3 prot_iter->count 0-18446744073709551614[c]
HOST_DATA 3 prot_iter->iov_offset 1-9223372036854775806[c]
HOST_DATA 4 data_bytes 1-2147483645[c]
HOST_DATA 5 data_iter->count 0-u64max[c]
HOST_DATA 5 data_iter->iov_offset 1-9223372036854775806[c]
UNITS 2 prot_bytes unit_byte
UNITS 4 data_bytes unit_byte
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex