void serial_putc_raw(const char c) { #ifdef CONFIG_ALLWINNER _serial_putc_raw(c,gd->uart_console+1); #else _serial_putc_raw(c,CONFIG_CONS_INDEX); #endif }
extern void serial_putc_raw(const char c) { _serial_putc_raw(c, CONFIG_CONS_INDEX); }
static inline void serial_putc_raw_dev(unsigned int dev_index,const char c) { _serial_putc_raw(c,dev_index); }