Searched defs:flush_tlb_kernel_page (Results 1 – 4 of 4) sorted by relevance
11 static inline void flush_tlb_kernel_page(void *addr) in flush_tlb_kernel_page() function224 static inline void flush_tlb_kernel_page (unsigned long addr) in flush_tlb_kernel_page() function272 static inline void flush_tlb_kernel_page(unsigned long addr) in flush_tlb_kernel_page() function
178 #define flush_tlb_kernel_page local_flush_tlb_kernel_page macro
212 void flush_tlb_kernel_page(unsigned long kaddr) in flush_tlb_kernel_page() function
614 #define flush_tlb_kernel_page local_flush_tlb_kernel_page macro
