Symbol: vtpci_read_config_4
sys/dev/virtual/virtio/pci/virtio_pci.c
421
host_features = vtpci_read_config_4(sc, VIRTIO_PCI_HOST_FEATURES);
sys/dev/virtual/virtio/pci/virtio_pci.c
940
*(uint32_t *)d = vtpci_read_config_4(sc, off);