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(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
  18 struct mem_type {
  19         pteval_t 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
  27 extern void __flush_dcache_page(struct address_space *mapping, struct page *page);
  28
  29 #endif
  30
  31 void __init bootmem_init(void);
  32 void arm_mm_memblock_reserve(void);