virtio_pci_shared_queue_intr
virtio_pci_shared_queue_intr, vsc);
int virtio_pci_shared_queue_intr(void *);