Searched refs:boot_platform_pre_load (Results 1 – 11 of 11) sorted by relevance
87 int boot_platform_pre_load(uint32_t image_id);
114 fih_rc = fih_int_encode_zero_equality(boot_platform_pre_load(0)); in main()
145 int boot_platform_pre_load(uint32_t image_id) in boot_platform_pre_load() function
230 int boot_platform_pre_load(uint32_t image_id) in boot_platform_pre_load() function
166 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
162 __WEAK int boot_platform_pre_load(uint32_t image_id) in boot_platform_pre_load() function
193 __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
282 fih_rc = fih_int_encode_zero_equality(boot_platform_pre_load(0)); in main()
