Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virtio/virtio_ring.c virtqueue_get_avail_addr() -> virtqueue_is_packed()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_ring.c virtqueue_get_desc_addr() -> virtqueue_is_packed()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_ring.c virtqueue_get_used_addr() -> virtqueue_is_packed()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_ring.c virtqueue_get_vring_size() -> virtqueue_is_packed()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vi->lock
HALF_LOCKED2 &vsock->rx_lock
HALF_LOCKED2 &vsock->tx_lock
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk

drivers/virtio/virtio_ring.c virtqueue_init() -> virtqueue_is_packed()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
BUF_SIZE 0 vq (-1),224
BUF_SIZE 0 vq (-1),224
BUF_SIZE 0 vq->vq.name (-1),3-4,6-16,24,32
DATA_SOURCE 0 vq $0
STR_LEN 0 vq->vq.index (-1),3,5-6,8,11,13
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vq->vq.index 0-u16max
HOST_DATA 0 vq->vq.num_free 1-u32max[c]

drivers/virtio/virtio_ring.c vring_free() -> virtqueue_is_packed()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_ring.c vring_free() -> virtqueue_is_packed()

Type Parameter Key Value
PARAM_VALUE 0 vq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_ring.c vring_notification_data() -> virtqueue_is_packed()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING