Searched refs:top_pmd (Results 1 – 4 of 4) sorted by relevance
4 extern pmd_t *top_pmd;21 pte_t *ptep = pte_offset_kernel(top_pmd, va); in set_top_pte()28 pte_t *ptep = pte_offset_kernel(top_pmd, va); in get_top_pte()
47 pmd_t *top_pmd; variable1200 top_pmd = pmd_off_k(0xffff0000); in paging_init()
15 extern pmd_t *top_pmd;18 #define TOP_PTE(x) pte_offset_kernel(top_pmd, x)
44 pmd_t *top_pmd; variable432 top_pmd = pmd_off_k(0xffff0000); in paging_init()