Searched refs:__flush_tlb_kernel_pgtable (Results 1 – 2 of 2) sorted by relevance
1612 __flush_tlb_kernel_pgtable(start); in free_empty_pte_table()1652 __flush_tlb_kernel_pgtable(start); in free_empty_pmd_table()1692 __flush_tlb_kernel_pgtable(start); in free_empty_pud_table()1732 __flush_tlb_kernel_pgtable(start); in free_empty_p4d_table()1860 __flush_tlb_kernel_pgtable(addr); in __pmd_free_pte_page()1903 __flush_tlb_kernel_pgtable(addr); in pud_free_pmd_page()
579 static inline void __flush_tlb_kernel_pgtable(unsigned long kaddr) in __flush_tlb_kernel_pgtable() function