Searched refs:top_pmd (Results 1 – 4 of 4) sorted by relevance
9 extern pmd_t *top_pmd;28 pte_t *ptep = pte_offset_kernel(top_pmd, va); in set_top_pte()35 pte_t *ptep = pte_offset_kernel(top_pmd, va); in get_top_pte()
52 pmd_t *top_pmd; variable1656 top_pmd = pmd_off_k(0xffff0000); in paging_init()
12 extern pmd_t *top_pmd;15 #define TOP_PTE(x) pte_offset_kernel(top_pmd, x)
40 pmd_t *top_pmd; variable430 top_pmd = pmd_off_k(0xffff0000); in paging_init()
