Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

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

Type Parameter Key Value
DATA_SOURCE 1 val $4
UNITS 1 val unit_byte

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

Type Parameter Key Value
DATA_SOURCE 1 val $1
LOCK2 &pool->lock

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

Type Parameter Key Value
CAPPED_DATA 1 val 1
CAPPED_DATA 1 val 1
DATA_SOURCE 1 val $1
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_request() -> cpu_to_virtio64()

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

drivers/scsi/virtio_scsi.c virtio_scsi_init_hdr() -> cpu_to_virtio64()

Type Parameter Key Value
PARAM_VALUE 1 val 4096-18446744073709547520
DATA_SOURCE 0 vdev $0
DATA_SOURCE 1 val $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/virtio_scsi.c virtscsi_abort() -> cpu_to_virtio64()

Type Parameter Key Value
PARAM_VALUE 1 val 4096-18446744073709547520
DATA_SOURCE 1 val $0

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

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

drivers/block/virtio_blk.c virtblk_setup_cmd() -> cpu_to_virtio64()

Type Parameter Key Value
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 val unit_byte
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read

drivers/block/virtio_blk.c virtblk_submit_zone_report() -> cpu_to_virtio64()

Type Parameter Key Value
PARAM_VALUE 0 vdev 1-u64max
PARAM_VALUE 1 val 0-18446744073709551614
CAPPED_DATA 1 val 1
CAPPED_DATA 1 val 1
DATA_SOURCE 1 val $3
NOSPEC 1 val
NOSPEC 1 val
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 val 0-s32max[c]
UNITS 1 val unit_byte
LOCK2 &vblk->vdev_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct virtio_blk)->vdev_mutex

drivers/net/virtio_net.c virtnet_set_guest_offloads() -> cpu_to_virtio64()

Type Parameter Key Value
DATA_SOURCE 1 val $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->lock