Symbol: vfio_send_intx_eventfd
drivers/vfio/pci/vfio_pci_intrs.c
213
vfio_send_intx_eventfd(vdev, ctx);
drivers/vfio/pci/vfio_pci_intrs.c
245
vfio_send_intx_eventfd(vdev, ctx);
drivers/vfio/pci/vfio_pci_intrs.c
605
vfio_send_intx_eventfd, ctx,
drivers/vfio/pci/vfio_pci_intrs.c
672
vfio_send_intx_eventfd(vdev, vfio_irq_ctx_get(vdev, 0));
drivers/vfio/pci/vfio_pci_intrs.c
676
vfio_send_intx_eventfd(vdev, vfio_irq_ctx_get(vdev, 0));