The text 72dc0840fc2c, as Debian 5.0 (Lenny) shipped it.
stop a PCI device and any children
pci_stop_bus_device(9) on Linux now
