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