vfio_pci_get_irq_count  892 drivers/vfio/pci/vfio_pci.c 		info.count = vfio_pci_get_irq_count(vdev, info.index);
vfio_pci_get_irq_count  914 drivers/vfio/pci/vfio_pci.c 		max = vfio_pci_get_irq_count(vdev, hdr.index);