148bfb88eSYatharth Kochar /* 2308d359bSDouglas Raillard * Copyright (c) 2015-2017, ARM Limited and Contributors. All rights reserved. 348bfb88eSYatharth Kochar * 482cb2c1aSdp-arm * SPDX-License-Identifier: BSD-3-Clause 548bfb88eSYatharth Kochar */ 648bfb88eSYatharth Kochar 748bfb88eSYatharth Kochar #include <arch_helpers.h> 8*2a4b4b71SIsla Mitchell #include <assert.h> 948bfb88eSYatharth Kochar #include <auth_mod.h> 1048bfb88eSYatharth Kochar #include <bl1.h> 1148bfb88eSYatharth Kochar #include <bl_common.h> 1248bfb88eSYatharth Kochar #include <context.h> 1348bfb88eSYatharth Kochar #include <context_mgmt.h> 1448bfb88eSYatharth Kochar #include <debug.h> 1548bfb88eSYatharth Kochar #include <errno.h> 1648bfb88eSYatharth Kochar #include <platform.h> 1748bfb88eSYatharth Kochar #include <platform_def.h> 1848bfb88eSYatharth Kochar #include <smcc_helpers.h> 1948bfb88eSYatharth Kochar #include <string.h> 20949a52d2SSandrine Bailleux #include <utils.h> 2148bfb88eSYatharth Kochar #include "bl1_private.h" 2248bfb88eSYatharth Kochar 2348bfb88eSYatharth Kochar /* 2448bfb88eSYatharth Kochar * Function declarations. 2548bfb88eSYatharth Kochar */ 2648bfb88eSYatharth Kochar static int bl1_fwu_image_copy(unsigned int image_id, 2748bfb88eSYatharth Kochar uintptr_t image_addr, 2848bfb88eSYatharth Kochar unsigned int block_size, 2948bfb88eSYatharth Kochar unsigned int image_size, 3048bfb88eSYatharth Kochar unsigned int flags); 3148bfb88eSYatharth Kochar static int bl1_fwu_image_auth(unsigned int image_id, 3248bfb88eSYatharth Kochar uintptr_t image_addr, 3348bfb88eSYatharth Kochar unsigned int image_size, 3448bfb88eSYatharth Kochar unsigned int flags); 3548bfb88eSYatharth Kochar static int bl1_fwu_image_execute(unsigned int image_id, 3648bfb88eSYatharth Kochar void **handle, 3748bfb88eSYatharth Kochar unsigned int flags); 3828955d57SDan Handley static register_t bl1_fwu_image_resume(register_t image_param, 3948bfb88eSYatharth Kochar void **handle, 4048bfb88eSYatharth Kochar unsigned int flags); 4148bfb88eSYatharth Kochar static int bl1_fwu_sec_image_done(void **handle, 4248bfb88eSYatharth Kochar unsigned int flags); 439d6fc3c3SAntonio Nino Diaz static int bl1_fwu_image_reset(unsigned int image_id, 449d6fc3c3SAntonio Nino Diaz unsigned int flags); 451f37b944SDan Handley __dead2 static void bl1_fwu_done(void *client_cookie, void *reserved); 4648bfb88eSYatharth Kochar 4748bfb88eSYatharth Kochar /* 4848bfb88eSYatharth Kochar * This keeps track of last executed secure image id. 4948bfb88eSYatharth Kochar */ 5048bfb88eSYatharth Kochar static unsigned int sec_exec_image_id = INVALID_IMAGE_ID; 5148bfb88eSYatharth Kochar 529d6fc3c3SAntonio Nino Diaz /* Authentication status of each image. */ 539d6fc3c3SAntonio Nino Diaz extern unsigned int auth_img_flags[]; 549d6fc3c3SAntonio Nino Diaz 5548bfb88eSYatharth Kochar /******************************************************************************* 5648bfb88eSYatharth Kochar * Top level handler for servicing FWU SMCs. 5748bfb88eSYatharth Kochar ******************************************************************************/ 5848bfb88eSYatharth Kochar register_t bl1_fwu_smc_handler(unsigned int smc_fid, 5948bfb88eSYatharth Kochar register_t x1, 6048bfb88eSYatharth Kochar register_t x2, 6148bfb88eSYatharth Kochar register_t x3, 6248bfb88eSYatharth Kochar register_t x4, 6348bfb88eSYatharth Kochar void *cookie, 6448bfb88eSYatharth Kochar void *handle, 6548bfb88eSYatharth Kochar unsigned int flags) 6648bfb88eSYatharth Kochar { 6748bfb88eSYatharth Kochar 6848bfb88eSYatharth Kochar switch (smc_fid) { 6948bfb88eSYatharth Kochar case FWU_SMC_IMAGE_COPY: 7048bfb88eSYatharth Kochar SMC_RET1(handle, bl1_fwu_image_copy(x1, x2, x3, x4, flags)); 7148bfb88eSYatharth Kochar 7248bfb88eSYatharth Kochar case FWU_SMC_IMAGE_AUTH: 7348bfb88eSYatharth Kochar SMC_RET1(handle, bl1_fwu_image_auth(x1, x2, x3, flags)); 7448bfb88eSYatharth Kochar 7548bfb88eSYatharth Kochar case FWU_SMC_IMAGE_EXECUTE: 7648bfb88eSYatharth Kochar SMC_RET1(handle, bl1_fwu_image_execute(x1, &handle, flags)); 7748bfb88eSYatharth Kochar 7848bfb88eSYatharth Kochar case FWU_SMC_IMAGE_RESUME: 7928955d57SDan Handley SMC_RET1(handle, bl1_fwu_image_resume(x1, &handle, flags)); 8048bfb88eSYatharth Kochar 8148bfb88eSYatharth Kochar case FWU_SMC_SEC_IMAGE_DONE: 8248bfb88eSYatharth Kochar SMC_RET1(handle, bl1_fwu_sec_image_done(&handle, flags)); 8348bfb88eSYatharth Kochar 849d6fc3c3SAntonio Nino Diaz case FWU_SMC_IMAGE_RESET: 859d6fc3c3SAntonio Nino Diaz SMC_RET1(handle, bl1_fwu_image_reset(x1, flags)); 869d6fc3c3SAntonio Nino Diaz 8748bfb88eSYatharth Kochar case FWU_SMC_UPDATE_DONE: 881f37b944SDan Handley bl1_fwu_done((void *)x1, NULL); 8948bfb88eSYatharth Kochar /* We should never return from bl1_fwu_done() */ 9048bfb88eSYatharth Kochar 9148bfb88eSYatharth Kochar default: 9248bfb88eSYatharth Kochar assert(0); 9348bfb88eSYatharth Kochar break; 9448bfb88eSYatharth Kochar } 9548bfb88eSYatharth Kochar 967a317a70SAntonio Nino Diaz SMC_RET1(handle, SMC_UNK); 9748bfb88eSYatharth Kochar } 9848bfb88eSYatharth Kochar 9948bfb88eSYatharth Kochar /******************************************************************************* 100128daee2SAntonio Nino Diaz * Utility functions to keep track of the images that are loaded at any time. 101128daee2SAntonio Nino Diaz ******************************************************************************/ 102128daee2SAntonio Nino Diaz 103128daee2SAntonio Nino Diaz #ifdef PLAT_FWU_MAX_SIMULTANEOUS_IMAGES 104128daee2SAntonio Nino Diaz #define FWU_MAX_SIMULTANEOUS_IMAGES PLAT_FWU_MAX_SIMULTANEOUS_IMAGES 105128daee2SAntonio Nino Diaz #else 106128daee2SAntonio Nino Diaz #define FWU_MAX_SIMULTANEOUS_IMAGES 10 107128daee2SAntonio Nino Diaz #endif 108128daee2SAntonio Nino Diaz 109128daee2SAntonio Nino Diaz static int bl1_fwu_loaded_ids[FWU_MAX_SIMULTANEOUS_IMAGES] = { 110128daee2SAntonio Nino Diaz [0 ... FWU_MAX_SIMULTANEOUS_IMAGES-1] = INVALID_IMAGE_ID 111128daee2SAntonio Nino Diaz }; 112128daee2SAntonio Nino Diaz 113128daee2SAntonio Nino Diaz /* 114128daee2SAntonio Nino Diaz * Adds an image_id to the bl1_fwu_loaded_ids array. 115128daee2SAntonio Nino Diaz * Returns 0 on success, 1 on error. 116128daee2SAntonio Nino Diaz */ 117128daee2SAntonio Nino Diaz static int bl1_fwu_add_loaded_id(int image_id) 118128daee2SAntonio Nino Diaz { 119128daee2SAntonio Nino Diaz int i; 120128daee2SAntonio Nino Diaz 121128daee2SAntonio Nino Diaz /* Check if the ID is already in the list */ 122128daee2SAntonio Nino Diaz for (i = 0; i < FWU_MAX_SIMULTANEOUS_IMAGES; i++) { 123128daee2SAntonio Nino Diaz if (bl1_fwu_loaded_ids[i] == image_id) 124128daee2SAntonio Nino Diaz return 0; 125128daee2SAntonio Nino Diaz } 126128daee2SAntonio Nino Diaz 127128daee2SAntonio Nino Diaz /* Find an empty slot */ 128128daee2SAntonio Nino Diaz for (i = 0; i < FWU_MAX_SIMULTANEOUS_IMAGES; i++) { 129128daee2SAntonio Nino Diaz if (bl1_fwu_loaded_ids[i] == INVALID_IMAGE_ID) { 130128daee2SAntonio Nino Diaz bl1_fwu_loaded_ids[i] = image_id; 131128daee2SAntonio Nino Diaz return 0; 132128daee2SAntonio Nino Diaz } 133128daee2SAntonio Nino Diaz } 134128daee2SAntonio Nino Diaz 135128daee2SAntonio Nino Diaz return 1; 136128daee2SAntonio Nino Diaz } 137128daee2SAntonio Nino Diaz 138128daee2SAntonio Nino Diaz /* 139128daee2SAntonio Nino Diaz * Removes an image_id from the bl1_fwu_loaded_ids array. 140128daee2SAntonio Nino Diaz * Returns 0 on success, 1 on error. 141128daee2SAntonio Nino Diaz */ 142128daee2SAntonio Nino Diaz static int bl1_fwu_remove_loaded_id(int image_id) 143128daee2SAntonio Nino Diaz { 144128daee2SAntonio Nino Diaz int i; 145128daee2SAntonio Nino Diaz 146128daee2SAntonio Nino Diaz /* Find the ID */ 147128daee2SAntonio Nino Diaz for (i = 0; i < FWU_MAX_SIMULTANEOUS_IMAGES; i++) { 148128daee2SAntonio Nino Diaz if (bl1_fwu_loaded_ids[i] == image_id) { 149128daee2SAntonio Nino Diaz bl1_fwu_loaded_ids[i] = INVALID_IMAGE_ID; 150128daee2SAntonio Nino Diaz return 0; 151128daee2SAntonio Nino Diaz } 152128daee2SAntonio Nino Diaz } 153128daee2SAntonio Nino Diaz 154128daee2SAntonio Nino Diaz return 1; 155128daee2SAntonio Nino Diaz } 156128daee2SAntonio Nino Diaz 157128daee2SAntonio Nino Diaz /******************************************************************************* 158128daee2SAntonio Nino Diaz * This function checks if the specified image overlaps another image already 159128daee2SAntonio Nino Diaz * loaded. It returns 0 if there is no overlap, a negative error code otherwise. 160128daee2SAntonio Nino Diaz ******************************************************************************/ 161128daee2SAntonio Nino Diaz static int bl1_fwu_image_check_overlaps(int image_id) 162128daee2SAntonio Nino Diaz { 163128daee2SAntonio Nino Diaz const image_desc_t *image_desc, *checked_image_desc; 164128daee2SAntonio Nino Diaz const image_info_t *info, *checked_info; 165128daee2SAntonio Nino Diaz 166128daee2SAntonio Nino Diaz uintptr_t image_base, image_end; 167128daee2SAntonio Nino Diaz uintptr_t checked_image_base, checked_image_end; 168128daee2SAntonio Nino Diaz 169128daee2SAntonio Nino Diaz checked_image_desc = bl1_plat_get_image_desc(image_id); 170128daee2SAntonio Nino Diaz checked_info = &checked_image_desc->image_info; 171128daee2SAntonio Nino Diaz 172128daee2SAntonio Nino Diaz /* Image being checked mustn't be empty. */ 173128daee2SAntonio Nino Diaz assert(checked_info->image_size != 0); 174128daee2SAntonio Nino Diaz 175128daee2SAntonio Nino Diaz checked_image_base = checked_info->image_base; 176128daee2SAntonio Nino Diaz checked_image_end = checked_image_base + checked_info->image_size - 1; 177ee05ae16SSoby Mathew /* No need to check for overflows, it's done in bl1_fwu_image_copy(). */ 178128daee2SAntonio Nino Diaz 179128daee2SAntonio Nino Diaz for (int i = 0; i < FWU_MAX_SIMULTANEOUS_IMAGES; i++) { 180128daee2SAntonio Nino Diaz 181ee05ae16SSoby Mathew /* Skip INVALID_IMAGE_IDs and don't check image against itself */ 182ee05ae16SSoby Mathew if ((bl1_fwu_loaded_ids[i] == INVALID_IMAGE_ID) || 183ee05ae16SSoby Mathew (bl1_fwu_loaded_ids[i] == image_id)) 184128daee2SAntonio Nino Diaz continue; 185128daee2SAntonio Nino Diaz 186128daee2SAntonio Nino Diaz image_desc = bl1_plat_get_image_desc(bl1_fwu_loaded_ids[i]); 187128daee2SAntonio Nino Diaz 188128daee2SAntonio Nino Diaz /* Only check images that are loaded or being loaded. */ 189ee05ae16SSoby Mathew assert (image_desc && image_desc->state != IMAGE_STATE_RESET); 190128daee2SAntonio Nino Diaz 191128daee2SAntonio Nino Diaz info = &image_desc->image_info; 192128daee2SAntonio Nino Diaz 193128daee2SAntonio Nino Diaz /* There cannot be overlaps with an empty image. */ 194128daee2SAntonio Nino Diaz if (info->image_size == 0) 195128daee2SAntonio Nino Diaz continue; 196128daee2SAntonio Nino Diaz 197128daee2SAntonio Nino Diaz image_base = info->image_base; 198128daee2SAntonio Nino Diaz image_end = image_base + info->image_size - 1; 199128daee2SAntonio Nino Diaz /* 200128daee2SAntonio Nino Diaz * Overflows cannot happen. It is checked in 201128daee2SAntonio Nino Diaz * bl1_fwu_image_copy() when the image goes from RESET to 202128daee2SAntonio Nino Diaz * COPYING or COPIED. 203128daee2SAntonio Nino Diaz */ 204128daee2SAntonio Nino Diaz assert (image_end > image_base); 205128daee2SAntonio Nino Diaz 206128daee2SAntonio Nino Diaz /* Check if there are overlaps. */ 207128daee2SAntonio Nino Diaz if (!(image_end < checked_image_base || 208128daee2SAntonio Nino Diaz checked_image_end < image_base)) { 209128daee2SAntonio Nino Diaz VERBOSE("Image with ID %d overlaps existing image with ID %d", 210128daee2SAntonio Nino Diaz checked_image_desc->image_id, image_desc->image_id); 211128daee2SAntonio Nino Diaz return -EPERM; 212128daee2SAntonio Nino Diaz } 213128daee2SAntonio Nino Diaz } 214128daee2SAntonio Nino Diaz 215128daee2SAntonio Nino Diaz return 0; 216128daee2SAntonio Nino Diaz } 217128daee2SAntonio Nino Diaz 218128daee2SAntonio Nino Diaz /******************************************************************************* 21948bfb88eSYatharth Kochar * This function is responsible for copying secure images in AP Secure RAM. 22048bfb88eSYatharth Kochar ******************************************************************************/ 22148bfb88eSYatharth Kochar static int bl1_fwu_image_copy(unsigned int image_id, 22248bfb88eSYatharth Kochar uintptr_t image_src, 22348bfb88eSYatharth Kochar unsigned int block_size, 22448bfb88eSYatharth Kochar unsigned int image_size, 22548bfb88eSYatharth Kochar unsigned int flags) 22648bfb88eSYatharth Kochar { 2279f1489e4SSandrine Bailleux uintptr_t dest_addr; 228b38a9e5cSSandrine Bailleux unsigned int remaining; 22948bfb88eSYatharth Kochar 23048bfb88eSYatharth Kochar /* Get the image descriptor. */ 23148bfb88eSYatharth Kochar image_desc_t *image_desc = bl1_plat_get_image_desc(image_id); 2329f1489e4SSandrine Bailleux if (!image_desc) { 2339f1489e4SSandrine Bailleux WARN("BL1-FWU: Invalid image ID %u\n", image_id); 23448bfb88eSYatharth Kochar return -EPERM; 23548bfb88eSYatharth Kochar } 23648bfb88eSYatharth Kochar 2379f1489e4SSandrine Bailleux /* 2389f1489e4SSandrine Bailleux * The request must originate from a non-secure caller and target a 2399f1489e4SSandrine Bailleux * secure image. Any other scenario is invalid. 2409f1489e4SSandrine Bailleux */ 2419f1489e4SSandrine Bailleux if (GET_SECURITY_STATE(flags) == SECURE) { 2429f1489e4SSandrine Bailleux WARN("BL1-FWU: Copy not allowed from secure world.\n"); 2439f1489e4SSandrine Bailleux return -EPERM; 2449f1489e4SSandrine Bailleux } 2459f1489e4SSandrine Bailleux if (GET_SECURITY_STATE(image_desc->ep_info.h.attr) == NON_SECURE) { 2469f1489e4SSandrine Bailleux WARN("BL1-FWU: Copy not allowed for non-secure images.\n"); 2479f1489e4SSandrine Bailleux return -EPERM; 2489f1489e4SSandrine Bailleux } 2499f1489e4SSandrine Bailleux 2509f1489e4SSandrine Bailleux /* Check whether the FWU state machine is in the correct state. */ 2519f1489e4SSandrine Bailleux if ((image_desc->state != IMAGE_STATE_RESET) && 2529f1489e4SSandrine Bailleux (image_desc->state != IMAGE_STATE_COPYING)) { 2539f1489e4SSandrine Bailleux WARN("BL1-FWU: Copy not allowed at this point of the FWU" 2549f1489e4SSandrine Bailleux " process.\n"); 25548bfb88eSYatharth Kochar return -EPERM; 25648bfb88eSYatharth Kochar } 25748bfb88eSYatharth Kochar 258949a52d2SSandrine Bailleux if ((!image_src) || (!block_size) || 259949a52d2SSandrine Bailleux check_uptr_overflow(image_src, block_size - 1)) { 26048bfb88eSYatharth Kochar WARN("BL1-FWU: Copy not allowed due to invalid image source" 26148bfb88eSYatharth Kochar " or block size\n"); 26248bfb88eSYatharth Kochar return -ENOMEM; 26348bfb88eSYatharth Kochar } 26448bfb88eSYatharth Kochar 26548bfb88eSYatharth Kochar if (image_desc->state == IMAGE_STATE_COPYING) { 2661bfb7068SSandrine Bailleux /* 2671bfb7068SSandrine Bailleux * There must have been at least 1 copy operation for this image 2681bfb7068SSandrine Bailleux * previously. 2691bfb7068SSandrine Bailleux */ 2701bfb7068SSandrine Bailleux assert(image_desc->copied_size != 0); 2711bfb7068SSandrine Bailleux /* 2721bfb7068SSandrine Bailleux * The image size must have been recorded in the 1st copy 2731bfb7068SSandrine Bailleux * operation. 2741bfb7068SSandrine Bailleux */ 2759f1489e4SSandrine Bailleux image_size = image_desc->image_info.image_size; 2761bfb7068SSandrine Bailleux assert(image_size != 0); 2771bfb7068SSandrine Bailleux assert(image_desc->copied_size < image_size); 2781bfb7068SSandrine Bailleux 27948bfb88eSYatharth Kochar INFO("BL1-FWU: Continuing image copy in blocks\n"); 2809f1489e4SSandrine Bailleux } else { /* image_desc->state == IMAGE_STATE_RESET */ 2819f1489e4SSandrine Bailleux INFO("BL1-FWU: Initial call to copy an image\n"); 28248bfb88eSYatharth Kochar 2839f1489e4SSandrine Bailleux /* 2849f1489e4SSandrine Bailleux * image_size is relevant only for the 1st copy request, it is 2859f1489e4SSandrine Bailleux * then ignored for subsequent calls for this image. 2869f1489e4SSandrine Bailleux */ 28748bfb88eSYatharth Kochar if (!image_size) { 2889f1489e4SSandrine Bailleux WARN("BL1-FWU: Copy not allowed due to invalid image" 2899f1489e4SSandrine Bailleux " size\n"); 29048bfb88eSYatharth Kochar return -ENOMEM; 29148bfb88eSYatharth Kochar } 29248bfb88eSYatharth Kochar 29353d703a5SYatharth Kochar #if LOAD_IMAGE_V2 29453d703a5SYatharth Kochar /* Check that the image size to load is within limit */ 29553d703a5SYatharth Kochar if (image_size > image_desc->image_info.image_max_size) { 29653d703a5SYatharth Kochar WARN("BL1-FWU: Image size out of bounds\n"); 29753d703a5SYatharth Kochar return -ENOMEM; 29853d703a5SYatharth Kochar } 29953d703a5SYatharth Kochar #else 300949a52d2SSandrine Bailleux /* 301949a52d2SSandrine Bailleux * Check the image will fit into the free trusted RAM after BL1 302949a52d2SSandrine Bailleux * load. 303949a52d2SSandrine Bailleux */ 3049f1489e4SSandrine Bailleux const meminfo_t *mem_layout = bl1_plat_sec_mem_layout(); 305949a52d2SSandrine Bailleux if (!is_mem_free(mem_layout->free_base, mem_layout->free_size, 306949a52d2SSandrine Bailleux image_desc->image_info.image_base, 307949a52d2SSandrine Bailleux image_size)) { 3089f1489e4SSandrine Bailleux WARN("BL1-FWU: Copy not allowed due to insufficient" 3099f1489e4SSandrine Bailleux " resources.\n"); 31048bfb88eSYatharth Kochar return -ENOMEM; 31148bfb88eSYatharth Kochar } 31253d703a5SYatharth Kochar #endif 31348bfb88eSYatharth Kochar 3149f1489e4SSandrine Bailleux /* Save the given image size. */ 31548bfb88eSYatharth Kochar image_desc->image_info.image_size = image_size; 31648bfb88eSYatharth Kochar 317128daee2SAntonio Nino Diaz /* Make sure the image doesn't overlap other images. */ 318128daee2SAntonio Nino Diaz if (bl1_fwu_image_check_overlaps(image_id)) { 319128daee2SAntonio Nino Diaz image_desc->image_info.image_size = 0; 320128daee2SAntonio Nino Diaz WARN("BL1-FWU: This image overlaps another one\n"); 321128daee2SAntonio Nino Diaz return -EPERM; 322128daee2SAntonio Nino Diaz } 323128daee2SAntonio Nino Diaz 324b38a9e5cSSandrine Bailleux /* 325b38a9e5cSSandrine Bailleux * copied_size must be explicitly initialized here because the 326b38a9e5cSSandrine Bailleux * FWU code doesn't necessarily do it when it resets the state 327b38a9e5cSSandrine Bailleux * machine. 328b38a9e5cSSandrine Bailleux */ 329b38a9e5cSSandrine Bailleux image_desc->copied_size = 0; 330b38a9e5cSSandrine Bailleux } 331b38a9e5cSSandrine Bailleux 332b38a9e5cSSandrine Bailleux /* 333b38a9e5cSSandrine Bailleux * If the given block size is more than the total image size 334b38a9e5cSSandrine Bailleux * then clip the former to the latter. 335b38a9e5cSSandrine Bailleux */ 336b38a9e5cSSandrine Bailleux remaining = image_size - image_desc->copied_size; 337b38a9e5cSSandrine Bailleux if (block_size > remaining) { 338b38a9e5cSSandrine Bailleux WARN("BL1-FWU: Block size is too big, clipping it.\n"); 339b38a9e5cSSandrine Bailleux block_size = remaining; 340b38a9e5cSSandrine Bailleux } 341b38a9e5cSSandrine Bailleux 342b38a9e5cSSandrine Bailleux /* Make sure the source image is mapped in memory. */ 343b38a9e5cSSandrine Bailleux if (bl1_plat_mem_check(image_src, block_size, flags)) { 344b38a9e5cSSandrine Bailleux WARN("BL1-FWU: Source image is not mapped.\n"); 345b38a9e5cSSandrine Bailleux return -ENOMEM; 346b38a9e5cSSandrine Bailleux } 347b38a9e5cSSandrine Bailleux 348128daee2SAntonio Nino Diaz if (bl1_fwu_add_loaded_id(image_id)) { 349128daee2SAntonio Nino Diaz WARN("BL1-FWU: Too many images loaded at the same time.\n"); 350128daee2SAntonio Nino Diaz return -ENOMEM; 351128daee2SAntonio Nino Diaz } 352128daee2SAntonio Nino Diaz 353b38a9e5cSSandrine Bailleux /* Everything looks sane. Go ahead and copy the block of data. */ 354b38a9e5cSSandrine Bailleux dest_addr = image_desc->image_info.image_base + image_desc->copied_size; 3559f1489e4SSandrine Bailleux memcpy((void *) dest_addr, (const void *) image_src, block_size); 3569f1489e4SSandrine Bailleux flush_dcache_range(dest_addr, block_size); 35748bfb88eSYatharth Kochar 358b38a9e5cSSandrine Bailleux image_desc->copied_size += block_size; 359b38a9e5cSSandrine Bailleux image_desc->state = (block_size == remaining) ? 360b38a9e5cSSandrine Bailleux IMAGE_STATE_COPIED : IMAGE_STATE_COPYING; 36148bfb88eSYatharth Kochar 362b38a9e5cSSandrine Bailleux INFO("BL1-FWU: Copy operation successful.\n"); 36348bfb88eSYatharth Kochar return 0; 36448bfb88eSYatharth Kochar } 36548bfb88eSYatharth Kochar 36648bfb88eSYatharth Kochar /******************************************************************************* 36748bfb88eSYatharth Kochar * This function is responsible for authenticating Normal/Secure images. 36848bfb88eSYatharth Kochar ******************************************************************************/ 36948bfb88eSYatharth Kochar static int bl1_fwu_image_auth(unsigned int image_id, 37048bfb88eSYatharth Kochar uintptr_t image_src, 37148bfb88eSYatharth Kochar unsigned int image_size, 37248bfb88eSYatharth Kochar unsigned int flags) 37348bfb88eSYatharth Kochar { 37448bfb88eSYatharth Kochar int result; 37548bfb88eSYatharth Kochar uintptr_t base_addr; 37648bfb88eSYatharth Kochar unsigned int total_size; 37748bfb88eSYatharth Kochar 37848bfb88eSYatharth Kochar /* Get the image descriptor. */ 37948bfb88eSYatharth Kochar image_desc_t *image_desc = bl1_plat_get_image_desc(image_id); 38048bfb88eSYatharth Kochar if (!image_desc) 38148bfb88eSYatharth Kochar return -EPERM; 38248bfb88eSYatharth Kochar 383843ddee4SYatharth Kochar if (GET_SECURITY_STATE(flags) == SECURE) { 38448bfb88eSYatharth Kochar if (image_desc->state != IMAGE_STATE_RESET) { 38548bfb88eSYatharth Kochar WARN("BL1-FWU: Authentication from secure world " 38648bfb88eSYatharth Kochar "while in invalid state\n"); 38748bfb88eSYatharth Kochar return -EPERM; 38848bfb88eSYatharth Kochar } 38948bfb88eSYatharth Kochar } else { 390843ddee4SYatharth Kochar if (GET_SECURITY_STATE(image_desc->ep_info.h.attr) == SECURE) { 39148bfb88eSYatharth Kochar if (image_desc->state != IMAGE_STATE_COPIED) { 39248bfb88eSYatharth Kochar WARN("BL1-FWU: Authentication of secure image " 39348bfb88eSYatharth Kochar "from non-secure world while not in copied state\n"); 39448bfb88eSYatharth Kochar return -EPERM; 39548bfb88eSYatharth Kochar } 39648bfb88eSYatharth Kochar } else { 39748bfb88eSYatharth Kochar if (image_desc->state != IMAGE_STATE_RESET) { 39848bfb88eSYatharth Kochar WARN("BL1-FWU: Authentication of non-secure image " 39948bfb88eSYatharth Kochar "from non-secure world while in invalid state\n"); 40048bfb88eSYatharth Kochar return -EPERM; 40148bfb88eSYatharth Kochar } 40248bfb88eSYatharth Kochar } 40348bfb88eSYatharth Kochar } 40448bfb88eSYatharth Kochar 40548bfb88eSYatharth Kochar if (image_desc->state == IMAGE_STATE_COPIED) { 40648bfb88eSYatharth Kochar /* 40748bfb88eSYatharth Kochar * Image is in COPIED state. 40848bfb88eSYatharth Kochar * Use the stored address and size. 40948bfb88eSYatharth Kochar */ 41048bfb88eSYatharth Kochar base_addr = image_desc->image_info.image_base; 41148bfb88eSYatharth Kochar total_size = image_desc->image_info.image_size; 41248bfb88eSYatharth Kochar } else { 413949a52d2SSandrine Bailleux if ((!image_src) || (!image_size) || 414949a52d2SSandrine Bailleux check_uptr_overflow(image_src, image_size - 1)) { 41548bfb88eSYatharth Kochar WARN("BL1-FWU: Auth not allowed due to invalid" 41648bfb88eSYatharth Kochar " image source/size\n"); 41748bfb88eSYatharth Kochar return -ENOMEM; 41848bfb88eSYatharth Kochar } 41948bfb88eSYatharth Kochar 42048bfb88eSYatharth Kochar /* 42148bfb88eSYatharth Kochar * Image is in RESET state. 42248bfb88eSYatharth Kochar * Check the parameters and authenticate the source image in place. 42348bfb88eSYatharth Kochar */ 42403131c85SDan Handley if (bl1_plat_mem_check(image_src, image_size, \ 42503131c85SDan Handley image_desc->ep_info.h.attr)) { 42648bfb88eSYatharth Kochar WARN("BL1-FWU: Authentication arguments source/size not mapped\n"); 42748bfb88eSYatharth Kochar return -ENOMEM; 42848bfb88eSYatharth Kochar } 42948bfb88eSYatharth Kochar 430128daee2SAntonio Nino Diaz if (bl1_fwu_add_loaded_id(image_id)) { 431128daee2SAntonio Nino Diaz WARN("BL1-FWU: Too many images loaded at the same time.\n"); 432128daee2SAntonio Nino Diaz return -ENOMEM; 433128daee2SAntonio Nino Diaz } 434128daee2SAntonio Nino Diaz 43548bfb88eSYatharth Kochar base_addr = image_src; 43648bfb88eSYatharth Kochar total_size = image_size; 43748bfb88eSYatharth Kochar 43848bfb88eSYatharth Kochar /* Update the image size in the descriptor. */ 43948bfb88eSYatharth Kochar image_desc->image_info.image_size = total_size; 44048bfb88eSYatharth Kochar } 44148bfb88eSYatharth Kochar 44248bfb88eSYatharth Kochar /* 44348bfb88eSYatharth Kochar * Authenticate the image. 44448bfb88eSYatharth Kochar */ 44548bfb88eSYatharth Kochar INFO("BL1-FWU: Authenticating image_id:%d\n", image_id); 44648bfb88eSYatharth Kochar result = auth_mod_verify_img(image_id, (void *)base_addr, total_size); 44748bfb88eSYatharth Kochar if (result != 0) { 44848bfb88eSYatharth Kochar WARN("BL1-FWU: Authentication Failed err=%d\n", result); 44948bfb88eSYatharth Kochar 45048bfb88eSYatharth Kochar /* 45148bfb88eSYatharth Kochar * Authentication has failed. 45248bfb88eSYatharth Kochar * Clear the memory if the image was copied. 45348bfb88eSYatharth Kochar * This is to prevent an attack where this contains 45448bfb88eSYatharth Kochar * some malicious code that can somehow be executed later. 45548bfb88eSYatharth Kochar */ 45648bfb88eSYatharth Kochar if (image_desc->state == IMAGE_STATE_COPIED) { 45748bfb88eSYatharth Kochar /* Clear the memory.*/ 458308d359bSDouglas Raillard zero_normalmem((void *)base_addr, total_size); 45948bfb88eSYatharth Kochar flush_dcache_range(base_addr, total_size); 46048bfb88eSYatharth Kochar 46148bfb88eSYatharth Kochar /* Indicate that image can be copied again*/ 46248bfb88eSYatharth Kochar image_desc->state = IMAGE_STATE_RESET; 46348bfb88eSYatharth Kochar } 464128daee2SAntonio Nino Diaz 465128daee2SAntonio Nino Diaz /* 466128daee2SAntonio Nino Diaz * Even if this fails it's ok because the ID isn't in the array. 467128daee2SAntonio Nino Diaz * The image cannot be in RESET state here, it is checked at the 468128daee2SAntonio Nino Diaz * beginning of the function. 469128daee2SAntonio Nino Diaz */ 470128daee2SAntonio Nino Diaz bl1_fwu_remove_loaded_id(image_id); 47148bfb88eSYatharth Kochar return -EAUTH; 47248bfb88eSYatharth Kochar } 47348bfb88eSYatharth Kochar 47448bfb88eSYatharth Kochar /* Indicate that image is in authenticated state. */ 47548bfb88eSYatharth Kochar image_desc->state = IMAGE_STATE_AUTHENTICATED; 47648bfb88eSYatharth Kochar 47748bfb88eSYatharth Kochar /* 47848bfb88eSYatharth Kochar * Flush image_info to memory so that other 47948bfb88eSYatharth Kochar * secure world images can see changes. 48048bfb88eSYatharth Kochar */ 48148bfb88eSYatharth Kochar flush_dcache_range((unsigned long)&image_desc->image_info, 48248bfb88eSYatharth Kochar sizeof(image_info_t)); 48348bfb88eSYatharth Kochar 48448bfb88eSYatharth Kochar INFO("BL1-FWU: Authentication was successful\n"); 48548bfb88eSYatharth Kochar 48648bfb88eSYatharth Kochar return 0; 48748bfb88eSYatharth Kochar } 48848bfb88eSYatharth Kochar 48948bfb88eSYatharth Kochar /******************************************************************************* 49048bfb88eSYatharth Kochar * This function is responsible for executing Secure images. 49148bfb88eSYatharth Kochar ******************************************************************************/ 49248bfb88eSYatharth Kochar static int bl1_fwu_image_execute(unsigned int image_id, 49348bfb88eSYatharth Kochar void **handle, 49448bfb88eSYatharth Kochar unsigned int flags) 49548bfb88eSYatharth Kochar { 49648bfb88eSYatharth Kochar /* Get the image descriptor. */ 49748bfb88eSYatharth Kochar image_desc_t *image_desc = bl1_plat_get_image_desc(image_id); 49848bfb88eSYatharth Kochar 49948bfb88eSYatharth Kochar /* 50048bfb88eSYatharth Kochar * Execution is NOT allowed if: 50128955d57SDan Handley * image_id is invalid OR 50248bfb88eSYatharth Kochar * Caller is from Secure world OR 50348bfb88eSYatharth Kochar * Image is Non-Secure OR 50448bfb88eSYatharth Kochar * Image is Non-Executable OR 50548bfb88eSYatharth Kochar * Image is NOT in AUTHENTICATED state. 50648bfb88eSYatharth Kochar */ 50748bfb88eSYatharth Kochar if ((!image_desc) || 508843ddee4SYatharth Kochar (GET_SECURITY_STATE(flags) == SECURE) || 509843ddee4SYatharth Kochar (GET_SECURITY_STATE(image_desc->ep_info.h.attr) == NON_SECURE) || 510843ddee4SYatharth Kochar (EP_GET_EXE(image_desc->ep_info.h.attr) == NON_EXECUTABLE) || 51148bfb88eSYatharth Kochar (image_desc->state != IMAGE_STATE_AUTHENTICATED)) { 51248bfb88eSYatharth Kochar WARN("BL1-FWU: Execution not allowed due to invalid state/args\n"); 51348bfb88eSYatharth Kochar return -EPERM; 51448bfb88eSYatharth Kochar } 51548bfb88eSYatharth Kochar 51648bfb88eSYatharth Kochar INFO("BL1-FWU: Executing Secure image\n"); 51748bfb88eSYatharth Kochar 518a4409008Sdp-arm #ifdef AARCH64 51948bfb88eSYatharth Kochar /* Save NS-EL1 system registers. */ 52048bfb88eSYatharth Kochar cm_el1_sysregs_context_save(NON_SECURE); 521a4409008Sdp-arm #endif 52248bfb88eSYatharth Kochar 52348bfb88eSYatharth Kochar /* Prepare the image for execution. */ 52448bfb88eSYatharth Kochar bl1_prepare_next_image(image_id); 52548bfb88eSYatharth Kochar 52648bfb88eSYatharth Kochar /* Update the secure image id. */ 52748bfb88eSYatharth Kochar sec_exec_image_id = image_id; 52848bfb88eSYatharth Kochar 529a4409008Sdp-arm #ifdef AARCH64 53048bfb88eSYatharth Kochar *handle = cm_get_context(SECURE); 531a4409008Sdp-arm #else 532a4409008Sdp-arm *handle = smc_get_ctx(SECURE); 533a4409008Sdp-arm #endif 53448bfb88eSYatharth Kochar return 0; 53548bfb88eSYatharth Kochar } 53648bfb88eSYatharth Kochar 53748bfb88eSYatharth Kochar /******************************************************************************* 53828955d57SDan Handley * This function is responsible for resuming execution in the other security 53928955d57SDan Handley * world 54048bfb88eSYatharth Kochar ******************************************************************************/ 54128955d57SDan Handley static register_t bl1_fwu_image_resume(register_t image_param, 54248bfb88eSYatharth Kochar void **handle, 54348bfb88eSYatharth Kochar unsigned int flags) 54448bfb88eSYatharth Kochar { 54548bfb88eSYatharth Kochar image_desc_t *image_desc; 54648bfb88eSYatharth Kochar unsigned int resume_sec_state; 547843ddee4SYatharth Kochar unsigned int caller_sec_state = GET_SECURITY_STATE(flags); 54848bfb88eSYatharth Kochar 54948bfb88eSYatharth Kochar /* Get the image descriptor for last executed secure image id. */ 55048bfb88eSYatharth Kochar image_desc = bl1_plat_get_image_desc(sec_exec_image_id); 55128955d57SDan Handley if (caller_sec_state == NON_SECURE) { 55228955d57SDan Handley if (!image_desc) { 55328955d57SDan Handley WARN("BL1-FWU: Resume not allowed due to no available" 55428955d57SDan Handley "secure image\n"); 55548bfb88eSYatharth Kochar return -EPERM; 55648bfb88eSYatharth Kochar } 55728955d57SDan Handley } else { 55828955d57SDan Handley /* image_desc must be valid for secure world callers */ 55928955d57SDan Handley assert(image_desc); 56028955d57SDan Handley } 56128955d57SDan Handley 562843ddee4SYatharth Kochar assert(GET_SECURITY_STATE(image_desc->ep_info.h.attr) == SECURE); 563843ddee4SYatharth Kochar assert(EP_GET_EXE(image_desc->ep_info.h.attr) == EXECUTABLE); 56428955d57SDan Handley 56528955d57SDan Handley if (caller_sec_state == SECURE) { 56628955d57SDan Handley assert(image_desc->state == IMAGE_STATE_EXECUTED); 56748bfb88eSYatharth Kochar 56848bfb88eSYatharth Kochar /* Update the flags. */ 56948bfb88eSYatharth Kochar image_desc->state = IMAGE_STATE_INTERRUPTED; 57048bfb88eSYatharth Kochar resume_sec_state = NON_SECURE; 57148bfb88eSYatharth Kochar } else { 57228955d57SDan Handley assert(image_desc->state == IMAGE_STATE_INTERRUPTED); 57348bfb88eSYatharth Kochar 57448bfb88eSYatharth Kochar /* Update the flags. */ 57548bfb88eSYatharth Kochar image_desc->state = IMAGE_STATE_EXECUTED; 57648bfb88eSYatharth Kochar resume_sec_state = SECURE; 57748bfb88eSYatharth Kochar } 57848bfb88eSYatharth Kochar 579a4409008Sdp-arm INFO("BL1-FWU: Resuming %s world context\n", 580a4409008Sdp-arm (resume_sec_state == SECURE) ? "secure" : "normal"); 581a4409008Sdp-arm 582a4409008Sdp-arm #ifdef AARCH64 58348bfb88eSYatharth Kochar /* Save the EL1 system registers of calling world. */ 58428955d57SDan Handley cm_el1_sysregs_context_save(caller_sec_state); 58548bfb88eSYatharth Kochar 58648bfb88eSYatharth Kochar /* Restore the EL1 system registers of resuming world. */ 58748bfb88eSYatharth Kochar cm_el1_sysregs_context_restore(resume_sec_state); 58848bfb88eSYatharth Kochar 58948bfb88eSYatharth Kochar /* Update the next context. */ 59048bfb88eSYatharth Kochar cm_set_next_eret_context(resume_sec_state); 59148bfb88eSYatharth Kochar 59248bfb88eSYatharth Kochar *handle = cm_get_context(resume_sec_state); 593a4409008Sdp-arm #else 594a4409008Sdp-arm /* Update the next context. */ 595a4409008Sdp-arm cm_set_next_context(cm_get_context(resume_sec_state)); 596a4409008Sdp-arm 597a4409008Sdp-arm /* Prepare the smc context for the next BL image. */ 598a4409008Sdp-arm smc_set_next_ctx(resume_sec_state); 599a4409008Sdp-arm 600a4409008Sdp-arm *handle = smc_get_ctx(resume_sec_state); 601a4409008Sdp-arm #endif 60248bfb88eSYatharth Kochar return image_param; 60348bfb88eSYatharth Kochar } 60448bfb88eSYatharth Kochar 60548bfb88eSYatharth Kochar /******************************************************************************* 60648bfb88eSYatharth Kochar * This function is responsible for resuming normal world context. 60748bfb88eSYatharth Kochar ******************************************************************************/ 60848bfb88eSYatharth Kochar static int bl1_fwu_sec_image_done(void **handle, unsigned int flags) 60948bfb88eSYatharth Kochar { 61028955d57SDan Handley image_desc_t *image_desc; 61148bfb88eSYatharth Kochar 61228955d57SDan Handley /* Make sure caller is from the secure world */ 613843ddee4SYatharth Kochar if (GET_SECURITY_STATE(flags) == NON_SECURE) { 61428955d57SDan Handley WARN("BL1-FWU: Image done not allowed from normal world\n"); 61548bfb88eSYatharth Kochar return -EPERM; 61648bfb88eSYatharth Kochar } 61748bfb88eSYatharth Kochar 61828955d57SDan Handley /* Get the image descriptor for last executed secure image id */ 61928955d57SDan Handley image_desc = bl1_plat_get_image_desc(sec_exec_image_id); 62028955d57SDan Handley 62128955d57SDan Handley /* image_desc must correspond to a valid secure executing image */ 62228955d57SDan Handley assert(image_desc); 623843ddee4SYatharth Kochar assert(GET_SECURITY_STATE(image_desc->ep_info.h.attr) == SECURE); 624843ddee4SYatharth Kochar assert(EP_GET_EXE(image_desc->ep_info.h.attr) == EXECUTABLE); 62528955d57SDan Handley assert(image_desc->state == IMAGE_STATE_EXECUTED); 62628955d57SDan Handley 627128daee2SAntonio Nino Diaz #if ENABLE_ASSERTIONS 628128daee2SAntonio Nino Diaz int rc = bl1_fwu_remove_loaded_id(sec_exec_image_id); 629128daee2SAntonio Nino Diaz assert(rc == 0); 630128daee2SAntonio Nino Diaz #else 631128daee2SAntonio Nino Diaz bl1_fwu_remove_loaded_id(sec_exec_image_id); 632128daee2SAntonio Nino Diaz #endif 633128daee2SAntonio Nino Diaz 63448bfb88eSYatharth Kochar /* Update the flags. */ 63548bfb88eSYatharth Kochar image_desc->state = IMAGE_STATE_RESET; 63648bfb88eSYatharth Kochar sec_exec_image_id = INVALID_IMAGE_ID; 63748bfb88eSYatharth Kochar 638a4409008Sdp-arm INFO("BL1-FWU: Resuming Normal world context\n"); 639a4409008Sdp-arm #ifdef AARCH64 64048bfb88eSYatharth Kochar /* 64148bfb88eSYatharth Kochar * Secure world is done so no need to save the context. 64248bfb88eSYatharth Kochar * Just restore the Non-Secure context. 64348bfb88eSYatharth Kochar */ 64448bfb88eSYatharth Kochar cm_el1_sysregs_context_restore(NON_SECURE); 64548bfb88eSYatharth Kochar 64648bfb88eSYatharth Kochar /* Update the next context. */ 64748bfb88eSYatharth Kochar cm_set_next_eret_context(NON_SECURE); 64848bfb88eSYatharth Kochar 64948bfb88eSYatharth Kochar *handle = cm_get_context(NON_SECURE); 650a4409008Sdp-arm #else 651a4409008Sdp-arm /* Update the next context. */ 652a4409008Sdp-arm cm_set_next_context(cm_get_context(NON_SECURE)); 653a4409008Sdp-arm 654a4409008Sdp-arm /* Prepare the smc context for the next BL image. */ 655a4409008Sdp-arm smc_set_next_ctx(NON_SECURE); 656a4409008Sdp-arm 657a4409008Sdp-arm *handle = smc_get_ctx(NON_SECURE); 658a4409008Sdp-arm #endif 65948bfb88eSYatharth Kochar return 0; 66048bfb88eSYatharth Kochar } 66148bfb88eSYatharth Kochar 66248bfb88eSYatharth Kochar /******************************************************************************* 66348bfb88eSYatharth Kochar * This function provides the opportunity for users to perform any 66448bfb88eSYatharth Kochar * platform specific handling after the Firmware update is done. 66548bfb88eSYatharth Kochar ******************************************************************************/ 6661f37b944SDan Handley __dead2 static void bl1_fwu_done(void *client_cookie, void *reserved) 66748bfb88eSYatharth Kochar { 66848bfb88eSYatharth Kochar NOTICE("BL1-FWU: *******FWU Process Completed*******\n"); 66948bfb88eSYatharth Kochar 67048bfb88eSYatharth Kochar /* 67148bfb88eSYatharth Kochar * Call platform done function. 67248bfb88eSYatharth Kochar */ 6731f37b944SDan Handley bl1_plat_fwu_done(client_cookie, reserved); 67448bfb88eSYatharth Kochar assert(0); 67548bfb88eSYatharth Kochar } 6769d6fc3c3SAntonio Nino Diaz 6779d6fc3c3SAntonio Nino Diaz /******************************************************************************* 6789d6fc3c3SAntonio Nino Diaz * This function resets an image to IMAGE_STATE_RESET. It fails if the image is 6799d6fc3c3SAntonio Nino Diaz * being executed. 6809d6fc3c3SAntonio Nino Diaz ******************************************************************************/ 6819d6fc3c3SAntonio Nino Diaz static int bl1_fwu_image_reset(unsigned int image_id, unsigned int flags) 6829d6fc3c3SAntonio Nino Diaz { 6839d6fc3c3SAntonio Nino Diaz image_desc_t *image_desc = bl1_plat_get_image_desc(image_id); 6849d6fc3c3SAntonio Nino Diaz 6859d6fc3c3SAntonio Nino Diaz if ((!image_desc) || (GET_SECURITY_STATE(flags) == SECURE)) { 6869d6fc3c3SAntonio Nino Diaz WARN("BL1-FWU: Reset not allowed due to invalid args\n"); 6879d6fc3c3SAntonio Nino Diaz return -EPERM; 6889d6fc3c3SAntonio Nino Diaz } 6899d6fc3c3SAntonio Nino Diaz 6909d6fc3c3SAntonio Nino Diaz switch (image_desc->state) { 6919d6fc3c3SAntonio Nino Diaz 6929d6fc3c3SAntonio Nino Diaz case IMAGE_STATE_RESET: 6939d6fc3c3SAntonio Nino Diaz /* Nothing to do. */ 6949d6fc3c3SAntonio Nino Diaz break; 6959d6fc3c3SAntonio Nino Diaz 6969d6fc3c3SAntonio Nino Diaz case IMAGE_STATE_INTERRUPTED: 6979d6fc3c3SAntonio Nino Diaz case IMAGE_STATE_AUTHENTICATED: 6989d6fc3c3SAntonio Nino Diaz case IMAGE_STATE_COPIED: 6999d6fc3c3SAntonio Nino Diaz case IMAGE_STATE_COPYING: 7009d6fc3c3SAntonio Nino Diaz 7019d6fc3c3SAntonio Nino Diaz if (bl1_fwu_remove_loaded_id(image_id)) { 7029d6fc3c3SAntonio Nino Diaz WARN("BL1-FWU: Image reset couldn't find the image ID\n"); 7039d6fc3c3SAntonio Nino Diaz return -EPERM; 7049d6fc3c3SAntonio Nino Diaz } 7059d6fc3c3SAntonio Nino Diaz 706ee05ae16SSoby Mathew if (image_desc->copied_size) { 707ee05ae16SSoby Mathew /* Clear the memory if the image is copied */ 708ee05ae16SSoby Mathew assert(GET_SECURITY_STATE(image_desc->ep_info.h.attr) == SECURE); 709ee05ae16SSoby Mathew 7109d6fc3c3SAntonio Nino Diaz zero_normalmem((void *)image_desc->image_info.image_base, 7119d6fc3c3SAntonio Nino Diaz image_desc->copied_size); 7129d6fc3c3SAntonio Nino Diaz flush_dcache_range(image_desc->image_info.image_base, 7139d6fc3c3SAntonio Nino Diaz image_desc->copied_size); 714ee05ae16SSoby Mathew } 7159d6fc3c3SAntonio Nino Diaz 7169d6fc3c3SAntonio Nino Diaz /* Reset status variables */ 7179d6fc3c3SAntonio Nino Diaz image_desc->copied_size = 0; 7189d6fc3c3SAntonio Nino Diaz image_desc->image_info.image_size = 0; 7199d6fc3c3SAntonio Nino Diaz image_desc->state = IMAGE_STATE_RESET; 7209d6fc3c3SAntonio Nino Diaz 7219d6fc3c3SAntonio Nino Diaz /* Clear authentication state */ 7229d6fc3c3SAntonio Nino Diaz auth_img_flags[image_id] = 0; 7239d6fc3c3SAntonio Nino Diaz 7249d6fc3c3SAntonio Nino Diaz break; 7259d6fc3c3SAntonio Nino Diaz 7269d6fc3c3SAntonio Nino Diaz case IMAGE_STATE_EXECUTED: 7279d6fc3c3SAntonio Nino Diaz default: 7289d6fc3c3SAntonio Nino Diaz assert(0); 7299d6fc3c3SAntonio Nino Diaz } 7309d6fc3c3SAntonio Nino Diaz 7319d6fc3c3SAntonio Nino Diaz return 0; 7329d6fc3c3SAntonio Nino Diaz } 733