Searched refs:flush_tlb_kernel_page (Results 1 – 9 of 9) sorted by relevance
10 static inline void flush_tlb_kernel_page(void *addr) in flush_tlb_kernel_page() function223 static inline void flush_tlb_kernel_page (unsigned long addr) in flush_tlb_kernel_page() function271 static inline void flush_tlb_kernel_page(unsigned long addr) in flush_tlb_kernel_page() function
17 flush_tlb_kernel_page(pte); in pte_alloc_one_kernel()40 flush_tlb_kernel_page(pte); in pte_alloc_one()
64 flush_tlb_kernel_page(pte); in pte_alloc_one()
50 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
60 flush_tlb_kernel_page(ptablep); in kernel_page_table()100 flush_tlb_kernel_page(last_pgtable); in kernel_ptr_table()
81 flush_tlb_kernel_page(page); in get_pointer_table()
95 void flush_tlb_kernel_page(unsigned long kaddr) in flush_tlb_kernel_page() function
497 #define flush_tlb_kernel_page local_flush_tlb_kernel_page macro504 extern void flush_tlb_kernel_page(unsigned long kaddr);