virtio_mmio_write_device_config_1
virtio_mmio_write_device_config_1,
void virtio_mmio_write_device_config_1(struct virtio_softc *, int, uint8_t);