The text a788df35a76e, as Debian 7 (Wheezy) shipped it.
quiesce and reset a PCI device function
pci_reset_function(9) on Linux now
