uart_tx_w          45 kernel/uart.c  uint64 uart_tx_w; // write next to uart_tx_buf[uart_tx_w % UART_TX_BUF_SIZE]
uart_tx_w          95 kernel/uart.c    while(uart_tx_w == uart_tx_r + UART_TX_BUF_SIZE){
uart_tx_w         100 kernel/uart.c    uart_tx_buf[uart_tx_w % UART_TX_BUF_SIZE] = c;
uart_tx_w         101 kernel/uart.c    uart_tx_w += 1;
uart_tx_w         137 kernel/uart.c      if(uart_tx_w == uart_tx_r){