The text 9d5f5e62a1d6, as Debian 7 (Wheezy) shipped it.
unmap and remove pagecache that has been truncated
truncate_pagecache(9) on Linux now
