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);
*result = vtmmio_read_config_4(sc, VIRTIO_MMIO_VENDOR_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);
gen = vtmmio_read_config_4(sc, VIRTIO_MMIO_CONFIG_GENERATION);
return (vtmmio_read_config_4(sc, VIRTIO_MMIO_STATUS));
le32toh(vtmmio_read_config_4(sc, off));
*(uint32_t *)d = vtmmio_read_config_4(sc, off);
val0 = le32toh(vtmmio_read_config_4(sc, off));
val1 = le32toh(vtmmio_read_config_4(sc, off + 4));
size = vtmmio_read_config_4(sc, VIRTIO_MMIO_QUEUE_NUM_MAX);
vtmmio_read_config_4(sc, VIRTIO_MMIO_QUEUE_READY);
status = vtmmio_read_config_4(sc, VIRTIO_MMIO_INTERRUPT_STATUS);