Searched refs:flush_tlb_kernel_page (Results 1 – 4 of 4) sorted by relevance
36 static inline void flush_tlb_kernel_page(unsigned long address) in flush_tlb_kernel_page() function
261 flush_tlb_kernel_page(address); in do_page_fault()
209 void flush_tlb_kernel_page(unsigned long kaddr) in flush_tlb_kernel_page() function
85 flush_tlb_kernel_page(page); in mmu_page_ctor()