Symbol: vfio_pci_get_irq_count
drivers/vfio/pci/vfio_pci_core.c
1177
info.count = vfio_pci_get_irq_count(vdev, info.index);
drivers/vfio/pci/vfio_pci_core.c
1200
max = vfio_pci_get_irq_count(vdev, hdr.index);