Symbol: vfio_irq_ctx_alloc
drivers/vfio/pci/vfio_pci_intrs.c
269
ctx = vfio_irq_ctx_alloc(vdev, 0);
drivers/vfio/pci/vfio_pci_intrs.c
480
ctx = vfio_irq_ctx_alloc(vdev, vector);