Searched refs:flush_core_tlb (Results 1 – 2 of 2) sorted by relevance
87 flush_core_tlb(void) in flush_core_tlb() function
609 flush_core_tlb(); in cpu_idle()