Searched refs:virtio_pci_write_device_config_4 (Results 1 – 1 of 1) sorted by relevance
72 void virtio_pci_write_device_config_4(struct virtio_softc *, int, uint32_t);173 virtio_pci_write_device_config_4,953 virtio_pci_write_device_config_4(struct virtio_softc *vsc, in virtio_pci_write_device_config_4() function