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