bowl                6 kern/include/synchprobs.h void cat_before_eating(unsigned int bowl);
bowl                7 kern/include/synchprobs.h void cat_after_eating(unsigned int bowl);
bowl                8 kern/include/synchprobs.h void mouse_before_eating(unsigned int bowl);
bowl                9 kern/include/synchprobs.h void mouse_after_eating(unsigned int bowl);
bowl              438 kern/synchprobs/catmouse.c   unsigned int bowl;
bowl              453 kern/synchprobs/catmouse.c     bowl = ((unsigned int)random() % NumBowls) + 1;
bowl              456 kern/synchprobs/catmouse.c     cat_before_eating(bowl); /* student-implemented function */
bowl              460 kern/synchprobs/catmouse.c     cat_eat(bowl, CatEatTime);
bowl              462 kern/synchprobs/catmouse.c     cat_after_eating(bowl); /* student-implemented function */
bowl              502 kern/synchprobs/catmouse.c   unsigned int bowl;
bowl              516 kern/synchprobs/catmouse.c     bowl = ((unsigned int)random() % NumBowls) + 1;
bowl              519 kern/synchprobs/catmouse.c     mouse_before_eating(bowl); /* student-implemented function */
bowl              523 kern/synchprobs/catmouse.c     mouse_eat(bowl, MouseEatTime);
bowl              525 kern/synchprobs/catmouse.c     mouse_after_eating(bowl); /* student-implemented function */
bowl               77 kern/synchprobs/catmouse_synch.c cat_before_eating(unsigned int bowl) 
bowl               80 kern/synchprobs/catmouse_synch.c   (void)bowl;  /* keep the compiler from complaining about an unused parameter */
bowl               99 kern/synchprobs/catmouse_synch.c cat_after_eating(unsigned int bowl) 
bowl              102 kern/synchprobs/catmouse_synch.c   (void)bowl;  /* keep the compiler from complaining about an unused parameter */
bowl              120 kern/synchprobs/catmouse_synch.c mouse_before_eating(unsigned int bowl) 
bowl              123 kern/synchprobs/catmouse_synch.c   (void)bowl;  /* keep the compiler from complaining about an unused parameter */
bowl              142 kern/synchprobs/catmouse_synch.c mouse_after_eating(unsigned int bowl) 
bowl              145 kern/synchprobs/catmouse_synch.c   (void)bowl;  /* keep the compiler from complaining about an unused parameter */