blob: 8d73ffbce8df292a6ff49bcd9f72b79dc1cd1581 [file] [log] [blame]
Russell King1b2e2b72006-08-21 17:06:38 +01001/* the upper-most page table pointer */
2extern pmd_t *top_pmd;
3
4#define TOP_PTE(x) pte_offset_kernel(top_pmd, x)
5
6static inline pmd_t *pmd_off(pgd_t *pgd, unsigned long virt)
7{
8 return pmd_offset(pgd, virt);
9}
10
11static inline pmd_t *pmd_off_k(unsigned long virt)
12{
13 return pmd_off(pgd_offset_k(virt), virt);
14}
15
16struct map_desc;
17
18void __init build_mem_type_table(void);
19void __init create_mapping(struct map_desc *md);