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
27 local_flush_tlb_kernel_page(va); in set_top_pte()
27 local_flush_tlb_kernel_page(vaddr); in set_fixmap_pte()
1547 local_flush_tlb_kernel_page(va); in early_fixmap_shutdown()
494 static inline void local_flush_tlb_kernel_page(unsigned long kaddr) in local_flush_tlb_kernel_page() function610 #define flush_tlb_kernel_page local_flush_tlb_kernel_page653 static inline void local_flush_tlb_kernel_page(unsigned long kaddr) { } in local_flush_tlb_kernel_page() function
51 local_flush_tlb_kernel_page(ta->ta_start); in ipi_flush_tlb_kernel_page()