Symbol: virtio_pci_write_device_config_8
sys/dev/pci/virtio_pci.c
175
virtio_pci_write_device_config_8,
sys/dev/pci/virtio_pci.c
73
void virtio_pci_write_device_config_8(struct virtio_softc *, int, uint64_t);