Searched refs:local_flush_tlb_kernel_page (Results 1 – 6 of 6) sorted by relevance
103 static inline void local_flush_tlb_kernel_page(unsigned long kaddr) in local_flush_tlb_kernel_page() function175 #define flush_tlb_kernel_page local_flush_tlb_kernel_page
30 local_flush_tlb_kernel_page(va); in set_top_pte()
24 local_flush_tlb_kernel_page(vaddr); in set_fixmap_pte()
1617 local_flush_tlb_kernel_page(va); in early_fixmap_shutdown()
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
52 local_flush_tlb_kernel_page(ta->ta_start); in ipi_flush_tlb_kernel_page()
