Searched refs:__flush_tlb_kernel_pgtable (Results 1 – 2 of 2) sorted by relevance
247 static inline void __flush_tlb_kernel_pgtable(unsigned long kaddr) in __flush_tlb_kernel_pgtable() function
1014 __flush_tlb_kernel_pgtable(addr); in pmd_free_pte_page()1042 __flush_tlb_kernel_pgtable(addr); in pud_free_pmd_page()
