59 	free_pages((unsigned long)image->arch.pgd, PGD_ALLOCATION_ORDER);  in machine_kexec_free_page_tables()
60 	image->arch.pgd = NULL;  in machine_kexec_free_page_tables()
75 	image->arch.pgd = (pgd_t *)__get_free_pages(GFP_KERNEL | __GFP_ZERO,  in machine_kexec_alloc_page_tables()
83 	if (!image->arch.pgd ||  in machine_kexec_alloc_page_tables()
94 	pgd_t *pgd, pmd_t *pmd, pte_t *pte,  in machine_kexec_page_table_set_one()  argument
100 	pgd += pgd_index(vaddr);  in machine_kexec_page_table_set_one()
102 	if (!(pgd_val(*pgd) & _PAGE_PRESENT))  in machine_kexec_page_table_set_one()
103 		set_pgd(pgd, __pgd(__pa(pmd) | _PAGE_PRESENT));  in machine_kexec_page_table_set_one()
105 	p4d = p4d_offset(pgd, vaddr);  in machine_kexec_page_table_set_one()
124 		image->arch.pgd, pmd, image->arch.pte0,  in machine_kexec_prepare_page_tables()
130 		image->arch.pgd, pmd, image->arch.pte1,  in machine_kexec_prepare_page_tables()
217 	page_list[PA_PGD] = __pa(image->arch.pgd);  in machine_kexec()