eating_cats_count  100 kern/synchprobs/catmouse.c static volatile int eating_cats_count;
eating_cats_count  154 kern/synchprobs/catmouse.c   eating_cats_count = eating_mice_count = 0;
eating_cats_count  285 kern/synchprobs/catmouse.c   eating_cats_count += 1;
eating_cats_count  289 kern/synchprobs/catmouse.c 	bowlnumber,eating_cats_count,eating_mice_count);
eating_cats_count  299 kern/synchprobs/catmouse.c   KASSERT(eating_cats_count > 0);
eating_cats_count  301 kern/synchprobs/catmouse.c   eating_cats_count -= 1;
eating_cats_count  305 kern/synchprobs/catmouse.c 	bowlnumber,eating_cats_count,eating_mice_count);
eating_cats_count  364 kern/synchprobs/catmouse.c   if (eating_cats_count > 0) {
eating_cats_count  369 kern/synchprobs/catmouse.c   KASSERT(eating_cats_count == 0);
eating_cats_count  376 kern/synchprobs/catmouse.c 	bowlnumber,eating_cats_count,eating_mice_count);
eating_cats_count  393 kern/synchprobs/catmouse.c 	bowlnumber,eating_cats_count,eating_mice_count);