pci_bus_add_devices(9) on Linux

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

start driver for PCI devices

pci_bus_add_devices(9) on Linux now