kernel_pmd       2236 arch/x86/xen/mmu_pv.c 	pmd_t *kernel_pmd;
kernel_pmd       2238 arch/x86/xen/mmu_pv.c 	kernel_pmd = m2v(pgd[KERNEL_PGD_BOUNDARY].pgd);
kernel_pmd       2240 arch/x86/xen/mmu_pv.c 	xen_pt_base = xen_find_pt_base(kernel_pmd);
kernel_pmd       2248 arch/x86/xen/mmu_pv.c 	copy_page(initial_kernel_pmd, kernel_pmd);