Searched refs:bl31_boot_console (Results 1 – 2 of 2) sorted by relevance
73 static console_t bl31_boot_console; in bl31_early_platform_setup2() local77 &bl31_boot_console); in bl31_early_platform_setup2()78 console_set_scope(&bl31_boot_console, in bl31_early_platform_setup2()
254 console_t *bl31_boot_console, in runtime_console_init() argument271 console_boot_end(bl31_boot_console); in runtime_console_init()282 console_boot_end(bl31_boot_console); in runtime_console_init()