virtio_read_device_config_4
uint32_t size_max = virtio_read_device_config_4(vsc,
uint32_t seg_max = virtio_read_device_config_4(vsc,
reg = virtio_read_device_config_4(vsc, VIRTIO_BALLOON_CONFIG_NUM_PAGES);
reg = virtio_read_device_config_4(vsc, VIRTIO_BALLOON_CONFIG_ACTUAL);
uint32_t cmd_per_lun = virtio_read_device_config_4(vsc,
uint32_t seg_max = virtio_read_device_config_4(vsc,
uint32_t max_lun = virtio_read_device_config_4(vsc,
cmd = virtio_read_device_config_4(vsc, VMMCI_CONFIG_COMMAND);