The text f426fee26ea4, as Debian 7 (Wheezy) shipped it.
map a PCI resource into user memory space
pci_mmap_resource(9) on Linux now