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