Searched refs:__local_flush_tlb_kernel_page (Results 1 – 1 of 1) sorted by relevance
479 static inline void __local_flush_tlb_kernel_page(unsigned long kaddr) in __local_flush_tlb_kernel_page() function504 __local_flush_tlb_kernel_page(kaddr); in local_flush_tlb_kernel_page()522 __local_flush_tlb_kernel_page(kaddr); in __flush_tlb_kernel_page()
