Searched refs:__tlb_flush_kernel (Results 1 – 1 of 1) sorted by relevance
79 static inline void __tlb_flush_kernel(void) in __tlb_flush_kernel() function97 static inline void __tlb_flush_kernel(void) in __tlb_flush_kernel() function149 __tlb_flush_kernel(); in flush_tlb_kernel_range()
