uartwrite          74 kernel/console.c     uartwrite(buf, nn);
uartwrite         151 kernel/defs.h  void            uartwrite(char [], int);