Searched refs:local_flush_tlb_kernel_page (Results 1 – 5 of 5) sorted by relevance
67 local_flush_tlb_kernel_page(vaddr)76 local_flush_tlb_kernel_page(vaddr)
488 static inline void local_flush_tlb_kernel_page(unsigned long kaddr) in local_flush_tlb_kernel_page() function604 #define flush_tlb_kernel_page local_flush_tlb_kernel_page644 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()
1696 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()
Completed in 12 milliseconds