w 51 kernel/console.c uint w; // Write index w 91 kernel/console.c while(cons.r == cons.w){ w 145 kernel/console.c while(cons.e != cons.w && w 153 kernel/console.c if(cons.e != cons.w){ w 171 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);