vtmmio_write_config_4
vtmmio_write_config_4(sc, VIRTIO_MMIO_HOST_FEATURES_SEL, 1);
vtmmio_write_config_4(sc, VIRTIO_MMIO_HOST_FEATURES_SEL, 0);
vtmmio_write_config_4(sc, VIRTIO_MMIO_GUEST_FEATURES_SEL, 1);
vtmmio_write_config_4(sc, VIRTIO_MMIO_GUEST_FEATURES, features >> 32);
vtmmio_write_config_4(sc, VIRTIO_MMIO_GUEST_FEATURES_SEL, 0);
vtmmio_write_config_4(sc, VIRTIO_MMIO_GUEST_FEATURES, features);
vtmmio_write_config_4(sc, VIRTIO_MMIO_QUEUE_NUM, size);
vtmmio_write_config_4(sc, VIRTIO_MMIO_QUEUE_ALIGN,
vtmmio_write_config_4(sc, VIRTIO_MMIO_QUEUE_PFN,
vtmmio_write_config_4(sc, VIRTIO_MMIO_QUEUE_DESC_LOW,
vtmmio_write_config_4(sc, VIRTIO_MMIO_QUEUE_DESC_HIGH,
vtmmio_write_config_4(sc, VIRTIO_MMIO_QUEUE_AVAIL_LOW,
vtmmio_write_config_4(sc, VIRTIO_MMIO_QUEUE_AVAIL_HIGH,
vtmmio_write_config_4(sc, VIRTIO_MMIO_QUEUE_USED_LOW,
vtmmio_write_config_4(sc, VIRTIO_MMIO_QUEUE_USED_HIGH,
vtmmio_write_config_4(sc, VIRTIO_MMIO_QUEUE_READY, 1);
vtmmio_write_config_4(sc, VIRTIO_MMIO_GUEST_PAGE_SIZE,
vtmmio_write_config_4(sc, VIRTIO_MMIO_GUEST_PAGE_SIZE,
vtmmio_write_config_4(sc, offset, queue);
vtmmio_write_config_4(sc, VIRTIO_MMIO_STATUS, status);
vtmmio_write_config_4(sc, off,
vtmmio_write_config_4(sc, off,
vtmmio_write_config_4(sc, off + 4,
vtmmio_write_config_4(sc, off, *(uint32_t *)s);
vtmmio_write_config_4(sc, VIRTIO_MMIO_QUEUE_READY, 0);
vtmmio_write_config_4(sc, VIRTIO_MMIO_QUEUE_PFN, 0);
vtmmio_write_config_4(sc, VIRTIO_MMIO_QUEUE_SEL, idx);
vtmmio_write_config_4(sc, VIRTIO_MMIO_INTERRUPT_ACK, status);