Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

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

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

drivers/scsi/virtio_scsi.c virtio_scsi_init_hdr_pi() -> cpu_to_virtio32()

Type Parameter Key Value
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/virtio_scsi.c virtio_scsi_init_hdr_pi() -> cpu_to_virtio32()

Type Parameter Key Value
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sdev->state_mutex

drivers/scsi/virtio_scsi.c virtscsi_device_reset() -> cpu_to_virtio32()

Type Parameter Key Value
PARAM_VALUE 1 val 5

drivers/scsi/virtio_scsi.c virtscsi_handle_event() -> cpu_to_virtio32()

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

drivers/scsi/virtio_scsi.c virtscsi_handle_event() -> cpu_to_virtio32()

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

drivers/scsi/virtio_scsi.c virtscsi_init() -> cpu_to_virtio32()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 1 val 32
BUF_SIZE 0 vdev->priv (-1),4600-s32max
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING

drivers/scsi/virtio_scsi.c virtscsi_init() -> cpu_to_virtio32()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 1 val 96
BUF_SIZE 0 vdev->priv (-1),4600-s32max
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_balloon.c send_cmd_id_start() -> cpu_to_virtio32()

Type Parameter Key Value
HOST_DATA 1 val 0-u32max
HALF_LOCKED2 &pool->lock

drivers/virtio/virtio_balloon.c set_page_pfns() -> cpu_to_virtio32()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &vb->balloon_lock
TYPE_LOCK (struct virtio_balloon)->balloon_lock

drivers/virtio/virtio_balloon.c virtballoon_probe() -> cpu_to_virtio32()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->find_vqs 4096-ptr_max
PARAM_VALUE 0 vdev->priv 4096-ptr_max
PARAM_VALUE 0 vdev->vqs.prev->next 4096-ptr_max
PARAM_VALUE 0 vdev->vqs.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vdev->vqs_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 val 0
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_balloon.c virtballoon_probe() -> cpu_to_virtio32()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->find_vqs 4096-ptr_max
PARAM_VALUE 0 vdev->priv 4096-ptr_max
PARAM_VALUE 0 vdev->vqs.prev->next 4096-ptr_max
PARAM_VALUE 0 vdev->vqs.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vdev->vqs_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 val 0
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING

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

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
DATA_SOURCE 1 val $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 val 0-4294967294
LOCK2 &portdev->c_ovq_lock
TYPE_LOCK (struct ports_device)->c_ovq_lock

drivers/block/virtio_blk.c virtblk_add_req() -> cpu_to_virtio32()

Type Parameter Key Value
PARAM_VALUE 1 val 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
HALF_LOCKED2 &vq->lock
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read

drivers/block/virtio_blk.c virtblk_get_id() -> cpu_to_virtio32()

Type Parameter Key Value
PARAM_VALUE 1 val 8
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

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

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

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

Type Parameter Key Value
PARAM_VALUE 1 val 0-1,4,11,13-15,18,20,22,24,26
DATA_SOURCE 0 vdev $0
FUZZY_MAX 1 val 26
HARD_MAX 1 val 26
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 vdev 1-u64max
PARAM_VALUE 1 val 16
RX_PATH
TASK_NOT_RUNNING
LOCK2 &vblk->vdev_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct virtio_blk)->vdev_mutex

drivers/net/virtio_net.c virtnet_rx_mode_work() -> cpu_to_virtio32()

Type Parameter Key Value
RX_PATH
UNITS 1 val unit_array_size
LOCK2 &dev->addr_list_lock
LOCK2 bh
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct net_device)->addr_list_lock

drivers/net/virtio_net.c virtnet_rx_mode_work() -> cpu_to_virtio32()

Type Parameter Key Value
RX_PATH
UNITS 1 val unit_array_size
LOCK2 &dev->addr_list_lock
LOCK2 bh
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct net_device)->addr_list_lock