Searched refs:local_flush_tlb_kernel_page (Results 1 – 6 of 6) sorted by relevance
106 static inline void local_flush_tlb_kernel_page(unsigned long kaddr) in local_flush_tlb_kernel_page() function178 #define flush_tlb_kernel_page local_flush_tlb_kernel_page
28 local_flush_tlb_kernel_page(va); in set_top_pte()
27 local_flush_tlb_kernel_page(vaddr); in set_fixmap_pte()
1596 local_flush_tlb_kernel_page(va); in early_fixmap_shutdown()
498 static inline void local_flush_tlb_kernel_page(unsigned long kaddr) in local_flush_tlb_kernel_page() function614 #define flush_tlb_kernel_page local_flush_tlb_kernel_page654 static inline void local_flush_tlb_kernel_page(unsigned long kaddr) { } in local_flush_tlb_kernel_page() function
55 local_flush_tlb_kernel_page(ta->ta_start); in ipi_flush_tlb_kernel_page()
