eating_mice_count  105 kern/synchprobs/catmouse.c static volatile int eating_mice_count;
eating_mice_count  154 kern/synchprobs/catmouse.c   eating_cats_count = eating_mice_count = 0;
eating_mice_count  277 kern/synchprobs/catmouse.c   if (eating_mice_count > 0) {
eating_mice_count  282 kern/synchprobs/catmouse.c   KASSERT(eating_mice_count == 0);
eating_mice_count  289 kern/synchprobs/catmouse.c 	bowlnumber,eating_cats_count,eating_mice_count);
eating_mice_count  305 kern/synchprobs/catmouse.c 	bowlnumber,eating_cats_count,eating_mice_count);
eating_mice_count  372 kern/synchprobs/catmouse.c   eating_mice_count += 1;
eating_mice_count  376 kern/synchprobs/catmouse.c 	bowlnumber,eating_cats_count,eating_mice_count);
eating_mice_count  387 kern/synchprobs/catmouse.c   KASSERT(eating_mice_count > 0);
eating_mice_count  388 kern/synchprobs/catmouse.c   eating_mice_count -= 1;
eating_mice_count  393 kern/synchprobs/catmouse.c 	bowlnumber,eating_cats_count,eating_mice_count);