Symbol: vfio_irq_ctx_free
drivers/vfio/pci/vfio_pci_intrs.c
317
vfio_irq_ctx_free(vdev, ctx, 0);
drivers/vfio/pci/vfio_pci_intrs.c
365
vfio_irq_ctx_free(vdev, ctx, 0);
drivers/vfio/pci/vfio_pci_intrs.c
467
vfio_irq_ctx_free(vdev, ctx, vector);
drivers/vfio/pci/vfio_pci_intrs.c
530
vfio_irq_ctx_free(vdev, ctx, vector);