pci_get_domain_bus_and_slot(9) on Linux

The text 5eee05dfa8d1, as Debian 7 (Wheezy) shipped it.

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