w                  54 kernel/console.c   uint w; // Write index
w                  99 kernel/console.c     while (cons.r == cons.w) {
w                 156 kernel/console.c     while (cons.e != cons.w &&
w                 164 kernel/console.c     if (cons.e != cons.w) {
w                 182 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);