The text a3dd3063debf, as Debian 7 (Wheezy) shipped it.
Flushes TLB slot slot.
__flush_tlb_slot(9) on Linux now
