uartputc_sync      39 kernel/console.c     uartputc_sync('\b');
uartputc_sync      40 kernel/console.c     uartputc_sync(' ');
uartputc_sync      41 kernel/console.c     uartputc_sync('\b');
uartputc_sync      43 kernel/console.c     uartputc_sync(c);
uartputc_sync     152 kernel/defs.h  void            uartputc_sync(int);