vfio_pci_get_irq_count
info.count = vfio_pci_get_irq_count(vdev, info.index);
max = vfio_pci_get_irq_count(vdev, hdr.index);