|
@@ -44,6 +44,7 @@ extern inline pmd_t *pmd_alloc_kernel(pgd_t *pgd, unsigned long address)
|
|
|
static inline void __pte_free_tlb(struct mmu_gather *tlb, pgtable_t page,
|
|
static inline void __pte_free_tlb(struct mmu_gather *tlb, pgtable_t page,
|
|
|
unsigned long address)
|
|
unsigned long address)
|
|
|
{
|
|
{
|
|
|
|
|
+ pgtable_page_dtor(page);
|
|
|
__free_page(page);
|
|
__free_page(page);
|
|
|
}
|
|
}
|
|
|
|
|
|
|
@@ -74,8 +75,9 @@ static inline struct page *pte_alloc_one(struct mm_struct *mm,
|
|
|
return page;
|
|
return page;
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
-extern inline void pte_free(struct mm_struct *mm, struct page *page)
|
|
|
|
|
|
|
+static inline void pte_free(struct mm_struct *mm, struct page *page)
|
|
|
{
|
|
{
|
|
|
|
|
+ pgtable_page_dtor(page);
|
|
|
__free_page(page);
|
|
__free_page(page);
|
|
|
}
|
|
}
|
|
|
|
|
|