Searched refs:interrupts_bl2_init (Results 1 – 3 of 3) sorted by relevance
13 int32_t interrupts_bl2_init(void);
82 int32_t interrupts_bl2_init(void) { in interrupts_bl2_init() function
228 result = interrupts_bl2_init(); in boot_platform_post_init()
