void local_flush_tlb_all(void) { __flush_itlb_all(); __flush_dtlb_all(); }
void flush_tlb_all (void) { __flush_itlb_all(); __flush_dtlb_all(); }