Searched refs:flush_tlb_kernel_page (Results 1 – 6 of 6) 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
36 static inline void flush_tlb_kernel_page(unsigned long address) in flush_tlb_kernel_page() function
611 #define flush_tlb_kernel_page local_flush_tlb_kernel_page macro619 extern void flush_tlb_kernel_page(unsigned long kaddr);659 extern void flush_tlb_kernel_page(unsigned long kaddr);
209 void flush_tlb_kernel_page(unsigned long kaddr) in flush_tlb_kernel_page() function
269 flush_tlb_kernel_page(address); in do_page_fault()
86 flush_tlb_kernel_page(page); in mmu_page_ctor()