Searched refs:__local_flush_tlb_kernel_page (Results 1 – 1 of 1) sorted by relevance
472 static inline void __local_flush_tlb_kernel_page(unsigned long kaddr) in __local_flush_tlb_kernel_page() function497 __local_flush_tlb_kernel_page(kaddr); in local_flush_tlb_kernel_page()515 __local_flush_tlb_kernel_page(kaddr); in __flush_tlb_kernel_page()
