2 * arch/arm/include/asm/pgalloc.h
4 * Copyright (C) 2000-2001 Russell King
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License version 2 as
8 * published by the Free Software Foundation.
10 #ifndef _ASMARM_PGALLOC_H
11 #define _ASMARM_PGALLOC_H
13 #include <asm/domain.h>
14 #include <asm/pgtable-hwdef.h>
15 #include <asm/processor.h>
16 #include <asm/cacheflush.h>
17 #include <asm/tlbflush.h>
19 #define check_pgt_cache() do { } while (0)
23 #define _PAGE_USER_TABLE (PMD_TYPE_TABLE | PMD_BIT4 | PMD_DOMAIN(DOMAIN_USER))
24 #define _PAGE_KERNEL_TABLE (PMD_TYPE_TABLE | PMD_BIT4 | PMD_DOMAIN(DOMAIN_KERNEL))
27 * Since we have only two-level page tables, these are trivial
29 #define pmd_alloc_one(mm,addr) ({ BUG(); ((pmd_t *)2); })
30 #define pmd_free(mm, pmd) do { } while (0)
31 #define pgd_populate(mm,pmd,pte) BUG()
33 extern pgd_t
*get_pgd_slow(struct mm_struct
*mm
);
34 extern void free_pgd_slow(struct mm_struct
*mm
, pgd_t
*pgd
);
36 #define pgd_alloc(mm) get_pgd_slow(mm)
37 #define pgd_free(mm, pgd) free_pgd_slow(mm, pgd)
39 #define PGALLOC_GFP (GFP_KERNEL | __GFP_NOTRACK | __GFP_REPEAT | __GFP_ZERO)
42 * Allocate one PTE table.
44 * This actually allocates two hardware PTE tables, but we wrap this up
45 * into one table thus:
58 pte_alloc_one_kernel(struct mm_struct
*mm
, unsigned long addr
)
62 pte
= (pte_t
*)__get_free_page(PGALLOC_GFP
);
64 clean_dcache_area(pte
, sizeof(pte_t
) * PTRS_PER_PTE
);
71 static inline pgtable_t
72 pte_alloc_one(struct mm_struct
*mm
, unsigned long addr
)
77 pte
= alloc_pages(PGALLOC_GFP
| __GFP_HIGHMEM
, 0);
79 pte
= alloc_pages(PGALLOC_GFP
, 0);
82 if (!PageHighMem(pte
)) {
83 void *page
= page_address(pte
);
84 clean_dcache_area(page
, sizeof(pte_t
) * PTRS_PER_PTE
);
86 pgtable_page_ctor(pte
);
95 static inline void pte_free_kernel(struct mm_struct
*mm
, pte_t
*pte
)
99 free_page((unsigned long)pte
);
103 static inline void pte_free(struct mm_struct
*mm
, pgtable_t pte
)
105 pgtable_page_dtor(pte
);
109 static inline void __pmd_populate(pmd_t
*pmdp
, unsigned long pmdval
)
111 pmdp
[0] = __pmd(pmdval
);
112 pmdp
[1] = __pmd(pmdval
+ 256 * sizeof(pte_t
));
113 flush_pmd_entry(pmdp
);
117 * Populate the pmdp entry with a pointer to the pte. This pmd is part
118 * of the mm address space.
120 * Ensure that we always set both PMD entries.
123 pmd_populate_kernel(struct mm_struct
*mm
, pmd_t
*pmdp
, pte_t
*ptep
)
125 unsigned long pte_ptr
= (unsigned long)ptep
;
128 * The pmd must be loaded with the physical
129 * address of the PTE table
131 pte_ptr
-= PTRS_PER_PTE
* sizeof(void *);
132 __pmd_populate(pmdp
, __pa(pte_ptr
) | _PAGE_KERNEL_TABLE
);
136 pmd_populate(struct mm_struct
*mm
, pmd_t
*pmdp
, pgtable_t ptep
)
138 __pmd_populate(pmdp
, page_to_pfn(ptep
) << PAGE_SHIFT
| _PAGE_USER_TABLE
);
140 #define pmd_pgtable(pmd) pmd_page(pmd)
142 #endif /* CONFIG_MMU */