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()
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()
78 		printf("%s\n", desc);  in sec_firmware_get_data()
130 		printf("SEC Firmware: %s: no such config\n", conf_node_name);  in sec_firmware_check_copy_loadable()
137 		printf("%s: Cannot find /images node: %d\n", __func__, images);  in sec_firmware_check_copy_loadable()
149 	printf("SEC Firmware: '%s' present in config\n", type);  in sec_firmware_check_copy_loadable()
153 		printf("%s: '%s'\n", type, str);  in sec_firmware_check_copy_loadable()
156 			printf("cannot find image node '%s': %d\n", str,  in sec_firmware_check_copy_loadable()
163 			printf("SEC Loadable: Bad loadable image (bad CRC)\n");  in sec_firmware_check_copy_loadable()
169 			printf("SEC Loadable: Can't get subimage data/size");  in sec_firmware_check_copy_loadable()
175 			printf("SEC Loadable: Can't get subimage load");  in sec_firmware_check_copy_loadable()
291 	printf("SEC Firmware: error (%d)\n", ret);  in sec_firmware_load_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()
375 		printf("Max Random bytes genration supported is 8\n");  in sec_firmware_get_random()
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()
465 		printf("WARNING: SEC firmware not running, no kaslr-seed\n");  in fdt_fixup_kaslr()
471 		printf("WARNING: No random number to set kaslr-seed\n");  in fdt_fixup_kaslr()
477 		printf("fdt_chosen: %s\n", fdt_strerror(err));  in fdt_fixup_kaslr()
489 		printf("WARNING: can't set kaslr-seed %s.\n",  in fdt_fixup_kaslr()