]>
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 | ||
8 | static inline pmd_t *pmd_off(pgd_t *pgd, unsigned long virt) | |
9 | { | |
10 | return pmd_offset(pgd, virt); | |
11 | } | |
12 | ||
13 | static inline pmd_t *pmd_off_k(unsigned long virt) | |
14 | { | |
15 | return pmd_off(pgd_offset_k(virt), virt); | |
16 | } | |
17 | ||
b29e9f5e RK |
18 | struct mem_type { |
19 | unsigned int prot_pte; | |
20 | unsigned int prot_l1; | |
21 | unsigned int prot_sect; | |
22 | unsigned int domain; | |
23 | }; | |
24 | ||
25 | const struct mem_type *get_mem_type(unsigned int type); | |
26 | ||
7b0a1003 RK |
27 | extern void __flush_dcache_page(struct address_space *mapping, struct page *page); |
28 | ||
3ff1559e RK |
29 | #endif |
30 | ||
98c672cf RK |
31 | struct machine_desc; |
32 | void __init bootmem_init(struct machine_desc *); | |
be370302 | 33 | void reserve_special_regions(void); |