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