diff options
Diffstat (limited to 'arch/x86/mm/pgtable.c')
-rw-r--r-- | arch/x86/mm/pgtable.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arch/x86/mm/pgtable.c b/arch/x86/mm/pgtable.c index 1d44d6dd4c9f..5accc08683c7 100644 --- a/arch/x86/mm/pgtable.c +++ b/arch/x86/mm/pgtable.c | |||
@@ -38,6 +38,7 @@ void __pmd_free_tlb(struct mmu_gather *tlb, pmd_t *pmd) | |||
38 | #if PAGETABLE_LEVELS > 3 | 38 | #if PAGETABLE_LEVELS > 3 |
39 | void __pud_free_tlb(struct mmu_gather *tlb, pud_t *pud) | 39 | void __pud_free_tlb(struct mmu_gather *tlb, pud_t *pud) |
40 | { | 40 | { |
41 | paravirt_release_pud(__pa(pud) >> PAGE_SHIFT); | ||
41 | tlb_remove_page(tlb, virt_to_page(pud)); | 42 | tlb_remove_page(tlb, virt_to_page(pud)); |
42 | } | 43 | } |
43 | #endif /* PAGETABLE_LEVELS > 3 */ | 44 | #endif /* PAGETABLE_LEVELS > 3 */ |