Searched refs:local_flush_tlb_kernel_page (Results 1 – 5 of 5) sorted by relevance
495 static inline void local_flush_tlb_kernel_page(unsigned long kaddr) in local_flush_tlb_kernel_page() function611 #define flush_tlb_kernel_page local_flush_tlb_kernel_page651 static inline void local_flush_tlb_kernel_page(unsigned long kaddr) { } in local_flush_tlb_kernel_page() function
29 local_flush_tlb_kernel_page(va); in set_top_pte()
24 local_flush_tlb_kernel_page(vaddr); in set_fixmap_pte()
1621 local_flush_tlb_kernel_page(va); in early_fixmap_shutdown()
52 local_flush_tlb_kernel_page(ta->ta_start); in ipi_flush_tlb_kernel_page()