VIRTIO_MMIO_DEVICE_ID
val = bus_space_read_4(ma->ma_st, bsh, VIRTIO_MMIO_DEVICE_ID);
id = virtio_mmio_reg_read(sc, VIRTIO_MMIO_DEVICE_ID);