Searched refs:kernel_pmd (Results 1 - 1 of 1) sorted by relevance

/linux-4.4.14/arch/x86/xen/
H A Dmmu.c2266 pmd_t *kernel_pmd; xen_setup_kernel_pagetable() local
2268 kernel_pmd = m2v(pgd[KERNEL_PGD_BOUNDARY].pgd); xen_setup_kernel_pagetable()
2270 xen_pt_base = xen_find_pt_base(kernel_pmd); xen_setup_kernel_pagetable()
2278 copy_page(initial_kernel_pmd, kernel_pmd); xen_setup_kernel_pagetable()

Completed in 104 milliseconds