Searched refs:kernel_pmd (Results 1 – 1 of 1) sorted by relevance
2263 pmd_t *kernel_pmd; in xen_setup_kernel_pagetable() local2265 kernel_pmd = m2v(pgd[KERNEL_PGD_BOUNDARY].pgd); in xen_setup_kernel_pagetable()2267 xen_pt_base = xen_find_pt_base(kernel_pmd); in xen_setup_kernel_pagetable()2275 copy_page(initial_kernel_pmd, kernel_pmd); in xen_setup_kernel_pagetable()