Symbol: uart_putc
sys/dev/uart/uart_dbg.c
84
uart_putc(&uart_dbgport, c);
sys/dev/uart/uart_tty.c
153
uart_putc(cp->cn_arg, c);