73 	free_page((unsigned long)image->arch.pgd);  in machine_kexec_free_page_tables()
75 	free_page((unsigned long)image->arch.pmd0);  in machine_kexec_free_page_tables()
76 	free_page((unsigned long)image->arch.pmd1);  in machine_kexec_free_page_tables()
78 	free_page((unsigned long)image->arch.pte0);  in machine_kexec_free_page_tables()
79 	free_page((unsigned long)image->arch.pte1);  in machine_kexec_free_page_tables()
84 	image->arch.pgd = (pgd_t *)get_zeroed_page(GFP_KERNEL);  in machine_kexec_alloc_page_tables()
86 	image->arch.pmd0 = (pmd_t *)get_zeroed_page(GFP_KERNEL);  in machine_kexec_alloc_page_tables()
87 	image->arch.pmd1 = (pmd_t *)get_zeroed_page(GFP_KERNEL);  in machine_kexec_alloc_page_tables()
89 	image->arch.pte0 = (pte_t *)get_zeroed_page(GFP_KERNEL);  in machine_kexec_alloc_page_tables()
90 	image->arch.pte1 = (pte_t *)get_zeroed_page(GFP_KERNEL);  in machine_kexec_alloc_page_tables()
91 	if (!image->arch.pgd ||  in machine_kexec_alloc_page_tables()
93 	    !image->arch.pmd0 || !image->arch.pmd1 ||  in machine_kexec_alloc_page_tables()
95 	    !image->arch.pte0 || !image->arch.pte1) {  in machine_kexec_alloc_page_tables()
128 	pmd = image->arch.pmd0;  in machine_kexec_prepare_page_tables()
131 		image->arch.pgd, pmd, image->arch.pte0,  in machine_kexec_prepare_page_tables()
134 	pmd = image->arch.pmd1;  in machine_kexec_prepare_page_tables()
137 		image->arch.pgd, pmd, image->arch.pte1,  in machine_kexec_prepare_page_tables()
224 	page_list[PA_PGD] = __pa(image->arch.pgd);  in machine_kexec()