static void pre_console_putc(const char c) { #ifdef CONFIG_PRE_CONSOLE_BUFFER char *buffer = (char *)CONFIG_PRE_CON_BUF_ADDR; buffer[CIRC_BUF_IDX(gd->precon_buf_idx++)] = c; #endif #ifdef CONFIG_PRE_CONSOLE_PUTC
#ifdef CONFIG_PRE_CONSOLE_PUTC board_pre_console_putc(c); #endif } static void pre_console_puts(const char *s) @@ -352,7 +347,6 @@ static void pre_console_puts(const char *s) static void print_pre_console_buffer(void) { #ifdef CONFIG_PRE_CONSOLE_BUFFER unsigned long i = 0; ch...