vtmmio_read_config_4
magic = vtmmio_read_config_4(sc, VIRTIO_MMIO_MAGIC_VALUE);
version = vtmmio_read_config_4(sc, VIRTIO_MMIO_VERSION);
if (vtmmio_read_config_4(sc, VIRTIO_MMIO_DEVICE_ID) == 0) {
sc->vtmmio_version = vtmmio_read_config_4(sc, VIRTIO_MMIO_VERSION);
*result = vtmmio_read_config_4(sc, VIRTIO_MMIO_DEVICE_ID);
host_features = vtmmio_read_config_4(sc, VIRTIO_MMIO_HOST_FEATURES);
host_features |= vtmmio_read_config_4(sc, VIRTIO_MMIO_HOST_FEATURES);
size = vtmmio_read_config_4(sc, VIRTIO_MMIO_QUEUE_NUM_MAX);
return (vtmmio_read_config_4(sc, VIRTIO_MMIO_STATUS));
*(uint32_t *)d = vtmmio_read_config_4(sc, off);
size = vtmmio_read_config_4(sc, VIRTIO_MMIO_QUEUE_NUM_MAX);
status = vtmmio_read_config_4(sc, VIRTIO_MMIO_INTERRUPT_STATUS);