uartgetc          156 kernel/defs.h  int             uartgetc(void);
uartgetc          181 kernel/uart.c      int c = uartgetc();