50 static void free_p4d(struct x86_mapping_info *info, pgd_t *pgd)  in free_p4d()  argument
52 	p4d_t *p4d = p4d_offset(pgd, 0);  in free_p4d()
66 void kernel_ident_mapping_free(struct x86_mapping_info *info, pgd_t *pgd)  in kernel_ident_mapping_free()  argument
71 		if (!pgd_present(pgd[i]))  in kernel_ident_mapping_free()
74 		free_p4d(info, &pgd[i]);  in kernel_ident_mapping_free()
77 	info->free_pgt_page(pgd, info->context);  in kernel_ident_mapping_free()
199 		pgd_t *pgd = pgd_page + pgd_index(addr);  in kernel_ident_mapping_init()  local
206 		if (pgd_present(*pgd)) {  in kernel_ident_mapping_init()
207 			p4d = p4d_offset(pgd, 0);  in kernel_ident_mapping_init()
221 			set_pgd(pgd, __pgd(__pa(p4d) | info->kernpg_flag));  in kernel_ident_mapping_init()
228 			set_pgd(pgd, __pgd(__pa(pud) | info->kernpg_flag));  in kernel_ident_mapping_init()