tx_chan            44 kernel/uart.c  static int tx_chan;           // &tx_chan is the "wait channel"
tx_chan            90 kernel/uart.c        sleep(&tx_chan, &tx_lock);
tx_chan           151 kernel/uart.c      wakeup(&tx_chan);