virtio_pci_config_intr
r = virtio_pci_msix_establish(sc, vpa, 0, NULL, virtio_pci_config_intr, vsc);
int virtio_pci_config_intr(void *);