uart_tx_r          46 kernel/uart.c  uint64 uart_tx_r; // read next from uart_tx_buf[uart_tx_r % UART_TX_BUF_SIZE]
uart_tx_r          95 kernel/uart.c    while(uart_tx_w == uart_tx_r + UART_TX_BUF_SIZE){
uart_tx_r          98 kernel/uart.c      sleep(&uart_tx_r, &uart_tx_lock);
uart_tx_r         137 kernel/uart.c      if(uart_tx_w == uart_tx_r){
uart_tx_r         150 kernel/uart.c      int c = uart_tx_buf[uart_tx_r % UART_TX_BUF_SIZE];
uart_tx_r         151 kernel/uart.c      uart_tx_r += 1;
uart_tx_r         154 kernel/uart.c      wakeup(&uart_tx_r);