The text 621ae8f996cb, as Debian 4.0 (Etch) shipped it.
locate PCI device for a given PCI slot
pci_get_slot(9) on Linux now
