18 #include <drivers/console.h>
25 static console_t console;  variable
195 	if ((info->base == console.base) &&  in check_fdt_uart_info()
206  * console_boot_end() - Unregister the console_t instance form the console list.
207  * @boot_console: Pointer to the console information structure.
220  * setup_runtime_console() - Registers the runtime uart with console list.
251  * runtime_console_init() - Initializes the run time console information.
253  * @bl31_boot_console: Pointer to the console information structure.
276 			INFO("Runtime console setup\n");  in runtime_console_init()
278 			INFO("Early console and DTB console are same\n");  in runtime_console_init()
288 		WARN("BL31: No console device found in DT.\n");  in runtime_console_init()
305 					   &console);  in setup_console()
310 		console_set_scope(&console, CONSOLE_FLAG_BOOT |  in setup_console()
315 		/* Initialize the console to provide early debug support */  in setup_console()
319 					   &console);  in setup_console()
324 		console_set_scope(&console, CONSOLE_FLAG_BOOT |  in setup_console()
329 		/* Initialize the dcc console for debug */  in setup_console()
335 	INFO("BL31: Early console setup\n");  in setup_console()
340 	/* Initialize the runtime console using UART information from the DTB */  in setup_console()
341 	rc = runtime_console_init(&uart_info, &console, uart_clk);  in setup_console()
343 		ERROR("Failed to initialize runtime console: %d\n", rc);  in setup_console()