114 	free_page((unsigned long)image->arch.p4d);  in free_transition_pgtable()
115 	image->arch.p4d = NULL;  in free_transition_pgtable()
129 	p4d_t *p4d;  in init_transition_pgtable()  local
138 		p4d = (p4d_t *)get_zeroed_page(GFP_KERNEL);  in init_transition_pgtable()
139 		if (!p4d)  in init_transition_pgtable()
141 		image->arch.p4d = p4d;  in init_transition_pgtable()
142 		set_pgd(pgd, __pgd(__pa(p4d) | _KERNPG_TABLE));  in init_transition_pgtable()
144 	p4d = p4d_offset(pgd, vaddr);  in init_transition_pgtable()
145 	if (!p4d_present(*p4d)) {  in init_transition_pgtable()
150 		set_p4d(p4d, __p4d(__pa(pud) | _KERNPG_TABLE));  in init_transition_pgtable()
152 	pud = pud_offset(p4d, vaddr);  in init_transition_pgtable()