73 	free_page((unsigned long)image->arch.pgd);  in machine_kexec_free_page_tables()
84 	image->arch.pgd = (pgd_t *)get_zeroed_page(GFP_KERNEL);  in machine_kexec_alloc_page_tables()
91 	if (!image->arch.pgd ||  in machine_kexec_alloc_page_tables()
103 	pgd_t *pgd, pmd_t *pmd, pte_t *pte,  in machine_kexec_page_table_set_one()  argument
108 	pgd += pgd_index(vaddr);  in machine_kexec_page_table_set_one()
110 	if (!(pgd_val(*pgd) & _PAGE_PRESENT))  in machine_kexec_page_table_set_one()
111 		set_pgd(pgd, __pgd(__pa(pmd) | _PAGE_PRESENT));  in machine_kexec_page_table_set_one()
113 	pud = pud_offset(pgd, vaddr);  in machine_kexec_page_table_set_one()
131 		image->arch.pgd, pmd, image->arch.pte0,  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()