Searched refs:flush_tlb_kernel_page (Results 1 – 8 of 8) 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()45 flush_tlb_kernel_page(pte); in pte_alloc_one()
68 flush_tlb_kernel_page(pte); in pte_alloc_one()
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()
610 #define flush_tlb_kernel_page local_flush_tlb_kernel_page macro618 extern void flush_tlb_kernel_page(unsigned long kaddr);661 extern void flush_tlb_kernel_page(unsigned long kaddr);
169 void flush_tlb_kernel_page(unsigned long kaddr) in flush_tlb_kernel_page() function