Searched refs:boot_platform_pre_load (Results 1 – 14 of 14) sorted by relevance
87 int boot_platform_pre_load(uint32_t image_id);
171 int boot_platform_pre_load(uint32_t image_id) in boot_platform_pre_load() function
89 int boot_platform_pre_load(uint32_t image_id) in boot_platform_pre_load() function
118 fih_rc = fih_int_encode_zero_equality(boot_platform_pre_load(0)); in main()
157 int boot_platform_pre_load(uint32_t image_id) in boot_platform_pre_load() function
489 int boot_platform_pre_load(uint32_t image_id) in boot_platform_pre_load() function
175 if (boot_platform_pre_load(image_id)) { in main()
104 int boot_platform_pre_load(uint32_t image_id) in boot_platform_pre_load() function
154 __WEAK int boot_platform_pre_load(uint32_t image_id) in boot_platform_pre_load() function
209 __WEAK int boot_platform_pre_load(uint32_t image_id) in boot_platform_pre_load() function
238 __WEAK int boot_platform_pre_load(uint32_t image_id) in boot_platform_pre_load() function
286 fih_rc = fih_int_encode_zero_equality(boot_platform_pre_load(0)); in main()
910 int boot_platform_pre_load(uint32_t image_id) in boot_platform_pre_load() function
