void console_putc(int ch) { vaddr_t base = console_base(); if (ch == '\n') pl011_putc('\r', base); pl011_putc(ch, 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); }
void console_flush(void) { pl011_flush(console_base()); }
void console_init(void) { pl011_init(console_base(), CONSOLE_UART_CLK_IN_HZ, CONSOLE_BAUDRATE); }
void console_init(void) { vaddr_t base = console_base(); imx_uart_init(base); }
void console_flush(void) { vaddr_t base = console_base(); imx_uart_flush_tx_fifo(base); }
void console_flush(void) { if (!boot_is_completed) return; __asc_flush(console_base()); }
void console_putc(int ch) { if (!boot_is_completed) return; __asc_xmit_char((char)ch, console_base()); }