The text d12f7c2385bf, as Debian 8 (Jessie) shipped it.
insert single pfn into user vma
vm_insert_pfn(9) on Linux now
