45 	free_pages((unsigned long)image->arch.pgd, PGD_ALLOCATION_ORDER);  in machine_kexec_free_page_tables()
46 	image->arch.pgd = NULL;  in machine_kexec_free_page_tables()
61 	image->arch.pgd = (pgd_t *)__get_free_pages(GFP_KERNEL | __GFP_ZERO,  in machine_kexec_alloc_page_tables()
69 	if (!image->arch.pgd ||  in machine_kexec_alloc_page_tables()
80 	pgd_t *pgd, pmd_t *pmd, pte_t *pte,  in machine_kexec_page_table_set_one()  argument
86 	pgd += pgd_index(vaddr);  in machine_kexec_page_table_set_one()
88 	if (!(pgd_val(*pgd) & _PAGE_PRESENT))  in machine_kexec_page_table_set_one()
89 		set_pgd(pgd, __pgd(__pa(pmd) | _PAGE_PRESENT));  in machine_kexec_page_table_set_one()
91 	p4d = p4d_offset(pgd, vaddr);  in machine_kexec_page_table_set_one()
110 		image->arch.pgd, pmd, image->arch.pte0,  in machine_kexec_prepare_page_tables()
116 		image->arch.pgd, pmd, image->arch.pte1,  in machine_kexec_prepare_page_tables()
203 	page_list[PA_PGD] = __pa(image->arch.pgd);  in machine_kexec()