carta

proc_flush_task(9) on Linux

The text e85f1fb1e41d, as Debian 7 (Wheezy) shipped it.

Remove dcache entries for task from the /proc dcache.

proc_flush_task(9) on Linux now