diff options
Diffstat (limited to 'arch/x86/mm/pgtable_32.c')
-rw-r--r-- | arch/x86/mm/pgtable_32.c | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/arch/x86/mm/pgtable_32.c b/arch/x86/mm/pgtable_32.c index b46893e45d02..b9e3dac32391 100644 --- a/arch/x86/mm/pgtable_32.c +++ b/arch/x86/mm/pgtable_32.c | |||
@@ -173,13 +173,6 @@ void reserve_top_address(unsigned long reserve) | |||
173 | __VMALLOC_RESERVE += reserve; | 173 | __VMALLOC_RESERVE += reserve; |
174 | } | 174 | } |
175 | 175 | ||
176 | void __pte_free_tlb(struct mmu_gather *tlb, struct page *pte) | ||
177 | { | ||
178 | pgtable_page_dtor(pte); | ||
179 | paravirt_release_pt(page_to_pfn(pte)); | ||
180 | tlb_remove_page(tlb, pte); | ||
181 | } | ||
182 | |||
183 | #ifdef CONFIG_X86_PAE | 176 | #ifdef CONFIG_X86_PAE |
184 | 177 | ||
185 | void __pmd_free_tlb(struct mmu_gather *tlb, pmd_t *pmd) | 178 | void __pmd_free_tlb(struct mmu_gather *tlb, pmd_t *pmd) |