| Russell King | 3ff1559 | 2006-11-30 13:53:54 +0000 | [diff] [blame] | 1 | #ifdef CONFIG_MMU |
| 2 | |
| Nicolas Pitre | 5f0fbf9 | 2008-09-16 13:05:53 -0400 | [diff] [blame] | 3 | /* the upper-most page table pointer */ |
| Russell King | 1b2e2b7 | 2006-08-21 17:06:38 +0100 | [diff] [blame] | 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 | |
| Russell King | b29e9f5 | 2007-04-21 10:47:29 +0100 | [diff] [blame] | 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 | |
| Russell King | 7b0a100 | 2009-10-24 14:11:59 +0100 | [diff] [blame] | 27 | extern void __flush_dcache_page(struct address_space *mapping, struct page *page); |
| 28 | |
| Russell King | 3ff1559 | 2006-11-30 13:53:54 +0000 | [diff] [blame] | 29 | #endif |
| 30 | |
| Russell King | 8d717a5 | 2010-05-22 19:47:18 +0100 | [diff] [blame] | 31 | void __init bootmem_init(void); |
| Russell King | 2778f62 | 2010-07-09 16:27:52 +0100 | [diff] [blame] | 32 | void arm_mm_memblock_reserve(void); |