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);