1 #ifdef CONFIG_MMU 2 3 /* the upper-most page table pointer */ 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_k(unsigned long virt) 9 { 10 return pmd_offset(pud_offset(pgd_offset_k(virt), virt), virt); 11 } 12 13 struct mem_type { 14 pteval_t prot_pte; 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 22 extern void __flush_dcache_page(struct address_space *mapping, struct page *page); 23 24 #endif 25 26 void __init bootmem_init(void); 27 void arm_mm_memblock_reserve(void); 28