uartputc           67 kernel/console.c     uartputc(c);
uartputc          154 kernel/defs.h  void            uartputc(int);