Searched refs:__local_flush_tlb_kernel_page (Results 1 – 1 of 1) sorted by relevance
478 static inline void __local_flush_tlb_kernel_page(unsigned long kaddr) in __local_flush_tlb_kernel_page() function503 __local_flush_tlb_kernel_page(kaddr); in local_flush_tlb_kernel_page()521 __local_flush_tlb_kernel_page(kaddr); in __flush_tlb_kernel_page()