tx_chan            43 kernel/uart.c  static int tx_chan; // &tx_chan is the "wait channel"
tx_chan            86 kernel/uart.c      sleep_prepare(&tx_chan);
tx_chan           145 kernel/uart.c      wakeup(&tx_chan);