]>
Commit | Line | Data |
---|---|---|
3ff1559e RK |
1 | #ifdef CONFIG_MMU |
2 | ||
5f0fbf9e | 3 | /* the upper-most page table pointer */ |
1b2e2b73 RK |
4 | extern pmd_t *top_pmd; |
5 | ||
6 | #define TOP_PTE(x) pte_offset_kernel(top_pmd, x) | |
7 | ||
1b2e2b73 RK |
8 | static inline pmd_t *pmd_off_k(unsigned long virt) |
9 | { | |
cc780af5 | 10 | return pmd_offset(pud_offset(pgd_offset_k(virt), virt), virt); |
1b2e2b73 RK |
11 | } |
12 | ||
b29e9f5e | 13 | struct mem_type { |
f6e3354d | 14 | pteval_t prot_pte; |
b29e9f5e RK |
15 | unsigned int prot_l1; |
16 | unsigned int prot_sect; | |
17 | unsigned int domain; | |
18 | }; | |
19 | ||
20 | const struct mem_type *get_mem_type(unsigned int type); | |
21 | ||
7b0a1003 RK |
22 | extern void __flush_dcache_page(struct address_space *mapping, struct page *page); |
23 | ||
3ff1559e RK |
24 | #endif |
25 | ||
8d717a52 | 26 | void __init bootmem_init(void); |
2778f620 | 27 | void arm_mm_memblock_reserve(void); |