Searched refs:console_s32g2_register (Results 1 – 4 of 4) sorted by relevance
10 void console_s32g2_register(void);
13 void console_s32g2_register(void) in console_s32g2_register() function
47 console_s32g2_register(); in bl31_plat_arch_setup()
140 console_s32g2_register(); in bl2_el3_early_platform_setup()