Searched refs:kernel_pmd (Results 1 – 1 of 1) sorted by relevance
1943 pmd_t *kernel_pmd; in xen_setup_kernel_pagetable() local1952 kernel_pmd = m2v(pgd[KERNEL_PGD_BOUNDARY].pgd); in xen_setup_kernel_pagetable()1953 copy_page(initial_kernel_pmd, kernel_pmd); in xen_setup_kernel_pagetable()