57 	free_pages((unsigned long)image->arch.pgd, PGD_ALLOCATION_ORDER);  in machine_kexec_free_page_tables()
58 	image->arch.pgd = NULL;  in machine_kexec_free_page_tables()
73 	image->arch.pgd = (pgd_t *)__get_free_pages(GFP_KERNEL | __GFP_ZERO,  in machine_kexec_alloc_page_tables()
81 	if (!image->arch.pgd ||  in machine_kexec_alloc_page_tables()
92 	pgd_t *pgd, pmd_t *pmd, pte_t *pte,  in machine_kexec_page_table_set_one()  argument
98 	pgd += pgd_index(vaddr);  in machine_kexec_page_table_set_one()
100 	if (!(pgd_val(*pgd) & _PAGE_PRESENT))  in machine_kexec_page_table_set_one()
101 		set_pgd(pgd, __pgd(__pa(pmd) | _PAGE_PRESENT));  in machine_kexec_page_table_set_one()
103 	p4d = p4d_offset(pgd, vaddr);  in machine_kexec_page_table_set_one()
122 		image->arch.pgd, pmd, image->arch.pte0,  in machine_kexec_prepare_page_tables()
128 		image->arch.pgd, pmd, image->arch.pte1,  in machine_kexec_prepare_page_tables()
215 	page_list[PA_PGD] = __pa(image->arch.pgd);  in machine_kexec()