The text 5748df8b07c8, as Debian 7 (Wheezy) shipped it.
replace a pagecache page with a new one
replace_page_cache_page(9) on Linux now
