| 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 | |
| Russell King | 1b2e2b7 | 2006-08-21 17:06:38 +0100 | [diff] [blame] | 8 | static inline pmd_t *pmd_off_k(unsigned long virt) |
| 9 | { |
| Russell King | cc780af | 2011-05-26 19:50:30 +0100 | [diff] [blame^] | 10 | return pmd_offset(pud_offset(pgd_offset_k(virt), virt), virt); |
| Russell King | 1b2e2b7 | 2006-08-21 17:06:38 +0100 | [diff] [blame] | 11 | } |
| 12 | |
| Russell King | b29e9f5 | 2007-04-21 10:47:29 +0100 | [diff] [blame] | 13 | struct mem_type { |
| Russell King | f6e3354 | 2010-11-16 00:22:09 +0000 | [diff] [blame] | 14 | pteval_t prot_pte; |
| Russell King | b29e9f5 | 2007-04-21 10:47:29 +0100 | [diff] [blame] | 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 | |
| Russell King | 7b0a100 | 2009-10-24 14:11:59 +0100 | [diff] [blame] | 22 | extern void __flush_dcache_page(struct address_space *mapping, struct page *page); |
| 23 | |
| Russell King | 3ff1559 | 2006-11-30 13:53:54 +0000 | [diff] [blame] | 24 | #endif |
| 25 | |
| Russell King | 8d717a5 | 2010-05-22 19:47:18 +0100 | [diff] [blame] | 26 | void __init bootmem_init(void); |
| Russell King | 2778f62 | 2010-07-09 16:27:52 +0100 | [diff] [blame] | 27 | void arm_mm_memblock_reserve(void); |