uartputc_sync      38 kernel/console.c     uartputc_sync('\b'); uartputc_sync(' '); uartputc_sync('\b');
uartputc_sync      40 kernel/console.c     uartputc_sync(c);
uartputc_sync     155 kernel/defs.h  void            uartputc_sync(int);