Lines Matching defs:image

37  * Parse the OPTEE image
41 		optee_image_t *image)
46 	init_load_addr = ((uint64_t)image->load_addr_hi << 32) |
47 					image->load_addr_lo;
48 	init_size = image->size;
51 	 * image->load_addr_hi & image->load_addr_lo set to UINT32_MAX indicate
52 	 * loader decided address; take our pre-mapped area for current image
55 	if ((image->load_addr_hi == UINT32_MAX) &&
56 	    (image->load_addr_lo == UINT32_MAX)) {
66 	/* Check that the image end address doesn't overflow */
86 	 * Remove the skip attr from image_info, the image will be loaded.
88 	 * mean the image will not be loaded. Here, we parse the header image to
89 	 * know that the extra image need to be loaded, so remove the skip attr.
93 	/* Update image base and size of image_info */
127 	 * OPTEE image has 3 types:
138 	 * 3. OPTEE image with paging support.
153 	/* Parse OPTEE image */
163 					ERROR("Paged image is not supported\n");
173 			ERROR("Parse optee image failed.\n");
182 	 * Update "pc" value which should comes from pager image. After the
183 	 * header image is parsed, it will be useless, and the actual
184 	 * execution image after BL31 is pager image.
190 	 * header image arguments so that can be read by the