Searched refs:kernel_pmd (Results 1 – 1 of 1) sorted by relevance
2236 pmd_t *kernel_pmd; in xen_setup_kernel_pagetable() local2238 kernel_pmd = m2v(pgd[KERNEL_PGD_BOUNDARY].pgd); in xen_setup_kernel_pagetable()2240 xen_pt_base = xen_find_pt_base(kernel_pmd); in xen_setup_kernel_pagetable()2248 copy_page(initial_kernel_pmd, kernel_pmd); in xen_setup_kernel_pagetable()
