swapper_kernel_pmd 2173 arch/x86/xen/mmu_pv.c static RESERVE_BRK_ARRAY(pmd_t, swapper_kernel_pmd, PTRS_PER_PMD);
swapper_kernel_pmd 2194 arch/x86/xen/mmu_pv.c 	swapper_kernel_pmd =
swapper_kernel_pmd 2196 arch/x86/xen/mmu_pv.c 	copy_page(swapper_kernel_pmd, initial_kernel_pmd);
swapper_kernel_pmd 2198 arch/x86/xen/mmu_pv.c 		__pgd(__pa(swapper_kernel_pmd) | _PAGE_PRESENT);
swapper_kernel_pmd 2199 arch/x86/xen/mmu_pv.c 	set_page_prot(swapper_kernel_pmd, PAGE_KERNEL_RO);