virtio_mmio_read_device_config_4
virtio_mmio_read_device_config_4,
uint32_t virtio_mmio_read_device_config_4(struct virtio_softc *, int);