The text 9b3fb830df64, as Debian 7 (Wheezy) shipped it.
locate PCI device for a given PCI slot
pci_get_slot(9) on Linux now
