pci_get_domain_bus_and_slot(9) on Linux

The text 523d53c11a13, as Debian 9 (Stretch) shipped it. The page shows this text now.

locate PCI device for a given PCI domain (segment), bus, and slot