3 /* the upper-most page table pointer */
6 #define TOP_PTE(x) pte_offset_kernel(top_pmd, x)
9 * 0xffff8000 to 0xffffffff is reserved for any ARM architecture
10 * specific hacks for copying pages efficiently, while 0xffff4000
11 * is reserved for VIPT aliasing flushing by generic code.
13 * Note that we don't allow VIPT aliasing caches with SMP.
15 #define COPYPAGE_MINICACHE 0xffff8000
16 #define COPYPAGE_V6_FROM 0xffff8000
17 #define COPYPAGE_V6_TO 0xffffc000
18 /* PFN alias flushing, for VIPT caches */
19 #define FLUSH_ALIAS_START 0xffff4000
21 static inline pmd_t *pmd_off_k(unsigned long virt)
23 return pmd_offset(pud_offset(pgd_offset_k(virt), virt), virt);
33 const struct mem_type *get_mem_type(unsigned int type);
35 extern void __flush_dcache_page(struct address_space *mapping, struct page *page);
38 * ARM specific vm_struct->flags bits.
41 /* (super)section-mapped I/O regions used by ioremap()/iounmap() */
42 #define VM_ARM_SECTION_MAPPING 0x80000000
44 /* permanent static mappings from iotable_init() */
45 #define VM_ARM_STATIC_MAPPING 0x40000000
47 /* mapping type (attributes) for permanent static mappings */
48 #define VM_ARM_MTYPE(mt) ((mt) << 20)
49 #define VM_ARM_MTYPE_MASK (0x1f << 20)
53 #ifdef CONFIG_ZONE_DMA
54 extern u32 arm_dma_limit;
56 #define arm_dma_limit ((u32)~0)
59 void __init bootmem_init(void);
60 void arm_mm_memblock_reserve(void);