The text 0a9626f19d86, as Debian 7 (Wheezy) shipped it.
reset a PCI device function
__pci_reset_function(9) on Linux now
