3 /* the upper-most page table pointer */
6 #define TOP_PTE(x) pte_offset_kernel(top_pmd, x)
8 static inline pmd_t *pmd_off(pgd_t *pgd, unsigned long virt)
10 return pmd_offset(pgd, virt);
13 static inline pmd_t *pmd_off_k(unsigned long virt)
15 return pmd_off(pgd_offset_k(virt), virt);
19 unsigned int prot_pte;
21 unsigned int prot_sect;
25 const struct mem_type *get_mem_type(unsigned int type);
27 extern void __flush_dcache_page(struct address_space *mapping, struct page *page);
31 void __init bootmem_init(void);
32 void arm_mm_memblock_reserve(void);