139 int parse_optee_header(entry_point_info_t *header_ep,  in parse_optee_header()  argument
147 	assert(header_ep);  in parse_optee_header()
148 	header = (optee_header_t *)header_ep->pc;  in parse_optee_header()
152 	INFO("OPTEE ep=0x%x\n", (unsigned int)header_ep->pc);  in parse_optee_header()
180 		header_ep->args.arg0 = MODE_RW_64;  in parse_optee_header()
182 		header_ep->args.arg0 = MODE_RW_32;  in parse_optee_header()
211 	header_ep->pc =	pager_image_info->image_base;  in parse_optee_header()
218 	header_ep->args.arg1 = paged_image_info->image_base;  in parse_optee_header()
219 	header_ep->args.arg2 = paged_image_info->image_size;  in parse_optee_header()
223 		header_ep->args.arg0 = MODE_RW_32;  in parse_optee_header()
226 		header_ep->args.arg0 = MODE_RW_64;  in parse_optee_header()