virtio_mmio_reg_read
return virtio_mmio_reg_read(sc, VIRTIO_MMIO_QUEUE_NUM_MAX);
virtio_mmio_reg_read(sc, VIRTIO_MMIO_QUEUE_NUM_MAX));
virtio_mmio_reg_read(sc, VIRTIO_MMIO_QUEUE_NUM_MAX));
return virtio_mmio_reg_read(sc, VIRTIO_MMIO_STATUS);
old = virtio_mmio_reg_read(sc, VIRTIO_MMIO_STATUS);
sc->sc_mmio_vers = virtio_mmio_reg_read(sc, VIRTIO_MMIO_VERSION);
id = virtio_mmio_reg_read(sc, VIRTIO_MMIO_DEVICE_ID);
device_features = virtio_mmio_reg_read(sc, VIRTIO_MMIO_DEVICE_FEATURES);
virtio_mmio_reg_read(sc, VIRTIO_MMIO_DEVICE_FEATURES) << 32;
isr = virtio_mmio_reg_read(sc, VIRTIO_MMIO_INTERRUPT_STATUS);