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,
vtmmio_write_config_4(sc, VIRTIO_MMIO_GUEST_FEATURES_SEL, 0);
vtmmio_write_config_4(sc, VIRTIO_MMIO_GUEST_FEATURES,
vtmmio_write_config_4(sc, VIRTIO_MMIO_GUEST_PAGE_SIZE, PAGE_SIZE);
vtmmio_write_config_4(sc, VIRTIO_MMIO_GUEST_PAGE_SIZE, PAGE_SIZE);
vtmmio_write_config_4(sc, VIRTIO_MMIO_QUEUE_NOTIFY, queue);
vtmmio_write_config_4(sc, VIRTIO_MMIO_STATUS, status);
vtmmio_write_config_4(sc, off, *(uint32_t *)s);
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_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_INTERRUPT_ACK, status);