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 }
int do_printk(int msg_level, const char *fmt, ...) { va_list args; int i; if (msg_level > console_loglevel) { return 0; } va_start(args, fmt); i = vtxprintf(console_tx_byte, fmt, args); va_end(args); #if CONFIG_CONSOLE_NE2K ne2k_transmit(CONFIG_CONSOLE_NE2K_IO_PORT); #endif return i; }
static void ne2k_tx_flush(void) { ne2k_transmit(CONFIG_CONSOLE_NE2K_IO_PORT); }