The text cf8635d0068a, as Debian 7 (Wheezy) shipped it.
add a locked page to the pagecache
add_to_page_cache_locked(9) on Linux now
