pci_save_state(9) on Linux

The text 9f40b90f5160, as Debian 7 (Wheezy) shipped it.

save the PCI configuration space of a device before suspending

pci_save_state(9) on Linux now