virtio_mmio_write_device_config_8
virtio_mmio_write_device_config_8,
void virtio_mmio_write_device_config_8(struct virtio_softc *, int, uint64_t);