void console_flush(void) { vaddr_t base = console_base(); imx_uart_flush_tx_fifo(base); }
void console_flush(void) { imx_uart_flush_tx_fifo(CONSOLE_UART_BASE); }