uartgetc          151 kernel/defs.h  int             uartgetc(void);
uartgetc          157 kernel/uart.c      int c = uartgetc();