22  * Secure firmware load addr
23  * Flags used: 0x1 secure firmware has been loaded to secure memory
24  *             0x2 secure firmware is running
29 #define SEC_FIRMWARE_FIT_IMAGE		"firmware"
50 		printf("SEC Firmware: %s: no such config\n", conf_node_name);  in sec_firmware_get_data()
57 		printf("SEC Firmware: No '%s' in config\n",  in sec_firmware_get_data()
62 	/* Verify secure firmware image */  in sec_firmware_get_data()
64 		printf("SEC Firmware: Bad firmware image (bad CRC)\n");  in sec_firmware_get_data()
69 		printf("SEC Firmware: Can't get %s subimage data/size",  in sec_firmware_get_data()
76 		printf("SEC Firmware: Can't get description\n");  in sec_firmware_get_data()
84  * SEC Firmware FIT image parser checks if the image is in FIT
101 	debug("SEC Firmware: raw_image_addr = 0x%p, raw_image_size = 0x%lx\n",  in sec_firmware_parse_image()
108  * SEC Firmware FIT image parser to check if any loadable is
130 		printf("SEC Firmware: %s: no such config\n", conf_node_name);  in sec_firmware_check_copy_loadable()
149 	printf("SEC Firmware: '%s' present in config\n", type);  in sec_firmware_check_copy_loadable()
161 		/* Verify secure firmware image */  in sec_firmware_check_copy_loadable()
217  * This function will parse the SEC Firmware image, and then load it
219  * Firmware image.
230 	 * the SEC Firmware.  in sec_firmware_load_image()
239 	 * The SEC Firmware must be stored in secure memory.  in sec_firmware_load_image()
240 	 * Append SEC Firmware to secure mmu table.  in sec_firmware_load_image()
250 #error "The CONFIG_SYS_MEM_RESERVE_SECURE must be defined when enabled SEC Firmware support"  in sec_firmware_load_image()
253 	/* Align SEC Firmware base address to 4K */  in sec_firmware_load_image()
255 	debug("SEC Firmware: Load address: 0x%llx\n",  in sec_firmware_load_image()
264 	 * Check if the end addr of SEC Firmware has been extend the secure  in sec_firmware_load_image()
268 	/* Copy the secure firmware to secure memory */  in sec_firmware_load_image()
269 	ret = sec_firmware_copy_image("SEC Firmware", (u64)raw_image_addr,  in sec_firmware_load_image()
276 	 * Check if any loadable are present along with firmware image, if  in sec_firmware_load_image()
285 	debug("SEC Firmware: Entry point: 0x%llx\n",  in sec_firmware_load_image()
291 	printf("SEC Firmware: error (%d)\n", ret);  in sec_firmware_load_image()
305 /* Check the secure firmware FIT image */
309 		printf("SEC Firmware: Bad firmware image (not a FIT image)\n");  in sec_firmware_is_valid()
314 		printf("SEC Firmware: Bad firmware image (bad FIT header)\n");  in sec_firmware_is_valid()
329  * And if the secure firmware isn't running, return NOT_SUPPORTED.
363  * sec_firmware_get_random - Get a random number from SEC Firmware
399  * sec_firmware_init - Initialize the SEC Firmware
400  * @sec_firmware_img:	the SEC Firmware image address
420 		printf("SEC Firmware: Failed to load image\n");  in sec_firmware_init()
425 			printf("SEC Firmware: Failed to initialize\n");  in sec_firmware_init()
430 	debug("SEC Firmware: Return from SEC Firmware: current_el = %d\n",  in sec_firmware_init()
435 	 * SEC Firmware.  in sec_firmware_init()
465 		printf("WARNING: SEC firmware not running, no kaslr-seed\n");  in fdt_fixup_kaslr()