Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/virtio/virtio_ring.c detach_buf_split_in_order() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 1 val 1
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_ring.c virtqueue_add_desc_split() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 1 val 0-4
DATA_SOURCE 1 val $6
FUZZY_MAX 1 val 2

drivers/virtio/virtio_ring.c virtqueue_add_desc_split() -> cpu_to_virtio16()

Type Parameter Key Value
UNITS 1 val unit_array_size

drivers/virtio/virtio_ring.c virtqueue_add_split() -> cpu_to_virtio16()

Type Parameter Key Value
UNITS 1 val unit_array_size

drivers/virtio/virtio_ring.c virtqueue_add_split() -> cpu_to_virtio16()

Type Parameter Key Value
UNITS 1 val unit_array_size

drivers/virtio/virtio_ring.c virtqueue_detach_unused_buf_split() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 0 vdev->map 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 1 val unit_array_size
HALF_LOCKED2 &vsock->rx_lock
HALF_LOCKED2 &vsock->tx_lock
HALF_LOCKED2 global &the_virtio_vsock_mutex

drivers/virtio/virtio_ring.c virtqueue_disable_cb_split() -> cpu_to_virtio16()

Type Parameter Key Value
BIT_INFO 1 val 0x1,0xffff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &admin_vq->lock
HALF_LOCKED2 &data_vq->lock
HALF_LOCKED2 &fsvq->lock
HALF_LOCKED2 &queue->lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 &vcrypto->ctrl_lock
HALF_LOCKED2 &vgdev->ctrlq.qlock
HALF_LOCKED2 &vgdev->cursorq.qlock
HALF_LOCKED2 &vioch->lock
HALF_LOCKED2 &viortc_vq->lock
HALF_LOCKED2 &virtscsi_vq->vq_lock
HALF_LOCKED2 &vsock->event_lock
HALF_LOCKED2 &vsock->rx_lock
HALF_LOCKED2 &vsock->tx_lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/virtio/virtio_ring.c virtqueue_enable_cb_delayed_split() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 1 val 0,2-65534
BIT_INFO 1 val 0x0,0xfffe
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 rcu_read

drivers/virtio/virtio_ring.c virtqueue_enable_cb_delayed_split() -> cpu_to_virtio16()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 rcu_read

drivers/virtio/virtio_ring.c virtqueue_enable_cb_delayed_split() -> cpu_to_virtio16()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 rcu_read

drivers/virtio/virtio_ring.c virtqueue_enable_cb_prepare_split() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 1 val 0,2-65534
BIT_INFO 1 val 0x0,0xfffe
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 &vioch->lock
HALF_LOCKED2 flags

drivers/virtio/virtio_ring.c virtqueue_enable_cb_prepare_split() -> cpu_to_virtio16()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 &vioch->lock
HALF_LOCKED2 flags

drivers/virtio/virtio_ring.c virtqueue_get_buf_ctx_split() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 0 vdev->map 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 1 val unit_array_size

drivers/virtio/virtio_ring.c virtqueue_get_buf_ctx_split() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 0 vdev->map 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 1 val unit_array_size

drivers/virtio/virtio_ring.c virtqueue_get_buf_ctx_split_in_order() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 0 vdev->map 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 1 val unit_array_size

drivers/virtio/virtio_ring.c virtqueue_get_buf_ctx_split_in_order() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 0 vdev->map 0,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 1 val unit_array_size

drivers/virtio/virtio_ring.c virtqueue_kick_prepare_split() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 1 val 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &(plane->dev)->mode_config.panic_lock
HALF_LOCKED2 &alarm_viortc_vq->lock
HALF_LOCKED2 &fsvq->lock
HALF_LOCKED2 &queue->lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 &vgdev->ctrlq.qlock
HALF_LOCKED2 &vgdev->cursorq.qlock
HALF_LOCKED2 &viortc_vq->lock
HALF_LOCKED2 &vq->lock
HALF_LOCKED2 &vq->vq_lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &drm_unplug_srcu
HALF_LOCKED2 irq

drivers/virtio/virtio_ring.c virtqueue_vring_init_split() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 1 val 1
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_mem.c virtio_mem_send_plug_request() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 1 val 0
LOCK2 &pool->lock

drivers/virtio/virtio_mem.c virtio_mem_send_plug_request() -> cpu_to_virtio16()

Type Parameter Key Value
LOCK2 &pool->lock

drivers/virtio/virtio_mem.c virtio_mem_send_state_request() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 1 val 3
RX_PATH
TASK_NOT_RUNNING
LOCK2 &vm->hotplug_mutex
LOCK2 global &vmcore_cb_srcu
TYPE_LOCK (struct virtio_mem)->hotplug_mutex

drivers/virtio/virtio_mem.c virtio_mem_send_state_request() -> cpu_to_virtio16()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &vm->hotplug_mutex
LOCK2 global &vmcore_cb_srcu
TYPE_LOCK (struct virtio_mem)->hotplug_mutex

drivers/virtio/virtio_mem.c virtio_mem_send_unplug_all_request() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 1 val 2
HALF_LOCKED2 &pool->lock

drivers/virtio/virtio_mem.c virtio_mem_send_unplug_request() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 1 val 1
HALF_LOCKED2 &pool->lock

drivers/virtio/virtio_mem.c virtio_mem_send_unplug_request() -> cpu_to_virtio16()

Type Parameter Key Value
HALF_LOCKED2 &pool->lock

drivers/virtio/virtio_balloon.c update_stat() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 0 vdev->config->find_vqs 4096-ptr_max
PARAM_VALUE 1 val 0-15
DATA_SOURCE 1 val $2
HARD_MAX 1 val 15
RX_PATH
TASK_NOT_RUNNING

drivers/char/virtio_console.c __send_control_msg() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 0 vdev 1-u64max
PARAM_VALUE 0 vdev->config->get_status 4096-ptr_max
PARAM_VALUE 0 vdev->config->set_status 4096-ptr_max
PARAM_VALUE 1 val 0,3,6
DATA_SOURCE 1 val $2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &portdev->c_ovq_lock
TYPE_LOCK (struct ports_device)->c_ovq_lock

drivers/char/virtio_console.c __send_control_msg() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 0 vdev 1-u64max
PARAM_VALUE 0 vdev->config->get_status 4096-ptr_max
PARAM_VALUE 0 vdev->config->set_status 4096-ptr_max
PARAM_VALUE 1 val 0-1
DATA_SOURCE 1 val $3
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &portdev->c_ovq_lock
TYPE_LOCK (struct ports_device)->c_ovq_lock

drivers/char/virtio_console.c handle_control_message() -> cpu_to_virtio16()

Type Parameter Key Value
PARAM_VALUE 1 val 1
DATA_SOURCE 0 vdev $0
HALF_LOCKED2 &pool->lock

drivers/net/virtio_net.c virtnet_set_queues() -> cpu_to_virtio16()

Type Parameter Key Value
DATA_SOURCE 1 val $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 val 0-u16max
UNITS 1 val unit_array_size
HALF_LOCKED2 global &rtnl_mutex

drivers/net/virtio_net.c virtnet_vlan_rx_add_vid() -> cpu_to_virtio16()

Type Parameter Key Value
DATA_SOURCE 1 val $2
NOSPEC 1 val
NOSPEC 1 val
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 val 1-4094

drivers/net/virtio_net.c virtnet_vlan_rx_kill_vid() -> cpu_to_virtio16()

Type Parameter Key Value
DATA_SOURCE 1 val $2
RX_PATH
TASK_NOT_RUNNING