bowlnumber         40 kern/synchprobs/catmouse.c static void cat_eat(unsigned int bowlnumber, int eat_time);
bowlnumber         42 kern/synchprobs/catmouse.c static void mouse_eat(unsigned int bowlnumber, int eat_time);
bowlnumber        260 kern/synchprobs/catmouse.c cat_eat(unsigned int bowlnumber, int eat_time)
bowlnumber        264 kern/synchprobs/catmouse.c   KASSERT(bowlnumber > 0);
bowlnumber        265 kern/synchprobs/catmouse.c   KASSERT((int)bowlnumber <= NumBowls);
bowlnumber        273 kern/synchprobs/catmouse.c   if (bowls[bowlnumber-1] == 'c') {
bowlnumber        275 kern/synchprobs/catmouse.c     panic("cat_eat: attempt to make two cats eat from bowl %d!\n",bowlnumber);
bowlnumber        281 kern/synchprobs/catmouse.c   KASSERT(bowls[bowlnumber-1]=='-');
bowlnumber        286 kern/synchprobs/catmouse.c   bowls[bowlnumber-1] = 'c';
bowlnumber        289 kern/synchprobs/catmouse.c 	bowlnumber,eating_cats_count,eating_mice_count);
bowlnumber        300 kern/synchprobs/catmouse.c   KASSERT(bowls[bowlnumber-1]=='c');
bowlnumber        302 kern/synchprobs/catmouse.c   bowls[bowlnumber-1]='-';
bowlnumber        305 kern/synchprobs/catmouse.c 	bowlnumber,eating_cats_count,eating_mice_count);
bowlnumber        348 kern/synchprobs/catmouse.c mouse_eat(unsigned int bowlnumber, int eat_time)
bowlnumber        351 kern/synchprobs/catmouse.c   KASSERT(bowlnumber > 0);
bowlnumber        352 kern/synchprobs/catmouse.c   KASSERT((int)bowlnumber <= NumBowls);
bowlnumber        360 kern/synchprobs/catmouse.c   if (bowls[bowlnumber-1] == 'm') {
bowlnumber        362 kern/synchprobs/catmouse.c     panic("mouse_eat: attempt to make two mice eat from bowl %d!\n",bowlnumber);
bowlnumber        368 kern/synchprobs/catmouse.c   KASSERT(bowls[bowlnumber-1]=='-');
bowlnumber        373 kern/synchprobs/catmouse.c   bowls[bowlnumber-1] = 'm';
bowlnumber        376 kern/synchprobs/catmouse.c 	bowlnumber,eating_cats_count,eating_mice_count);
bowlnumber        389 kern/synchprobs/catmouse.c   KASSERT(bowls[bowlnumber-1]=='m');
bowlnumber        390 kern/synchprobs/catmouse.c   bowls[bowlnumber-1]='-';
bowlnumber        393 kern/synchprobs/catmouse.c 	bowlnumber,eating_cats_count,eating_mice_count);