The text e72d019ec55b, as Debian 7 (Wheezy) shipped it.
Restore the saved state of a PCI device
pci_restore_state(9) on Linux now
