tx_busy            43 kernel/uart.c  static int tx_busy;           // is the UART busy sending?
tx_busy            87 kernel/uart.c      while(tx_busy != 0){
tx_busy            95 kernel/uart.c      tx_busy = 1;
tx_busy           150 kernel/uart.c      tx_busy = 0;