Name

pci_bus_max_busnr — returns maximum PCI bus number of given bus' children