20 lines
417 B
C
20 lines
417 B
C
/* the upper-most page table pointer */
|
|
extern pmd_t *top_pmd;
|
|
|
|
#define TOP_PTE(x) pte_offset_kernel(top_pmd, x)
|
|
|
|
static inline pmd_t *pmd_off(pgd_t *pgd, unsigned long virt)
|
|
{
|
|
return pmd_offset(pgd, virt);
|
|
}
|
|
|
|
static inline pmd_t *pmd_off_k(unsigned long virt)
|
|
{
|
|
return pmd_off(pgd_offset_k(virt), virt);
|
|
}
|
|
|
|
struct map_desc;
|
|
|
|
void __init build_mem_type_table(void);
|
|
void __init create_mapping(struct map_desc *md);
|