The text 25780c5818c2, as Debian 8 (Jessie) shipped it.
reset a PCI device function
__pci_reset_function(9) on Linux now
