input             187 console.c      } input;
input             204 console.c            while(input.e != input.w &&
input             205 console.c                  input.buf[(input.e-1) % INPUT_BUF] != '\n'){
input             206 console.c              input.e--;
input             211 console.c            if(input.e != input.w){
input             212 console.c              input.e--;
input             217 console.c            if(c != 0 && input.e-input.r < INPUT_BUF){
input             219 console.c              input.buf[input.e++ % INPUT_BUF] = c;
input             221 console.c              if(c == '\n' || c == C('D') || input.e == input.r+INPUT_BUF){
input             222 console.c                input.w = input.e;
input             223 console.c                wakeup(&input.r);
input             245 console.c          while(input.r == input.w){
input             251 console.c            sleep(&input.r, &cons.lock);
input             253 console.c          c = input.buf[input.r++ % INPUT_BUF];
input             258 console.c              input.r--;