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