pci_bios_get_irq_routing
nroutes = pci_bios_get_irq_routing(routes, n, &nneeded);
nroutes = pci_bios_get_irq_routing(routes, n, NULL);
static int pci_bios_get_irq_routing(pci_irq_route_t *, int, int *);