Searched refs:kernel_pmd (Results 1 – 1 of 1) sorted by relevance
2238 pmd_t *kernel_pmd; in xen_setup_kernel_pagetable() local2240 kernel_pmd = m2v(pgd[KERNEL_PGD_BOUNDARY].pgd); in xen_setup_kernel_pagetable()2242 xen_pt_base = xen_find_pt_base(kernel_pmd); in xen_setup_kernel_pagetable()2250 copy_page(initial_kernel_pmd, kernel_pmd); in xen_setup_kernel_pagetable()
