w                  51 kernel/console.c   uint w;  // Write index
w                  95 kernel/console.c     while(cons.r == cons.w){
w                 149 kernel/console.c     while(cons.e != cons.w &&
w                 157 kernel/console.c     if(cons.e != cons.w){
w                 175 kernel/console.c         cons.w = cons.e;
w                  12 user/wc.c        int l, w, c, inword;
w                  14 user/wc.c        l = w = c = 0;
w                  24 user/wc.c              w++;
w                  33 user/wc.c        printf("%d %d %d %s\n", l, w, c, name);