The text ae00316353b1, as Debian 6.0 (Squeeze) shipped it.
look up PFN at a user virtual address
follow_pfn(9) on Linux now
