vfio_send_intx_eventfd  113 drivers/vfio/pci/vfio_pci_intrs.c 		vfio_send_intx_eventfd(vdev, NULL);
vfio_send_intx_eventfd  137 drivers/vfio/pci/vfio_pci_intrs.c 		vfio_send_intx_eventfd(vdev, NULL);
vfio_send_intx_eventfd  422 drivers/vfio/pci/vfio_pci_intrs.c 						  vfio_send_intx_eventfd, NULL,
vfio_send_intx_eventfd  485 drivers/vfio/pci/vfio_pci_intrs.c 		vfio_send_intx_eventfd(vdev, NULL);
vfio_send_intx_eventfd  489 drivers/vfio/pci/vfio_pci_intrs.c 			vfio_send_intx_eventfd(vdev, NULL);