Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/vhost/vsock.c vhost_transport_do_send_pkt() -> vhost_get_vq_desc()

Type Parameter Key Value
PARAM_VALUE 0 vq 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 2 iov_size 1024
PARAM_VALUE 3 out_num 6967713752336482304
PARAM_VALUE 4 in_num 803750049658318848
PARAM_VALUE 5 log 0
PARAM_VALUE 6 log_num 0
BUF_SIZE 0 vq (-1),37968
BUF_SIZE 0 vq (-1),37968
BUF_SIZE 1 iov 16384
CAPPED_DATA 0 &vq->mutex 1
DATA_SOURCE 0 vq $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vq->avail_idx 0-u16max
HOST_DATA 0 vq->last_used_idx 0-u16max
UNITS 2 iov_size unit_array_size
LOCK2 0 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/vsock.c vhost_vsock_handle_tx_kick() -> vhost_get_vq_desc()

Type Parameter Key Value
PARAM_VALUE 0 vq 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 2 iov_size 1024
PARAM_VALUE 3 out_num 1051658621402615808
PARAM_VALUE 4 in_num 658637507195777024
PARAM_VALUE 5 log 0
PARAM_VALUE 6 log_num 0
BUF_SIZE 1 iov 16384
CAPPED_DATA 0 &vq->mutex 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vq->avail_idx 0-u16max
HOST_DATA 0 vq->last_used_idx 0-u16max
UNITS 2 iov_size unit_array_size
LOCK2 0 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/scsi.c vhost_scsi_do_evt_work() -> vhost_get_vq_desc()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->private_data 1-u64max
PARAM_VALUE 2 iov_size 1024
PARAM_VALUE 3 out_num 8082593513238351872
PARAM_VALUE 4 in_num 291681635770695680
PARAM_VALUE 6 log_num 5609498424074342400
PARAM_VALUE 6 *log_num 0
BUF_SIZE 0 vq 18984
BUF_SIZE 1 iov 16384
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vq->avail_idx 0-u16max
UNITS 2 iov_size unit_array_size
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/scsi.c vhost_scsi_get_desc() -> vhost_get_vq_desc()

Type Parameter Key Value
PARAM_VALUE 0 vq 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 2 iov_size 1024
PARAM_VALUE 3 out_num 559487409486639108,5828244295369908228
PARAM_VALUE 4 in_num 559487409486639112,5828244295369908232
PARAM_VALUE 6 log_num 2595892786274344960,2712134140745232384
PARAM_VALUE 6 *log_num 0
BUF_SIZE 1 iov 16384
DATA_SOURCE 0 vq $1
DATA_SOURCE 5 log $3
DATA_SOURCE 6 log_num $4
MEM_ZERO 3 out_num
MEM_ZERO 4 in_num
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vq->avail_idx 0-u16max
HOST_DATA 0 vq->last_used_idx 0-u16max
NO_OVERFLOW_SIMPLE 0 vq->dev->iov_limit
UNITS 2 iov_size unit_array_size
LOCK2 0 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex