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 11 user/wc.c int l, w, c, inword; w 13 user/wc.c l = w = c = 0; w 23 user/wc.c w++; w 32 user/wc.c printf("%d %d %d %s\n", l, w, c, name);