vfio_virqfd_enable  420 drivers/vfio/pci/vfio_pci_intrs.c 			return vfio_virqfd_enable((void *) vdev,
vfio_virqfd_enable  371 drivers/vfio/pci/vfio_pci_rdwr.c 	ret = vfio_virqfd_enable(ioeventfd, vfio_pci_ioeventfd_handler,
vfio_virqfd_enable   56 drivers/vfio/platform/vfio_platform_irq.c 			return vfio_virqfd_enable((void *) &vdev->irqs[index],
vfio_virqfd_enable  116 drivers/vfio/platform/vfio_platform_irq.c 			return vfio_virqfd_enable((void *) &vdev->irqs[index],
vfio_virqfd_enable  193 drivers/vfio/virqfd.c EXPORT_SYMBOL_GPL(vfio_virqfd_enable);
vfio_virqfd_enable  192 include/linux/vfio.h extern int vfio_virqfd_enable(void *opaque,