vfio_pci_set_irqs_ioctl  378 drivers/vfio/pci/vfio_pci.c 	vfio_pci_set_irqs_ioctl(vdev, VFIO_IRQ_SET_DATA_NONE |
vfio_pci_set_irqs_ioctl  930 drivers/vfio/pci/vfio_pci.c 		ret = vfio_pci_set_irqs_ioctl(vdev, hdr.flags, hdr.index,
vfio_pci_set_irqs_ioctl  136 drivers/vfio/pci/vfio_pci_private.h extern int vfio_pci_set_irqs_ioctl(struct vfio_pci_device *vdev,