2 * Copyright (C) 2004-2006 Atmel Corporation
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License version 2 as
6 * published by the Free Software Foundation.
8 #ifndef __ASM_AVR32_PGALLOC_H
9 #define __ASM_AVR32_PGALLOC_H
12 #include <linux/sched.h>
13 #include <linux/slab.h>
15 static inline void pmd_populate_kernel(struct mm_struct *mm,
16 pmd_t *pmd, pte_t *pte)
18 set_pmd(pmd, __pmd((unsigned long)pte));
21 static inline void pmd_populate(struct mm_struct *mm, pmd_t *pmd,
24 set_pmd(pmd, __pmd((unsigned long)page_address(pte)));
26 #define pmd_pgtable(pmd) pmd_page(pmd)
29 * Allocate and free page tables
31 static inline pgd_t *pgd_alloc(struct mm_struct *mm)
33 return kcalloc(USER_PTRS_PER_PGD, sizeof(pgd_t), GFP_KERNEL);
36 static inline void pgd_free(struct mm_struct *mm, pgd_t *pgd)
41 static inline pte_t *pte_alloc_one_kernel(struct mm_struct *mm,
42 unsigned long address)
46 pte = (pte_t *)get_zeroed_page(GFP_KERNEL | __GFP_REPEAT);
51 static inline struct page *pte_alloc_one(struct mm_struct *mm,
52 unsigned long address)
56 pte = alloc_page(GFP_KERNEL | __GFP_REPEAT | __GFP_ZERO);
59 pgtable_page_ctor(pte);
63 static inline void pte_free_kernel(struct mm_struct *mm, pte_t *pte)
65 free_page((unsigned long)pte);
68 static inline void pte_free(struct mm_struct *mm, pgtable_t pte)
70 pgtable_page_dtor(pte);
74 #define __pte_free_tlb(tlb,pte) \
76 pgtable_page_dtor(pte); \
77 tlb_remove_page((tlb), pte); \
80 #define check_pgt_cache() do { } while(0)
82 #endif /* __ASM_AVR32_PGALLOC_H */