void console_putc(int ch) { imx_uart_putc(ch, CONSOLE_UART_BASE); /* If \n, also do \r */ if (ch == '\n') imx_uart_putc('\r', CONSOLE_UART_BASE); }
void console_putc(int ch) { vaddr_t base = console_base(); /* If \n, also do \r */ if (ch == '\n') imx_uart_putc('\r', base); imx_uart_putc(ch, base); }