xref: /aosp_15_r20/external/arm-trusted-firmware/bl1/bl1_fwu.c (revision 54fd6939e177f8ff529b10183254802c76df6d08)
1*54fd6939SJiyong Park /*
2*54fd6939SJiyong Park  * Copyright (c) 2015-2020, ARM Limited and Contributors. All rights reserved.
3*54fd6939SJiyong Park  *
4*54fd6939SJiyong Park  * SPDX-License-Identifier: BSD-3-Clause
5*54fd6939SJiyong Park  */
6*54fd6939SJiyong Park 
7*54fd6939SJiyong Park #include <assert.h>
8*54fd6939SJiyong Park #include <errno.h>
9*54fd6939SJiyong Park #include <string.h>
10*54fd6939SJiyong Park 
11*54fd6939SJiyong Park #include <platform_def.h>
12*54fd6939SJiyong Park 
13*54fd6939SJiyong Park #include <arch_helpers.h>
14*54fd6939SJiyong Park #include <bl1/bl1.h>
15*54fd6939SJiyong Park #include <common/bl_common.h>
16*54fd6939SJiyong Park #include <common/debug.h>
17*54fd6939SJiyong Park #include <context.h>
18*54fd6939SJiyong Park #include <drivers/auth/auth_mod.h>
19*54fd6939SJiyong Park #include <lib/el3_runtime/context_mgmt.h>
20*54fd6939SJiyong Park #include <lib/utils.h>
21*54fd6939SJiyong Park #include <plat/common/platform.h>
22*54fd6939SJiyong Park #include <smccc_helpers.h>
23*54fd6939SJiyong Park 
24*54fd6939SJiyong Park #include "bl1_private.h"
25*54fd6939SJiyong Park 
26*54fd6939SJiyong Park /*
27*54fd6939SJiyong Park  * Function declarations.
28*54fd6939SJiyong Park  */
29*54fd6939SJiyong Park static int bl1_fwu_image_copy(unsigned int image_id,
30*54fd6939SJiyong Park 			uintptr_t image_src,
31*54fd6939SJiyong Park 			unsigned int block_size,
32*54fd6939SJiyong Park 			unsigned int image_size,
33*54fd6939SJiyong Park 			unsigned int flags);
34*54fd6939SJiyong Park static int bl1_fwu_image_auth(unsigned int image_id,
35*54fd6939SJiyong Park 			uintptr_t image_src,
36*54fd6939SJiyong Park 			unsigned int image_size,
37*54fd6939SJiyong Park 			unsigned int flags);
38*54fd6939SJiyong Park static int bl1_fwu_image_execute(unsigned int image_id,
39*54fd6939SJiyong Park 			void **handle,
40*54fd6939SJiyong Park 			unsigned int flags);
41*54fd6939SJiyong Park static register_t bl1_fwu_image_resume(register_t image_param,
42*54fd6939SJiyong Park 			void **handle,
43*54fd6939SJiyong Park 			unsigned int flags);
44*54fd6939SJiyong Park static int bl1_fwu_sec_image_done(void **handle,
45*54fd6939SJiyong Park 			unsigned int flags);
46*54fd6939SJiyong Park static int bl1_fwu_image_reset(unsigned int image_id,
47*54fd6939SJiyong Park 			unsigned int flags);
48*54fd6939SJiyong Park __dead2 static void bl1_fwu_done(void *client_cookie, void *reserved);
49*54fd6939SJiyong Park 
50*54fd6939SJiyong Park /*
51*54fd6939SJiyong Park  * This keeps track of last executed secure image id.
52*54fd6939SJiyong Park  */
53*54fd6939SJiyong Park static unsigned int sec_exec_image_id = INVALID_IMAGE_ID;
54*54fd6939SJiyong Park 
55*54fd6939SJiyong Park /*******************************************************************************
56*54fd6939SJiyong Park  * Top level handler for servicing FWU SMCs.
57*54fd6939SJiyong Park  ******************************************************************************/
bl1_fwu_smc_handler(unsigned int smc_fid,u_register_t x1,u_register_t x2,u_register_t x3,u_register_t x4,void * cookie,void * handle,unsigned int flags)58*54fd6939SJiyong Park u_register_t bl1_fwu_smc_handler(unsigned int smc_fid,
59*54fd6939SJiyong Park 			u_register_t x1,
60*54fd6939SJiyong Park 			u_register_t x2,
61*54fd6939SJiyong Park 			u_register_t x3,
62*54fd6939SJiyong Park 			u_register_t x4,
63*54fd6939SJiyong Park 			void *cookie,
64*54fd6939SJiyong Park 			void *handle,
65*54fd6939SJiyong Park 			unsigned int flags)
66*54fd6939SJiyong Park {
67*54fd6939SJiyong Park 
68*54fd6939SJiyong Park 	switch (smc_fid) {
69*54fd6939SJiyong Park 	case FWU_SMC_IMAGE_COPY:
70*54fd6939SJiyong Park 		SMC_RET1(handle, bl1_fwu_image_copy((uint32_t)x1, x2,
71*54fd6939SJiyong Park 			(uint32_t)x3, (uint32_t)x4, flags));
72*54fd6939SJiyong Park 
73*54fd6939SJiyong Park 	case FWU_SMC_IMAGE_AUTH:
74*54fd6939SJiyong Park 		SMC_RET1(handle, bl1_fwu_image_auth((uint32_t)x1, x2,
75*54fd6939SJiyong Park 			(uint32_t)x3, flags));
76*54fd6939SJiyong Park 
77*54fd6939SJiyong Park 	case FWU_SMC_IMAGE_EXECUTE:
78*54fd6939SJiyong Park 		SMC_RET1(handle, bl1_fwu_image_execute((uint32_t)x1, &handle,
79*54fd6939SJiyong Park 			flags));
80*54fd6939SJiyong Park 
81*54fd6939SJiyong Park 	case FWU_SMC_IMAGE_RESUME:
82*54fd6939SJiyong Park 		SMC_RET1(handle, bl1_fwu_image_resume((register_t)x1, &handle,
83*54fd6939SJiyong Park 			flags));
84*54fd6939SJiyong Park 
85*54fd6939SJiyong Park 	case FWU_SMC_SEC_IMAGE_DONE:
86*54fd6939SJiyong Park 		SMC_RET1(handle, bl1_fwu_sec_image_done(&handle, flags));
87*54fd6939SJiyong Park 
88*54fd6939SJiyong Park 	case FWU_SMC_IMAGE_RESET:
89*54fd6939SJiyong Park 		SMC_RET1(handle, bl1_fwu_image_reset((uint32_t)x1, flags));
90*54fd6939SJiyong Park 
91*54fd6939SJiyong Park 	case FWU_SMC_UPDATE_DONE:
92*54fd6939SJiyong Park 		bl1_fwu_done((void *)x1, NULL);
93*54fd6939SJiyong Park 
94*54fd6939SJiyong Park 	default:
95*54fd6939SJiyong Park 		assert(false); /* Unreachable */
96*54fd6939SJiyong Park 		break;
97*54fd6939SJiyong Park 	}
98*54fd6939SJiyong Park 
99*54fd6939SJiyong Park 	SMC_RET1(handle, SMC_UNK);
100*54fd6939SJiyong Park }
101*54fd6939SJiyong Park 
102*54fd6939SJiyong Park /*******************************************************************************
103*54fd6939SJiyong Park  * Utility functions to keep track of the images that are loaded at any time.
104*54fd6939SJiyong Park  ******************************************************************************/
105*54fd6939SJiyong Park 
106*54fd6939SJiyong Park #ifdef PLAT_FWU_MAX_SIMULTANEOUS_IMAGES
107*54fd6939SJiyong Park #define FWU_MAX_SIMULTANEOUS_IMAGES	PLAT_FWU_MAX_SIMULTANEOUS_IMAGES
108*54fd6939SJiyong Park #else
109*54fd6939SJiyong Park #define FWU_MAX_SIMULTANEOUS_IMAGES	10
110*54fd6939SJiyong Park #endif
111*54fd6939SJiyong Park 
112*54fd6939SJiyong Park static unsigned int bl1_fwu_loaded_ids[FWU_MAX_SIMULTANEOUS_IMAGES] = {
113*54fd6939SJiyong Park 	[0 ... FWU_MAX_SIMULTANEOUS_IMAGES-1] = INVALID_IMAGE_ID
114*54fd6939SJiyong Park };
115*54fd6939SJiyong Park 
116*54fd6939SJiyong Park /*
117*54fd6939SJiyong Park  * Adds an image_id to the bl1_fwu_loaded_ids array.
118*54fd6939SJiyong Park  * Returns 0 on success, 1 on error.
119*54fd6939SJiyong Park  */
bl1_fwu_add_loaded_id(unsigned int image_id)120*54fd6939SJiyong Park static int bl1_fwu_add_loaded_id(unsigned int image_id)
121*54fd6939SJiyong Park {
122*54fd6939SJiyong Park 	int i;
123*54fd6939SJiyong Park 
124*54fd6939SJiyong Park 	/* Check if the ID is already in the list */
125*54fd6939SJiyong Park 	for (i = 0; i < FWU_MAX_SIMULTANEOUS_IMAGES; i++) {
126*54fd6939SJiyong Park 		if (bl1_fwu_loaded_ids[i] == image_id)
127*54fd6939SJiyong Park 			return 0;
128*54fd6939SJiyong Park 	}
129*54fd6939SJiyong Park 
130*54fd6939SJiyong Park 	/* Find an empty slot */
131*54fd6939SJiyong Park 	for (i = 0; i < FWU_MAX_SIMULTANEOUS_IMAGES; i++) {
132*54fd6939SJiyong Park 		if (bl1_fwu_loaded_ids[i] == INVALID_IMAGE_ID) {
133*54fd6939SJiyong Park 			bl1_fwu_loaded_ids[i] = image_id;
134*54fd6939SJiyong Park 			return 0;
135*54fd6939SJiyong Park 		}
136*54fd6939SJiyong Park 	}
137*54fd6939SJiyong Park 
138*54fd6939SJiyong Park 	return 1;
139*54fd6939SJiyong Park }
140*54fd6939SJiyong Park 
141*54fd6939SJiyong Park /*
142*54fd6939SJiyong Park  * Removes an image_id from the bl1_fwu_loaded_ids array.
143*54fd6939SJiyong Park  * Returns 0 on success, 1 on error.
144*54fd6939SJiyong Park  */
bl1_fwu_remove_loaded_id(unsigned int image_id)145*54fd6939SJiyong Park static int bl1_fwu_remove_loaded_id(unsigned int image_id)
146*54fd6939SJiyong Park {
147*54fd6939SJiyong Park 	int i;
148*54fd6939SJiyong Park 
149*54fd6939SJiyong Park 	/* Find the ID */
150*54fd6939SJiyong Park 	for (i = 0; i < FWU_MAX_SIMULTANEOUS_IMAGES; i++) {
151*54fd6939SJiyong Park 		if (bl1_fwu_loaded_ids[i] == image_id) {
152*54fd6939SJiyong Park 			bl1_fwu_loaded_ids[i] = INVALID_IMAGE_ID;
153*54fd6939SJiyong Park 			return 0;
154*54fd6939SJiyong Park 		}
155*54fd6939SJiyong Park 	}
156*54fd6939SJiyong Park 
157*54fd6939SJiyong Park 	return 1;
158*54fd6939SJiyong Park }
159*54fd6939SJiyong Park 
160*54fd6939SJiyong Park /*******************************************************************************
161*54fd6939SJiyong Park  * This function checks if the specified image overlaps another image already
162*54fd6939SJiyong Park  * loaded. It returns 0 if there is no overlap, a negative error code otherwise.
163*54fd6939SJiyong Park  ******************************************************************************/
bl1_fwu_image_check_overlaps(unsigned int image_id)164*54fd6939SJiyong Park static int bl1_fwu_image_check_overlaps(unsigned int image_id)
165*54fd6939SJiyong Park {
166*54fd6939SJiyong Park 	const image_desc_t *desc, *checked_desc;
167*54fd6939SJiyong Park 	const image_info_t *info, *checked_info;
168*54fd6939SJiyong Park 
169*54fd6939SJiyong Park 	uintptr_t image_base, image_end;
170*54fd6939SJiyong Park 	uintptr_t checked_image_base, checked_image_end;
171*54fd6939SJiyong Park 
172*54fd6939SJiyong Park 	checked_desc = bl1_plat_get_image_desc(image_id);
173*54fd6939SJiyong Park 	checked_info = &checked_desc->image_info;
174*54fd6939SJiyong Park 
175*54fd6939SJiyong Park 	/* Image being checked mustn't be empty. */
176*54fd6939SJiyong Park 	assert(checked_info->image_size != 0);
177*54fd6939SJiyong Park 
178*54fd6939SJiyong Park 	checked_image_base = checked_info->image_base;
179*54fd6939SJiyong Park 	checked_image_end = checked_image_base + checked_info->image_size - 1;
180*54fd6939SJiyong Park 	/* No need to check for overflows, it's done in bl1_fwu_image_copy(). */
181*54fd6939SJiyong Park 
182*54fd6939SJiyong Park 	for (int i = 0; i < FWU_MAX_SIMULTANEOUS_IMAGES; i++) {
183*54fd6939SJiyong Park 
184*54fd6939SJiyong Park 		/* Skip INVALID_IMAGE_IDs and don't check image against itself */
185*54fd6939SJiyong Park 		if ((bl1_fwu_loaded_ids[i] == INVALID_IMAGE_ID) ||
186*54fd6939SJiyong Park 				(bl1_fwu_loaded_ids[i] == image_id))
187*54fd6939SJiyong Park 			continue;
188*54fd6939SJiyong Park 
189*54fd6939SJiyong Park 		desc = bl1_plat_get_image_desc(bl1_fwu_loaded_ids[i]);
190*54fd6939SJiyong Park 
191*54fd6939SJiyong Park 		/* Only check images that are loaded or being loaded. */
192*54fd6939SJiyong Park 		assert ((desc != NULL) && (desc->state != IMAGE_STATE_RESET));
193*54fd6939SJiyong Park 
194*54fd6939SJiyong Park 		info = &desc->image_info;
195*54fd6939SJiyong Park 
196*54fd6939SJiyong Park 		/* There cannot be overlaps with an empty image. */
197*54fd6939SJiyong Park 		if (info->image_size == 0)
198*54fd6939SJiyong Park 			continue;
199*54fd6939SJiyong Park 
200*54fd6939SJiyong Park 		image_base = info->image_base;
201*54fd6939SJiyong Park 		image_end = image_base + info->image_size - 1;
202*54fd6939SJiyong Park 		/*
203*54fd6939SJiyong Park 		 * Overflows cannot happen. It is checked in
204*54fd6939SJiyong Park 		 * bl1_fwu_image_copy() when the image goes from RESET to
205*54fd6939SJiyong Park 		 * COPYING or COPIED.
206*54fd6939SJiyong Park 		 */
207*54fd6939SJiyong Park 		assert (image_end > image_base);
208*54fd6939SJiyong Park 
209*54fd6939SJiyong Park 		/* Check if there are overlaps. */
210*54fd6939SJiyong Park 		if (!((image_end < checked_image_base) ||
211*54fd6939SJiyong Park 		    (checked_image_end < image_base))) {
212*54fd6939SJiyong Park 			VERBOSE("Image with ID %d overlaps existing image with ID %d",
213*54fd6939SJiyong Park 				checked_desc->image_id, desc->image_id);
214*54fd6939SJiyong Park 			return -EPERM;
215*54fd6939SJiyong Park 		}
216*54fd6939SJiyong Park 	}
217*54fd6939SJiyong Park 
218*54fd6939SJiyong Park 	return 0;
219*54fd6939SJiyong Park }
220*54fd6939SJiyong Park 
221*54fd6939SJiyong Park /*******************************************************************************
222*54fd6939SJiyong Park  * This function is responsible for copying secure images in AP Secure RAM.
223*54fd6939SJiyong Park  ******************************************************************************/
bl1_fwu_image_copy(unsigned int image_id,uintptr_t image_src,unsigned int block_size,unsigned int image_size,unsigned int flags)224*54fd6939SJiyong Park static int bl1_fwu_image_copy(unsigned int image_id,
225*54fd6939SJiyong Park 			uintptr_t image_src,
226*54fd6939SJiyong Park 			unsigned int block_size,
227*54fd6939SJiyong Park 			unsigned int image_size,
228*54fd6939SJiyong Park 			unsigned int flags)
229*54fd6939SJiyong Park {
230*54fd6939SJiyong Park 	uintptr_t dest_addr;
231*54fd6939SJiyong Park 	unsigned int remaining;
232*54fd6939SJiyong Park 	image_desc_t *desc;
233*54fd6939SJiyong Park 
234*54fd6939SJiyong Park 	/* Get the image descriptor. */
235*54fd6939SJiyong Park 	desc = bl1_plat_get_image_desc(image_id);
236*54fd6939SJiyong Park 	if (desc == NULL) {
237*54fd6939SJiyong Park 		WARN("BL1-FWU: Invalid image ID %u\n", image_id);
238*54fd6939SJiyong Park 		return -EPERM;
239*54fd6939SJiyong Park 	}
240*54fd6939SJiyong Park 
241*54fd6939SJiyong Park 	/*
242*54fd6939SJiyong Park 	 * The request must originate from a non-secure caller and target a
243*54fd6939SJiyong Park 	 * secure image. Any other scenario is invalid.
244*54fd6939SJiyong Park 	 */
245*54fd6939SJiyong Park 	if (GET_SECURITY_STATE(flags) == SECURE) {
246*54fd6939SJiyong Park 		WARN("BL1-FWU: Copy not allowed from secure world.\n");
247*54fd6939SJiyong Park 		return -EPERM;
248*54fd6939SJiyong Park 	}
249*54fd6939SJiyong Park 	if (GET_SECURITY_STATE(desc->ep_info.h.attr) == NON_SECURE) {
250*54fd6939SJiyong Park 		WARN("BL1-FWU: Copy not allowed for non-secure images.\n");
251*54fd6939SJiyong Park 		return -EPERM;
252*54fd6939SJiyong Park 	}
253*54fd6939SJiyong Park 
254*54fd6939SJiyong Park 	/* Check whether the FWU state machine is in the correct state. */
255*54fd6939SJiyong Park 	if ((desc->state != IMAGE_STATE_RESET) &&
256*54fd6939SJiyong Park 	    (desc->state != IMAGE_STATE_COPYING)) {
257*54fd6939SJiyong Park 		WARN("BL1-FWU: Copy not allowed at this point of the FWU"
258*54fd6939SJiyong Park 			" process.\n");
259*54fd6939SJiyong Park 		return -EPERM;
260*54fd6939SJiyong Park 	}
261*54fd6939SJiyong Park 
262*54fd6939SJiyong Park 	if ((image_src == 0U) || (block_size == 0U) ||
263*54fd6939SJiyong Park 	    check_uptr_overflow(image_src, block_size - 1)) {
264*54fd6939SJiyong Park 		WARN("BL1-FWU: Copy not allowed due to invalid image source"
265*54fd6939SJiyong Park 			" or block size\n");
266*54fd6939SJiyong Park 		return -ENOMEM;
267*54fd6939SJiyong Park 	}
268*54fd6939SJiyong Park 
269*54fd6939SJiyong Park 	if (desc->state == IMAGE_STATE_COPYING) {
270*54fd6939SJiyong Park 		/*
271*54fd6939SJiyong Park 		 * There must have been at least 1 copy operation for this image
272*54fd6939SJiyong Park 		 * previously.
273*54fd6939SJiyong Park 		 */
274*54fd6939SJiyong Park 		assert(desc->copied_size != 0U);
275*54fd6939SJiyong Park 		/*
276*54fd6939SJiyong Park 		 * The image size must have been recorded in the 1st copy
277*54fd6939SJiyong Park 		 * operation.
278*54fd6939SJiyong Park 		 */
279*54fd6939SJiyong Park 		image_size = desc->image_info.image_size;
280*54fd6939SJiyong Park 		assert(image_size != 0);
281*54fd6939SJiyong Park 		assert(desc->copied_size < image_size);
282*54fd6939SJiyong Park 
283*54fd6939SJiyong Park 		INFO("BL1-FWU: Continuing image copy in blocks\n");
284*54fd6939SJiyong Park 	} else { /* desc->state == IMAGE_STATE_RESET */
285*54fd6939SJiyong Park 		INFO("BL1-FWU: Initial call to copy an image\n");
286*54fd6939SJiyong Park 
287*54fd6939SJiyong Park 		/*
288*54fd6939SJiyong Park 		 * image_size is relevant only for the 1st copy request, it is
289*54fd6939SJiyong Park 		 * then ignored for subsequent calls for this image.
290*54fd6939SJiyong Park 		 */
291*54fd6939SJiyong Park 		if (image_size == 0) {
292*54fd6939SJiyong Park 			WARN("BL1-FWU: Copy not allowed due to invalid image"
293*54fd6939SJiyong Park 				" size\n");
294*54fd6939SJiyong Park 			return -ENOMEM;
295*54fd6939SJiyong Park 		}
296*54fd6939SJiyong Park 
297*54fd6939SJiyong Park 		/* Check that the image size to load is within limit */
298*54fd6939SJiyong Park 		if (image_size > desc->image_info.image_max_size) {
299*54fd6939SJiyong Park 			WARN("BL1-FWU: Image size out of bounds\n");
300*54fd6939SJiyong Park 			return -ENOMEM;
301*54fd6939SJiyong Park 		}
302*54fd6939SJiyong Park 
303*54fd6939SJiyong Park 		/* Save the given image size. */
304*54fd6939SJiyong Park 		desc->image_info.image_size = image_size;
305*54fd6939SJiyong Park 
306*54fd6939SJiyong Park 		/* Make sure the image doesn't overlap other images. */
307*54fd6939SJiyong Park 		if (bl1_fwu_image_check_overlaps(image_id) != 0) {
308*54fd6939SJiyong Park 			desc->image_info.image_size = 0;
309*54fd6939SJiyong Park 			WARN("BL1-FWU: This image overlaps another one\n");
310*54fd6939SJiyong Park 			return -EPERM;
311*54fd6939SJiyong Park 		}
312*54fd6939SJiyong Park 
313*54fd6939SJiyong Park 		/*
314*54fd6939SJiyong Park 		 * copied_size must be explicitly initialized here because the
315*54fd6939SJiyong Park 		 * FWU code doesn't necessarily do it when it resets the state
316*54fd6939SJiyong Park 		 * machine.
317*54fd6939SJiyong Park 		 */
318*54fd6939SJiyong Park 		desc->copied_size = 0;
319*54fd6939SJiyong Park 	}
320*54fd6939SJiyong Park 
321*54fd6939SJiyong Park 	/*
322*54fd6939SJiyong Park 	 * If the given block size is more than the total image size
323*54fd6939SJiyong Park 	 * then clip the former to the latter.
324*54fd6939SJiyong Park 	 */
325*54fd6939SJiyong Park 	remaining = image_size - desc->copied_size;
326*54fd6939SJiyong Park 	if (block_size > remaining) {
327*54fd6939SJiyong Park 		WARN("BL1-FWU: Block size is too big, clipping it.\n");
328*54fd6939SJiyong Park 		block_size = remaining;
329*54fd6939SJiyong Park 	}
330*54fd6939SJiyong Park 
331*54fd6939SJiyong Park 	/* Make sure the source image is mapped in memory. */
332*54fd6939SJiyong Park 	if (bl1_plat_mem_check(image_src, block_size, flags) != 0) {
333*54fd6939SJiyong Park 		WARN("BL1-FWU: Source image is not mapped.\n");
334*54fd6939SJiyong Park 		return -ENOMEM;
335*54fd6939SJiyong Park 	}
336*54fd6939SJiyong Park 
337*54fd6939SJiyong Park 	if (bl1_fwu_add_loaded_id(image_id) != 0) {
338*54fd6939SJiyong Park 		WARN("BL1-FWU: Too many images loaded at the same time.\n");
339*54fd6939SJiyong Park 		return -ENOMEM;
340*54fd6939SJiyong Park 	}
341*54fd6939SJiyong Park 
342*54fd6939SJiyong Park 	/* Allow the platform to handle pre-image load before copying */
343*54fd6939SJiyong Park 	if (desc->state == IMAGE_STATE_RESET) {
344*54fd6939SJiyong Park 		if (bl1_plat_handle_pre_image_load(image_id) != 0) {
345*54fd6939SJiyong Park 			ERROR("BL1-FWU: Failure in pre-image load of image id %d\n",
346*54fd6939SJiyong Park 					image_id);
347*54fd6939SJiyong Park 			return -EPERM;
348*54fd6939SJiyong Park 		}
349*54fd6939SJiyong Park 	}
350*54fd6939SJiyong Park 
351*54fd6939SJiyong Park 	/* Everything looks sane. Go ahead and copy the block of data. */
352*54fd6939SJiyong Park 	dest_addr = desc->image_info.image_base + desc->copied_size;
353*54fd6939SJiyong Park 	(void)memcpy((void *) dest_addr, (const void *) image_src, block_size);
354*54fd6939SJiyong Park 	flush_dcache_range(dest_addr, block_size);
355*54fd6939SJiyong Park 
356*54fd6939SJiyong Park 	desc->copied_size += block_size;
357*54fd6939SJiyong Park 	desc->state = (block_size == remaining) ?
358*54fd6939SJiyong Park 		IMAGE_STATE_COPIED : IMAGE_STATE_COPYING;
359*54fd6939SJiyong Park 
360*54fd6939SJiyong Park 	INFO("BL1-FWU: Copy operation successful.\n");
361*54fd6939SJiyong Park 	return 0;
362*54fd6939SJiyong Park }
363*54fd6939SJiyong Park 
364*54fd6939SJiyong Park /*******************************************************************************
365*54fd6939SJiyong Park  * This function is responsible for authenticating Normal/Secure images.
366*54fd6939SJiyong Park  ******************************************************************************/
bl1_fwu_image_auth(unsigned int image_id,uintptr_t image_src,unsigned int image_size,unsigned int flags)367*54fd6939SJiyong Park static int bl1_fwu_image_auth(unsigned int image_id,
368*54fd6939SJiyong Park 			uintptr_t image_src,
369*54fd6939SJiyong Park 			unsigned int image_size,
370*54fd6939SJiyong Park 			unsigned int flags)
371*54fd6939SJiyong Park {
372*54fd6939SJiyong Park 	int result;
373*54fd6939SJiyong Park 	uintptr_t base_addr;
374*54fd6939SJiyong Park 	unsigned int total_size;
375*54fd6939SJiyong Park 	image_desc_t *desc;
376*54fd6939SJiyong Park 
377*54fd6939SJiyong Park 	/* Get the image descriptor. */
378*54fd6939SJiyong Park 	desc = bl1_plat_get_image_desc(image_id);
379*54fd6939SJiyong Park 	if (desc ==  NULL)
380*54fd6939SJiyong Park 		return -EPERM;
381*54fd6939SJiyong Park 
382*54fd6939SJiyong Park 	if (GET_SECURITY_STATE(flags) == SECURE) {
383*54fd6939SJiyong Park 		if (desc->state != IMAGE_STATE_RESET) {
384*54fd6939SJiyong Park 			WARN("BL1-FWU: Authentication from secure world "
385*54fd6939SJiyong Park 				"while in invalid state\n");
386*54fd6939SJiyong Park 			return -EPERM;
387*54fd6939SJiyong Park 		}
388*54fd6939SJiyong Park 	} else {
389*54fd6939SJiyong Park 		if (GET_SECURITY_STATE(desc->ep_info.h.attr) == SECURE) {
390*54fd6939SJiyong Park 			if (desc->state != IMAGE_STATE_COPIED) {
391*54fd6939SJiyong Park 				WARN("BL1-FWU: Authentication of secure image "
392*54fd6939SJiyong Park 					"from non-secure world while not in copied state\n");
393*54fd6939SJiyong Park 				return -EPERM;
394*54fd6939SJiyong Park 			}
395*54fd6939SJiyong Park 		} else {
396*54fd6939SJiyong Park 			if (desc->state != IMAGE_STATE_RESET) {
397*54fd6939SJiyong Park 				WARN("BL1-FWU: Authentication of non-secure image "
398*54fd6939SJiyong Park 					"from non-secure world while in invalid state\n");
399*54fd6939SJiyong Park 				return -EPERM;
400*54fd6939SJiyong Park 			}
401*54fd6939SJiyong Park 		}
402*54fd6939SJiyong Park 	}
403*54fd6939SJiyong Park 
404*54fd6939SJiyong Park 	if (desc->state == IMAGE_STATE_COPIED) {
405*54fd6939SJiyong Park 		/*
406*54fd6939SJiyong Park 		 * Image is in COPIED state.
407*54fd6939SJiyong Park 		 * Use the stored address and size.
408*54fd6939SJiyong Park 		 */
409*54fd6939SJiyong Park 		base_addr = desc->image_info.image_base;
410*54fd6939SJiyong Park 		total_size = desc->image_info.image_size;
411*54fd6939SJiyong Park 	} else {
412*54fd6939SJiyong Park 		if ((image_src == 0U) || (image_size == 0U) ||
413*54fd6939SJiyong Park 		    check_uptr_overflow(image_src, image_size - 1)) {
414*54fd6939SJiyong Park 			WARN("BL1-FWU: Auth not allowed due to invalid"
415*54fd6939SJiyong Park 				" image source/size\n");
416*54fd6939SJiyong Park 			return -ENOMEM;
417*54fd6939SJiyong Park 		}
418*54fd6939SJiyong Park 
419*54fd6939SJiyong Park 		/*
420*54fd6939SJiyong Park 		 * Image is in RESET state.
421*54fd6939SJiyong Park 		 * Check the parameters and authenticate the source image in place.
422*54fd6939SJiyong Park 		 */
423*54fd6939SJiyong Park 		if (bl1_plat_mem_check(image_src, image_size,	\
424*54fd6939SJiyong Park 					desc->ep_info.h.attr) != 0) {
425*54fd6939SJiyong Park 			WARN("BL1-FWU: Authentication arguments source/size not mapped\n");
426*54fd6939SJiyong Park 			return -ENOMEM;
427*54fd6939SJiyong Park 		}
428*54fd6939SJiyong Park 
429*54fd6939SJiyong Park 		if (bl1_fwu_add_loaded_id(image_id) != 0) {
430*54fd6939SJiyong Park 			WARN("BL1-FWU: Too many images loaded at the same time.\n");
431*54fd6939SJiyong Park 			return -ENOMEM;
432*54fd6939SJiyong Park 		}
433*54fd6939SJiyong Park 
434*54fd6939SJiyong Park 		base_addr = image_src;
435*54fd6939SJiyong Park 		total_size = image_size;
436*54fd6939SJiyong Park 
437*54fd6939SJiyong Park 		/* Update the image size in the descriptor. */
438*54fd6939SJiyong Park 		desc->image_info.image_size = total_size;
439*54fd6939SJiyong Park 	}
440*54fd6939SJiyong Park 
441*54fd6939SJiyong Park 	/*
442*54fd6939SJiyong Park 	 * Authenticate the image.
443*54fd6939SJiyong Park 	 */
444*54fd6939SJiyong Park 	INFO("BL1-FWU: Authenticating image_id:%d\n", image_id);
445*54fd6939SJiyong Park 	result = auth_mod_verify_img(image_id, (void *)base_addr, total_size);
446*54fd6939SJiyong Park 	if (result != 0) {
447*54fd6939SJiyong Park 		WARN("BL1-FWU: Authentication Failed err=%d\n", result);
448*54fd6939SJiyong Park 
449*54fd6939SJiyong Park 		/*
450*54fd6939SJiyong Park 		 * Authentication has failed.
451*54fd6939SJiyong Park 		 * Clear the memory if the image was copied.
452*54fd6939SJiyong Park 		 * This is to prevent an attack where this contains
453*54fd6939SJiyong Park 		 * some malicious code that can somehow be executed later.
454*54fd6939SJiyong Park 		 */
455*54fd6939SJiyong Park 		if (desc->state == IMAGE_STATE_COPIED) {
456*54fd6939SJiyong Park 			/* Clear the memory.*/
457*54fd6939SJiyong Park 			zero_normalmem((void *)base_addr, total_size);
458*54fd6939SJiyong Park 			flush_dcache_range(base_addr, total_size);
459*54fd6939SJiyong Park 
460*54fd6939SJiyong Park 			/* Indicate that image can be copied again*/
461*54fd6939SJiyong Park 			desc->state = IMAGE_STATE_RESET;
462*54fd6939SJiyong Park 		}
463*54fd6939SJiyong Park 
464*54fd6939SJiyong Park 		/*
465*54fd6939SJiyong Park 		 * Even if this fails it's ok because the ID isn't in the array.
466*54fd6939SJiyong Park 		 * The image cannot be in RESET state here, it is checked at the
467*54fd6939SJiyong Park 		 * beginning of the function.
468*54fd6939SJiyong Park 		 */
469*54fd6939SJiyong Park 		(void)bl1_fwu_remove_loaded_id(image_id);
470*54fd6939SJiyong Park 		return -EAUTH;
471*54fd6939SJiyong Park 	}
472*54fd6939SJiyong Park 
473*54fd6939SJiyong Park 	/* Indicate that image is in authenticated state. */
474*54fd6939SJiyong Park 	desc->state = IMAGE_STATE_AUTHENTICATED;
475*54fd6939SJiyong Park 
476*54fd6939SJiyong Park 	/* Allow the platform to handle post-image load */
477*54fd6939SJiyong Park 	result = bl1_plat_handle_post_image_load(image_id);
478*54fd6939SJiyong Park 	if (result != 0) {
479*54fd6939SJiyong Park 		ERROR("BL1-FWU: Failure %d in post-image load of image id %d\n",
480*54fd6939SJiyong Park 				result, image_id);
481*54fd6939SJiyong Park 		/*
482*54fd6939SJiyong Park 		 * Panic here as the platform handling of post-image load is
483*54fd6939SJiyong Park 		 * not correct.
484*54fd6939SJiyong Park 		 */
485*54fd6939SJiyong Park 		plat_error_handler(result);
486*54fd6939SJiyong Park 	}
487*54fd6939SJiyong Park 
488*54fd6939SJiyong Park 	/*
489*54fd6939SJiyong Park 	 * Flush image_info to memory so that other
490*54fd6939SJiyong Park 	 * secure world images can see changes.
491*54fd6939SJiyong Park 	 */
492*54fd6939SJiyong Park 	flush_dcache_range((uintptr_t)&desc->image_info,
493*54fd6939SJiyong Park 		sizeof(image_info_t));
494*54fd6939SJiyong Park 
495*54fd6939SJiyong Park 	INFO("BL1-FWU: Authentication was successful\n");
496*54fd6939SJiyong Park 
497*54fd6939SJiyong Park 	return 0;
498*54fd6939SJiyong Park }
499*54fd6939SJiyong Park 
500*54fd6939SJiyong Park /*******************************************************************************
501*54fd6939SJiyong Park  * This function is responsible for executing Secure images.
502*54fd6939SJiyong Park  ******************************************************************************/
bl1_fwu_image_execute(unsigned int image_id,void ** handle,unsigned int flags)503*54fd6939SJiyong Park static int bl1_fwu_image_execute(unsigned int image_id,
504*54fd6939SJiyong Park 			void **handle,
505*54fd6939SJiyong Park 			unsigned int flags)
506*54fd6939SJiyong Park {
507*54fd6939SJiyong Park 	/* Get the image descriptor. */
508*54fd6939SJiyong Park 	image_desc_t *desc = bl1_plat_get_image_desc(image_id);
509*54fd6939SJiyong Park 
510*54fd6939SJiyong Park 	/*
511*54fd6939SJiyong Park 	 * Execution is NOT allowed if:
512*54fd6939SJiyong Park 	 * image_id is invalid OR
513*54fd6939SJiyong Park 	 * Caller is from Secure world OR
514*54fd6939SJiyong Park 	 * Image is Non-Secure OR
515*54fd6939SJiyong Park 	 * Image is Non-Executable OR
516*54fd6939SJiyong Park 	 * Image is NOT in AUTHENTICATED state.
517*54fd6939SJiyong Park 	 */
518*54fd6939SJiyong Park 	if ((desc == NULL) ||
519*54fd6939SJiyong Park 	    (GET_SECURITY_STATE(flags) == SECURE) ||
520*54fd6939SJiyong Park 	    (GET_SECURITY_STATE(desc->ep_info.h.attr) == NON_SECURE) ||
521*54fd6939SJiyong Park 	    (EP_GET_EXE(desc->ep_info.h.attr) == NON_EXECUTABLE) ||
522*54fd6939SJiyong Park 	    (desc->state != IMAGE_STATE_AUTHENTICATED)) {
523*54fd6939SJiyong Park 		WARN("BL1-FWU: Execution not allowed due to invalid state/args\n");
524*54fd6939SJiyong Park 		return -EPERM;
525*54fd6939SJiyong Park 	}
526*54fd6939SJiyong Park 
527*54fd6939SJiyong Park 	INFO("BL1-FWU: Executing Secure image\n");
528*54fd6939SJiyong Park 
529*54fd6939SJiyong Park #ifdef __aarch64__
530*54fd6939SJiyong Park 	/* Save NS-EL1 system registers. */
531*54fd6939SJiyong Park 	cm_el1_sysregs_context_save(NON_SECURE);
532*54fd6939SJiyong Park #endif
533*54fd6939SJiyong Park 
534*54fd6939SJiyong Park 	/* Prepare the image for execution. */
535*54fd6939SJiyong Park 	bl1_prepare_next_image(image_id);
536*54fd6939SJiyong Park 
537*54fd6939SJiyong Park 	/* Update the secure image id. */
538*54fd6939SJiyong Park 	sec_exec_image_id = image_id;
539*54fd6939SJiyong Park 
540*54fd6939SJiyong Park #ifdef __aarch64__
541*54fd6939SJiyong Park 	*handle = cm_get_context(SECURE);
542*54fd6939SJiyong Park #else
543*54fd6939SJiyong Park 	*handle = smc_get_ctx(SECURE);
544*54fd6939SJiyong Park #endif
545*54fd6939SJiyong Park 	return 0;
546*54fd6939SJiyong Park }
547*54fd6939SJiyong Park 
548*54fd6939SJiyong Park /*******************************************************************************
549*54fd6939SJiyong Park  * This function is responsible for resuming execution in the other security
550*54fd6939SJiyong Park  * world
551*54fd6939SJiyong Park  ******************************************************************************/
bl1_fwu_image_resume(register_t image_param,void ** handle,unsigned int flags)552*54fd6939SJiyong Park static register_t bl1_fwu_image_resume(register_t image_param,
553*54fd6939SJiyong Park 			void **handle,
554*54fd6939SJiyong Park 			unsigned int flags)
555*54fd6939SJiyong Park {
556*54fd6939SJiyong Park 	image_desc_t *desc;
557*54fd6939SJiyong Park 	unsigned int resume_sec_state;
558*54fd6939SJiyong Park 	unsigned int caller_sec_state = GET_SECURITY_STATE(flags);
559*54fd6939SJiyong Park 
560*54fd6939SJiyong Park 	/* Get the image descriptor for last executed secure image id. */
561*54fd6939SJiyong Park 	desc = bl1_plat_get_image_desc(sec_exec_image_id);
562*54fd6939SJiyong Park 	if (caller_sec_state == NON_SECURE) {
563*54fd6939SJiyong Park 		if (desc == NULL) {
564*54fd6939SJiyong Park 			WARN("BL1-FWU: Resume not allowed due to no available"
565*54fd6939SJiyong Park 				"secure image\n");
566*54fd6939SJiyong Park 			return -EPERM;
567*54fd6939SJiyong Park 		}
568*54fd6939SJiyong Park 	} else {
569*54fd6939SJiyong Park 		/* desc must be valid for secure world callers */
570*54fd6939SJiyong Park 		assert(desc != NULL);
571*54fd6939SJiyong Park 	}
572*54fd6939SJiyong Park 
573*54fd6939SJiyong Park 	assert(GET_SECURITY_STATE(desc->ep_info.h.attr) == SECURE);
574*54fd6939SJiyong Park 	assert(EP_GET_EXE(desc->ep_info.h.attr) == EXECUTABLE);
575*54fd6939SJiyong Park 
576*54fd6939SJiyong Park 	if (caller_sec_state == SECURE) {
577*54fd6939SJiyong Park 		assert(desc->state == IMAGE_STATE_EXECUTED);
578*54fd6939SJiyong Park 
579*54fd6939SJiyong Park 		/* Update the flags. */
580*54fd6939SJiyong Park 		desc->state = IMAGE_STATE_INTERRUPTED;
581*54fd6939SJiyong Park 		resume_sec_state = NON_SECURE;
582*54fd6939SJiyong Park 	} else {
583*54fd6939SJiyong Park 		assert(desc->state == IMAGE_STATE_INTERRUPTED);
584*54fd6939SJiyong Park 
585*54fd6939SJiyong Park 		/* Update the flags. */
586*54fd6939SJiyong Park 		desc->state = IMAGE_STATE_EXECUTED;
587*54fd6939SJiyong Park 		resume_sec_state = SECURE;
588*54fd6939SJiyong Park 	}
589*54fd6939SJiyong Park 
590*54fd6939SJiyong Park 	INFO("BL1-FWU: Resuming %s world context\n",
591*54fd6939SJiyong Park 		(resume_sec_state == SECURE) ? "secure" : "normal");
592*54fd6939SJiyong Park 
593*54fd6939SJiyong Park #ifdef __aarch64__
594*54fd6939SJiyong Park 	/* Save the EL1 system registers of calling world. */
595*54fd6939SJiyong Park 	cm_el1_sysregs_context_save(caller_sec_state);
596*54fd6939SJiyong Park 
597*54fd6939SJiyong Park 	/* Restore the EL1 system registers of resuming world. */
598*54fd6939SJiyong Park 	cm_el1_sysregs_context_restore(resume_sec_state);
599*54fd6939SJiyong Park 
600*54fd6939SJiyong Park 	/* Update the next context. */
601*54fd6939SJiyong Park 	cm_set_next_eret_context(resume_sec_state);
602*54fd6939SJiyong Park 
603*54fd6939SJiyong Park 	*handle = cm_get_context(resume_sec_state);
604*54fd6939SJiyong Park #else
605*54fd6939SJiyong Park 	/* Update the next context. */
606*54fd6939SJiyong Park 	cm_set_next_context(cm_get_context(resume_sec_state));
607*54fd6939SJiyong Park 
608*54fd6939SJiyong Park 	/* Prepare the smc context for the next BL image. */
609*54fd6939SJiyong Park 	smc_set_next_ctx(resume_sec_state);
610*54fd6939SJiyong Park 
611*54fd6939SJiyong Park 	*handle = smc_get_ctx(resume_sec_state);
612*54fd6939SJiyong Park #endif
613*54fd6939SJiyong Park 	return image_param;
614*54fd6939SJiyong Park }
615*54fd6939SJiyong Park 
616*54fd6939SJiyong Park /*******************************************************************************
617*54fd6939SJiyong Park  * This function is responsible for resuming normal world context.
618*54fd6939SJiyong Park  ******************************************************************************/
bl1_fwu_sec_image_done(void ** handle,unsigned int flags)619*54fd6939SJiyong Park static int bl1_fwu_sec_image_done(void **handle, unsigned int flags)
620*54fd6939SJiyong Park {
621*54fd6939SJiyong Park 	image_desc_t *desc;
622*54fd6939SJiyong Park 
623*54fd6939SJiyong Park 	/* Make sure caller is from the secure world */
624*54fd6939SJiyong Park 	if (GET_SECURITY_STATE(flags) == NON_SECURE) {
625*54fd6939SJiyong Park 		WARN("BL1-FWU: Image done not allowed from normal world\n");
626*54fd6939SJiyong Park 		return -EPERM;
627*54fd6939SJiyong Park 	}
628*54fd6939SJiyong Park 
629*54fd6939SJiyong Park 	/* Get the image descriptor for last executed secure image id */
630*54fd6939SJiyong Park 	desc = bl1_plat_get_image_desc(sec_exec_image_id);
631*54fd6939SJiyong Park 
632*54fd6939SJiyong Park 	/* desc must correspond to a valid secure executing image */
633*54fd6939SJiyong Park 	assert(desc != NULL);
634*54fd6939SJiyong Park 	assert(GET_SECURITY_STATE(desc->ep_info.h.attr) == SECURE);
635*54fd6939SJiyong Park 	assert(EP_GET_EXE(desc->ep_info.h.attr) == EXECUTABLE);
636*54fd6939SJiyong Park 	assert(desc->state == IMAGE_STATE_EXECUTED);
637*54fd6939SJiyong Park 
638*54fd6939SJiyong Park #if ENABLE_ASSERTIONS
639*54fd6939SJiyong Park 	int rc = bl1_fwu_remove_loaded_id(sec_exec_image_id);
640*54fd6939SJiyong Park 	assert(rc == 0);
641*54fd6939SJiyong Park #else
642*54fd6939SJiyong Park 	bl1_fwu_remove_loaded_id(sec_exec_image_id);
643*54fd6939SJiyong Park #endif
644*54fd6939SJiyong Park 
645*54fd6939SJiyong Park 	/* Update the flags. */
646*54fd6939SJiyong Park 	desc->state = IMAGE_STATE_RESET;
647*54fd6939SJiyong Park 	sec_exec_image_id = INVALID_IMAGE_ID;
648*54fd6939SJiyong Park 
649*54fd6939SJiyong Park 	INFO("BL1-FWU: Resuming Normal world context\n");
650*54fd6939SJiyong Park #ifdef __aarch64__
651*54fd6939SJiyong Park 	/*
652*54fd6939SJiyong Park 	 * Secure world is done so no need to save the context.
653*54fd6939SJiyong Park 	 * Just restore the Non-Secure context.
654*54fd6939SJiyong Park 	 */
655*54fd6939SJiyong Park 	cm_el1_sysregs_context_restore(NON_SECURE);
656*54fd6939SJiyong Park 
657*54fd6939SJiyong Park 	/* Update the next context. */
658*54fd6939SJiyong Park 	cm_set_next_eret_context(NON_SECURE);
659*54fd6939SJiyong Park 
660*54fd6939SJiyong Park 	*handle = cm_get_context(NON_SECURE);
661*54fd6939SJiyong Park #else
662*54fd6939SJiyong Park 	/* Update the next context. */
663*54fd6939SJiyong Park 	cm_set_next_context(cm_get_context(NON_SECURE));
664*54fd6939SJiyong Park 
665*54fd6939SJiyong Park 	/* Prepare the smc context for the next BL image. */
666*54fd6939SJiyong Park 	smc_set_next_ctx(NON_SECURE);
667*54fd6939SJiyong Park 
668*54fd6939SJiyong Park 	*handle = smc_get_ctx(NON_SECURE);
669*54fd6939SJiyong Park #endif
670*54fd6939SJiyong Park 	return 0;
671*54fd6939SJiyong Park }
672*54fd6939SJiyong Park 
673*54fd6939SJiyong Park /*******************************************************************************
674*54fd6939SJiyong Park  * This function provides the opportunity for users to perform any
675*54fd6939SJiyong Park  * platform specific handling after the Firmware update is done.
676*54fd6939SJiyong Park  ******************************************************************************/
bl1_fwu_done(void * client_cookie,void * reserved)677*54fd6939SJiyong Park __dead2 static void bl1_fwu_done(void *client_cookie, void *reserved)
678*54fd6939SJiyong Park {
679*54fd6939SJiyong Park 	NOTICE("BL1-FWU: *******FWU Process Completed*******\n");
680*54fd6939SJiyong Park 
681*54fd6939SJiyong Park 	/*
682*54fd6939SJiyong Park 	 * Call platform done function.
683*54fd6939SJiyong Park 	 */
684*54fd6939SJiyong Park 	bl1_plat_fwu_done(client_cookie, reserved);
685*54fd6939SJiyong Park 	assert(false);
686*54fd6939SJiyong Park }
687*54fd6939SJiyong Park 
688*54fd6939SJiyong Park /*******************************************************************************
689*54fd6939SJiyong Park  * This function resets an image to IMAGE_STATE_RESET. It fails if the image is
690*54fd6939SJiyong Park  * being executed.
691*54fd6939SJiyong Park  ******************************************************************************/
bl1_fwu_image_reset(unsigned int image_id,unsigned int flags)692*54fd6939SJiyong Park static int bl1_fwu_image_reset(unsigned int image_id, unsigned int flags)
693*54fd6939SJiyong Park {
694*54fd6939SJiyong Park 	image_desc_t *desc = bl1_plat_get_image_desc(image_id);
695*54fd6939SJiyong Park 
696*54fd6939SJiyong Park 	if ((desc == NULL) || (GET_SECURITY_STATE(flags) == SECURE)) {
697*54fd6939SJiyong Park 		WARN("BL1-FWU: Reset not allowed due to invalid args\n");
698*54fd6939SJiyong Park 		return -EPERM;
699*54fd6939SJiyong Park 	}
700*54fd6939SJiyong Park 
701*54fd6939SJiyong Park 	switch (desc->state) {
702*54fd6939SJiyong Park 
703*54fd6939SJiyong Park 	case IMAGE_STATE_RESET:
704*54fd6939SJiyong Park 		/* Nothing to do. */
705*54fd6939SJiyong Park 		break;
706*54fd6939SJiyong Park 
707*54fd6939SJiyong Park 	case IMAGE_STATE_INTERRUPTED:
708*54fd6939SJiyong Park 	case IMAGE_STATE_AUTHENTICATED:
709*54fd6939SJiyong Park 	case IMAGE_STATE_COPIED:
710*54fd6939SJiyong Park 	case IMAGE_STATE_COPYING:
711*54fd6939SJiyong Park 
712*54fd6939SJiyong Park 		if (bl1_fwu_remove_loaded_id(image_id) != 0) {
713*54fd6939SJiyong Park 			WARN("BL1-FWU: Image reset couldn't find the image ID\n");
714*54fd6939SJiyong Park 			return -EPERM;
715*54fd6939SJiyong Park 		}
716*54fd6939SJiyong Park 
717*54fd6939SJiyong Park 		if (desc->copied_size != 0U) {
718*54fd6939SJiyong Park 			/* Clear the memory if the image is copied */
719*54fd6939SJiyong Park 			assert(GET_SECURITY_STATE(desc->ep_info.h.attr)
720*54fd6939SJiyong Park 				== SECURE);
721*54fd6939SJiyong Park 
722*54fd6939SJiyong Park 			zero_normalmem((void *)desc->image_info.image_base,
723*54fd6939SJiyong Park 					desc->copied_size);
724*54fd6939SJiyong Park 			flush_dcache_range(desc->image_info.image_base,
725*54fd6939SJiyong Park 					desc->copied_size);
726*54fd6939SJiyong Park 		}
727*54fd6939SJiyong Park 
728*54fd6939SJiyong Park 		/* Reset status variables */
729*54fd6939SJiyong Park 		desc->copied_size = 0;
730*54fd6939SJiyong Park 		desc->image_info.image_size = 0;
731*54fd6939SJiyong Park 		desc->state = IMAGE_STATE_RESET;
732*54fd6939SJiyong Park 
733*54fd6939SJiyong Park 		/* Clear authentication state */
734*54fd6939SJiyong Park 		auth_img_flags[image_id] = 0;
735*54fd6939SJiyong Park 
736*54fd6939SJiyong Park 		break;
737*54fd6939SJiyong Park 
738*54fd6939SJiyong Park 	case IMAGE_STATE_EXECUTED:
739*54fd6939SJiyong Park 	default:
740*54fd6939SJiyong Park 		assert(false); /* Unreachable */
741*54fd6939SJiyong Park 		break;
742*54fd6939SJiyong Park 	}
743*54fd6939SJiyong Park 
744*54fd6939SJiyong Park 	return 0;
745*54fd6939SJiyong Park }
746