Searched refs:flush_tlb_kernel_page (Results 1 – 10 of 10) 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
18 flush_tlb_kernel_page(pte); in pte_alloc_one_kernel()46 flush_tlb_kernel_page(pte); in pte_alloc_one()
66 flush_tlb_kernel_page(pte); in pte_alloc_one()
36 static inline void flush_tlb_kernel_page(unsigned long address) in flush_tlb_kernel_page() function
64 flush_tlb_kernel_page(ptablep); in kernel_page_table()108 flush_tlb_kernel_page(last_pgtable); in kernel_ptr_table()
80 flush_tlb_kernel_page(page); in get_pointer_table()
175 #define flush_tlb_kernel_page local_flush_tlb_kernel_page macro
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
273 flush_tlb_kernel_page(address); in do_page_fault()
