void uart_tx_flush(int idx) { void *base = uart_platform_baseptr(idx); if (!base) return; uart8250_mem_tx_flush(base); }
void console_tx_flush(void) { #if CONFIG_CONSOLE_SERIAL8250MEM uart8250_mem_tx_flush(CONFIG_OXFORD_OXPCIE_BASE_ADDRESS + 0x1000); #endif #if CONFIG_CONSOLE_SERIAL8250 uart8250_tx_flush(CONFIG_TTYS0_BASE); #endif #if CONFIG_CONSOLE_NE2K ne2k_transmit(CONFIG_CONSOLE_NE2K_IO_PORT); #endif #if CONFIG_USBDEBUG && (CONFIG_EARLY_CBMEM_INIT || !defined(__PRE_RAM__)) usbdebug_tx_flush(dbgp_console_output()); #endif }
static void _console_tx_flush(void) { #if CONFIG_CONSOLE_SERIAL8250MEM uart8250_mem_tx_flush(CONFIG_OXFORD_OXPCIE_BASE_ADDRESS + 0x1000); #endif #if CONFIG_CONSOLE_SERIAL8250 uart8250_tx_flush(CONFIG_TTYS0_BASE); #endif #if CONFIG_CONSOLE_SERIAL_UART uart_tx_flush(); #endif #if CONFIG_USBDEBUG usbdebug_tx_flush(0); #endif }
static void uartmem_tx_flush(void) { uart8250_mem_tx_flush(uart_bar); }