virtio_pci_read_device_config_4
virtio_pci_read_device_config_4,
uint32_t virtio_pci_read_device_config_4(struct virtio_softc *, int);