Symbol: virtio_pci_write_device_config_4
sys/dev/pci/virtio_pci.c
174
virtio_pci_write_device_config_4,
sys/dev/pci/virtio_pci.c
72
void virtio_pci_write_device_config_4(struct virtio_softc *, int, uint32_t);