Searched refs:boot_platform_init (Results 1 – 18 of 18) sorted by relevance
60 int32_t boot_platform_init(void);
51 int32_t boot_platform_init(void) in boot_platform_init() function
585 int32_t boot_platform_init(void) in boot_platform_init() function
57 int32_t boot_platform_init(void) in boot_platform_init() function
47 int32_t boot_platform_init(void) in boot_platform_init() function
35 int32_t boot_platform_init(void) in boot_platform_init() function
94 fih_rc = fih_int_encode_zero_equality(boot_platform_init()); in main()
59 int32_t boot_platform_init(void) in boot_platform_init() function
257 int32_t boot_platform_init(void) in boot_platform_init() function
115 if (boot_platform_init() != 0) { in main()
135 int32_t boot_platform_init(void) in boot_platform_init() function
77 __WEAK int32_t boot_platform_init(void) in boot_platform_init() function
142 __WEAK int32_t boot_platform_init(void) in boot_platform_init() function
120 __WEAK int32_t boot_platform_init(void) in boot_platform_init() function
192 int32_t boot_platform_init(void) in boot_platform_init() function
271 fih_rc = fih_int_encode_zero_equality(boot_platform_init()); in main()
562 int32_t boot_platform_init(void) in boot_platform_init() function
578 int32_t boot_platform_init(void) in boot_platform_init() function
