|
@@ -56,7 +56,7 @@ void ___pte_free_tlb(struct mmu_gather *tlb, struct page *pte)
|
|
|
{
|
|
|
pgtable_page_dtor(pte);
|
|
|
paravirt_release_pte(page_to_pfn(pte));
|
|
|
- tlb_remove_page(tlb, pte);
|
|
|
+ tlb_remove_table(tlb, pte);
|
|
|
}
|
|
|
|
|
|
#if CONFIG_PGTABLE_LEVELS > 2
|
|
@@ -72,21 +72,21 @@ void ___pmd_free_tlb(struct mmu_gather *tlb, pmd_t *pmd)
|
|
|
tlb->need_flush_all = 1;
|
|
|
#endif
|
|
|
pgtable_pmd_page_dtor(page);
|
|
|
- tlb_remove_page(tlb, page);
|
|
|
+ tlb_remove_table(tlb, page);
|
|
|
}
|
|
|
|
|
|
#if CONFIG_PGTABLE_LEVELS > 3
|
|
|
void ___pud_free_tlb(struct mmu_gather *tlb, pud_t *pud)
|
|
|
{
|
|
|
paravirt_release_pud(__pa(pud) >> PAGE_SHIFT);
|
|
|
- tlb_remove_page(tlb, virt_to_page(pud));
|
|
|
+ tlb_remove_table(tlb, virt_to_page(pud));
|
|
|
}
|
|
|
|
|
|
#if CONFIG_PGTABLE_LEVELS > 4
|
|
|
void ___p4d_free_tlb(struct mmu_gather *tlb, p4d_t *p4d)
|
|
|
{
|
|
|
paravirt_release_p4d(__pa(p4d) >> PAGE_SHIFT);
|
|
|
- tlb_remove_page(tlb, virt_to_page(p4d));
|
|
|
+ tlb_remove_table(tlb, virt_to_page(p4d));
|
|
|
}
|
|
|
#endif /* CONFIG_PGTABLE_LEVELS > 4 */
|
|
|
#endif /* CONFIG_PGTABLE_LEVELS > 3 */
|