pci_bus_max_busnr(9) on Linux

The text 88d396cc8595, as Debian 6.0 (Squeeze) shipped it.

returns maximum PCI bus number of given bus' children

pci_bus_max_busnr(9) on Linux now