Searched refs:top_pmd (Results 1 – 1 of 1) 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()