vfio_pci_irq_set
vfio_pci_irq_set(device, index, 0, 0, NULL);
vfio_pci_irq_set(device, index, vector, count, device->msi_eventfds + vector);