Lines Matching defs:console
18 #include <drivers/console.h>
25 static console_t console;
195 if ((info->base == console.base) &&
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");
278 INFO("Early console and DTB console are same\n");
288 WARN("BL31: No console device found in DT.\n");
305 &console);
310 console_set_scope(&console, CONSOLE_FLAG_BOOT |
315 /* Initialize the console to provide early debug support */
319 &console);
324 console_set_scope(&console, CONSOLE_FLAG_BOOT |
329 /* Initialize the dcc console for debug */
335 INFO("BL31: Early console setup\n");
340 /* Initialize the runtime console using UART information from the DTB */
341 rc = runtime_console_init(&uart_info, &console, uart_clk);
343 ERROR("Failed to initialize runtime console: %d\n", rc);