Symbol: vtpci_write_config_1
sys/dev/virtual/virtio/pci/virtio_pci.c
922
vtpci_write_config_1(sc, VIRTIO_PCI_STATUS, status);
sys/dev/virtual/virtio/pci/virtio_pci.c
972
vtpci_write_config_1(sc, off, *s);