void serial_putc(const char c) { if (bootcmdflag == 1 || showinfoflag == 1) { #ifdef CONFIG_USB_TTY char tmp[2]; tmp[0] = c; tmp[1] = 0; if(( c != '\r' )&&(do_puts == 0)) { usbtty_putc(c); } #endif while (1) { if ((pUart_Reg->URUSR & URUSR_TXDBSY) == 0) /* TX data not busy */ break; } pUart_Reg->URTDR = c; if (c == '\n') serial_putc('\r'); } }
void quad_putc_dev (unsigned long base, const char c) { if (zoom2_debug_board_connected ()) { if (c == '\n') quad_putc_dev (base, '\r'); NS16550_putc ((NS16550_t) base, c); } else { usbtty_putc(c); } }