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 | d111e8f | 2006-09-27 15:27:33 +0100 | [diff] [blame] | 31 | struct pglist_data; |
Russell King | 1b2e2b7 | 2006-08-21 17:06:38 +0100 | [diff] [blame] | 32 | |
Nicolas Pitre | 4b5f32c | 2008-10-06 13:24:40 -0400 | [diff] [blame] | 33 | void __init bootmem_init(void); |
Russell King | d111e8f | 2006-09-27 15:27:33 +0100 | [diff] [blame] | 34 | void reserve_node_zero(struct pglist_data *pgdat); |