23  * Secure firmware load addr
24  * Flags used: 0x1 secure firmware has been loaded to secure memory
25  *             0x2 secure firmware is running
30 #define SEC_FIRMWARE_FIT_IMAGE		"firmware"
51 		printf("SEC Firmware: %s: no such config\n", conf_node_name);  in sec_firmware_get_data()
58 		printf("SEC Firmware: No '%s' in config\n",  in sec_firmware_get_data()
63 	/* Verify secure firmware image */  in sec_firmware_get_data()
65 		printf("SEC Firmware: Bad firmware image (bad CRC)\n");  in sec_firmware_get_data()
70 		printf("SEC Firmware: Can't get %s subimage data/size",  in sec_firmware_get_data()
77 		printf("SEC Firmware: Can't get description\n");  in sec_firmware_get_data()
85  * SEC Firmware FIT image parser checks if the image is in FIT
102 	debug("SEC Firmware: raw_image_addr = 0x%p, raw_image_size = 0x%lx\n",  in sec_firmware_parse_image()
119  * This function will parse the SEC Firmware image, and then load it
130 	 * the SEC Firmware.  in sec_firmware_load_image()
139 	 * The SEC Firmware must be stored in secure memory.  in sec_firmware_load_image()
140 	 * Append SEC Firmware to secure mmu table.  in sec_firmware_load_image()
150 #error "The CONFIG_SYS_MEM_RESERVE_SECURE must be defined when enabled SEC Firmware support"  in sec_firmware_load_image()
153 	/* Align SEC Firmware base address to 4K */  in sec_firmware_load_image()
155 	debug("SEC Firmware: Load address: 0x%llx\n",  in sec_firmware_load_image()
164 	 * Check if the end addr of SEC Firmware has been extend the secure  in sec_firmware_load_image()
168 	/* Copy the secure firmware to secure memory */  in sec_firmware_load_image()
169 	ret = sec_firmware_copy_image("SEC Firmware", (u64)raw_image_addr,  in sec_firmware_load_image()
176 	debug("SEC Firmware: Entry point: 0x%llx\n",  in sec_firmware_load_image()
182 	printf("SEC Firmware: error (%d)\n", ret);  in sec_firmware_load_image()
196 /* Check the secure firmware FIT image */
200 		printf("SEC Firmware: Bad firmware image (not a FIT image)\n");  in sec_firmware_is_valid()
205 		printf("SEC Firmware: Bad firmware image (bad FIT header)\n");  in sec_firmware_is_valid()
220  * And if the secure firmware isn't running, return NOT_SUPPORTED.
252  * sec_firmware_get_random - Get a random number from SEC Firmware
288  * sec_firmware_init - Initialize the SEC Firmware
289  * @sec_firmware_img:	the SEC Firmware image address
304 		printf("SEC Firmware: Failed to load image\n");  in sec_firmware_init()
309 			printf("SEC Firmware: Failed to initialize\n");  in sec_firmware_init()
314 	debug("SEC Firmware: Return from SEC Firmware: current_el = %d\n",  in sec_firmware_init()
319 	 * SEC Firmware.  in sec_firmware_init()