The text 8ecf88c7300c, as Debian 8 (Jessie) shipped it.
Iterate over free (non-wired) ITLB entries
for_each_itlb_entry(9) on Linux now
