Searched refs:top_pmd (Results 1 – 2 of 2) sorted by relevance
8 extern pmd_t *top_pmd;27 pte_t *ptep = pte_offset_kernel(top_pmd, va); in set_top_pte()34 pte_t *ptep = pte_offset_kernel(top_pmd, va); in get_top_pte()
54 pmd_t *top_pmd; variable1784 top_pmd = pmd_off_k(0xffff0000); in paging_init()