void console_init(void) { #if CONFIG_DEBUG_SMI console_loglevel = CONFIG_DEFAULT_CONSOLE_LOGLEVEL; #if CONFIG_CONSOLE_SERIAL8250 uart_init(); #endif #if CONFIG_CONSOLE_SERIAL8250MEM serial8250mem_base_address = uart_mem_init(); #endif #else console_loglevel = 1; #endif }
static void uartmem_init(void) { uart_bar = uart_mem_init(); }