The text b027023a011b, as Debian 4.0 (Etch) shipped it.
locate PCI bus from a given domain and bus number
pci_find_bus(9) on Linux now