2006-11-30 21:53:54 +08:00
|
|
|
#ifdef CONFIG_MMU
|
|
|
|
|
2008-09-17 01:05:53 +08:00
|
|
|
/* the upper-most page table pointer */
|
2006-08-22 00:06:38 +08:00
|
|
|
extern pmd_t *top_pmd;
|
|
|
|
|
|
|
|
#define TOP_PTE(x) pte_offset_kernel(top_pmd, x)
|
|
|
|
|
|
|
|
static inline pmd_t *pmd_off_k(unsigned long virt)
|
|
|
|
{
|
2011-05-27 02:50:30 +08:00
|
|
|
return pmd_offset(pud_offset(pgd_offset_k(virt), virt), virt);
|
2006-08-22 00:06:38 +08:00
|
|
|
}
|
|
|
|
|
2007-04-21 17:47:29 +08:00
|
|
|
struct mem_type {
|
2010-11-16 08:22:09 +08:00
|
|
|
pteval_t prot_pte;
|
2007-04-21 17:47:29 +08:00
|
|
|
unsigned int prot_l1;
|
|
|
|
unsigned int prot_sect;
|
|
|
|
unsigned int domain;
|
|
|
|
};
|
|
|
|
|
|
|
|
const struct mem_type *get_mem_type(unsigned int type);
|
|
|
|
|
2009-10-24 21:11:59 +08:00
|
|
|
extern void __flush_dcache_page(struct address_space *mapping, struct page *page);
|
|
|
|
|
2006-11-30 21:53:54 +08:00
|
|
|
#endif
|
|
|
|
|
2011-07-09 04:26:59 +08:00
|
|
|
#ifdef CONFIG_ZONE_DMA
|
|
|
|
extern u32 arm_dma_limit;
|
|
|
|
#else
|
|
|
|
#define arm_dma_limit ((u32)~0)
|
|
|
|
#endif
|
|
|
|
|
2010-05-23 02:47:18 +08:00
|
|
|
void __init bootmem_init(void);
|
2010-07-09 23:27:52 +08:00
|
|
|
void arm_mm_memblock_reserve(void);
|