Searched refs:top_pmd (Results 1 – 4 of 4) sorted by relevance
8 extern pmd_t *top_pmd;25 pte_t *ptep = pte_offset_kernel(top_pmd, va); in set_top_pte()32 pte_t *ptep = pte_offset_kernel(top_pmd, va); in get_top_pte()
54 pmd_t *top_pmd; variable1557 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()