The text aa86aed9621d, as Debian 7 (Wheezy) shipped it.
remap kernel memory to userspace
remap_pfn_range(9) on Linux now
