Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/vhost/vhost.c vhost_add_used() -> cpu_to_vhost32()

Type Parameter Key Value
BUF_SIZE 0 vq (-1),18984,37968
BUF_SIZE 0 vq (-1),18984,37968
DATA_SOURCE 0 vq $0
DATA_SOURCE 1 val $1
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 val 1-u16max[c]
NO_OVERFLOW_SIMPLE 0 vq->dev->iov_limit
UNITS 1 val unit_array_size
HALF_LOCKED2 &svq->vq.mutex
HALF_LOCKED2 0 &vq->mutex

drivers/vhost/vhost.c vhost_add_used() -> cpu_to_vhost32()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
BUF_SIZE 0 vq (-1),18984,37968
BUF_SIZE 0 vq (-1),18984,37968
CAPPED_DATA 1 val 1
DATA_SOURCE 0 vq $0
DATA_SOURCE 1 val $2
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 1 val unit_byte
HALF_LOCKED2 &svq->vq.mutex
HALF_LOCKED2 0 &vq->mutex

drivers/vhost/net.c get_rx_bufs() -> cpu_to_vhost32()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 vq->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 vq->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 vq->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 val 0-s32max
BUF_SIZE 0 vq 18984
PARAM_COMPARE 1 val != $0->num
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vq->avail_idx 0-u16max
HOST_DATA 1 val 1-u16max[c]
UNITS 1 val unit_array_size
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/net.c get_rx_bufs() -> cpu_to_vhost32()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 vq->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 vq->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 vq->mutex.wait_lock.owner_cpu u32max
BUF_SIZE 0 vq 18984
DATA_SOURCE 1 val r iov_length
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vq->avail_idx 0-u16max
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/net.c get_rx_bufs() -> cpu_to_vhost32()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 vq->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 vq->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 vq->mutex.wait_lock.owner_cpu u32max
BUF_SIZE 0 vq 18984
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vq->avail_idx 0-u16max
UNITS 1 val unit_byte
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/net.c get_rx_bufs() -> cpu_to_vhost32()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 vq->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 vq->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 vq->mutex.wait_lock.owner_cpu u32max
BUF_SIZE 0 vq 18984
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vq->avail_idx 0-u16max
UNITS 1 val unit_byte
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/net.c get_rx_bufs() -> cpu_to_vhost32()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 vq->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 vq->mutex.wait_lock.owner (-1)
PARAM_VALUE 0 vq->mutex.wait_lock.owner_cpu u32max
BUF_SIZE 0 vq 18984
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vq->avail_idx 0-u16max
HOST_DATA 1 val 1-u16max[c]
UNITS 1 val unit_array_size
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/net.c handle_tx_copy() -> cpu_to_vhost32()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 1 val 0-s32max
BUF_SIZE 0 vq 18984
DATA_SOURCE 1 val r get_tx_bufs
PARAM_COMPARE 1 val != $0->num
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vq->avail_idx 0-u16max
HOST_DATA 1 val 1-u16max[c]
UNITS 1 val unit_array_size
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/net.c handle_tx_copy() -> cpu_to_vhost32()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 1 val 0-s32max
BUF_SIZE 0 vq 18984
DATA_SOURCE 1 val r get_tx_bufs
PARAM_COMPARE 1 val != $0->num
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vq->avail_idx 0-u16max
HOST_DATA 1 val 1-u16max[c]
UNITS 1 val unit_array_size
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/net.c handle_tx_zerocopy() -> cpu_to_vhost32()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->dev->iotlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vq->dev->read_list.prev 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 1 val 0-s32max
BUF_SIZE 0 vq 18984
DATA_SOURCE 1 val r get_tx_bufs
PARAM_COMPARE 1 val != $0->num
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 val 1-u16max[c]
UNITS 1 val unit_array_size
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/scsi.c vhost_scsi_allocate_evt() -> cpu_to_vhost32()

Type Parameter Key Value
PARAM_VALUE 1 val 0-1
BUF_SIZE 0 vq 18984
DATA_SOURCE 1 val $1
HARD_MAX 1 val 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &vq->mutex
HALF_LOCKED2 &tpg->tv_tpg_mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/scsi.c vhost_scsi_allocate_evt() -> cpu_to_vhost32()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 1 val 0-2
BUF_SIZE 0 vq 18984
DATA_SOURCE 1 val $2
FUZZY_MAX 1 val 2
HARD_MAX 1 val 2
RX_PATH
TASK_NOT_RUNNING
LOCK2 &vq->mutex
HALF_LOCKED2 &tpg->tv_tpg_mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/scsi.c vhost_scsi_complete_cmd_work() -> cpu_to_vhost32()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 1 val unit_byte
LOCK2 &svq->vq.mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

drivers/vhost/scsi.c vhost_scsi_complete_cmd_work() -> cpu_to_vhost32()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 1 val unit_byte
LOCK2 &svq->vq.mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
PARAM_VALUE 0 vq->iov 4096-ptr_max
PARAM_VALUE 0 vq->private_data 1-u64max
PARAM_VALUE 1 val 2147483648
BUF_SIZE 0 vq 18984
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vq->avail_idx 0-u16max
LOCK2 &vq->mutex
TYPE_LOCK (struct vhost_virtqueue)->mutex