Searched refs:flush_tlb_kernel_page (Results 1 – 8 of 8) 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()
70 flush_tlb_kernel_page(pte); in pte_alloc_one()
62 flush_tlb_kernel_page(ptablep); in kernel_page_table()102 flush_tlb_kernel_page(last_pgtable); in kernel_ptr_table()
80 flush_tlb_kernel_page(page); in get_pointer_table()
178 #define flush_tlb_kernel_page local_flush_tlb_kernel_page macro
614 #define flush_tlb_kernel_page local_flush_tlb_kernel_page macro622 extern void flush_tlb_kernel_page(unsigned long kaddr);662 extern void flush_tlb_kernel_page(unsigned long kaddr);
212 void flush_tlb_kernel_page(unsigned long kaddr) in flush_tlb_kernel_page() function
