virtio_mmio_write_device_config_2
virtio_mmio_write_device_config_2,
void virtio_mmio_write_device_config_2(struct virtio_softc *, int, uint16_t);