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() function219 static inline void flush_tlb_kernel_page (unsigned long addr) in flush_tlb_kernel_page() function267 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
604 #define flush_tlb_kernel_page local_flush_tlb_kernel_page macro612 extern void flush_tlb_kernel_page(unsigned long kaddr);656 extern void flush_tlb_kernel_page(unsigned long kaddr);
209 void flush_tlb_kernel_page(unsigned long kaddr) in flush_tlb_kernel_page() function
261 flush_tlb_kernel_page(address); in do_page_fault()
85 flush_tlb_kernel_page(page); in mmu_page_ctor()