arch/arm/mm/mm.h

   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);