cat_after_eating    7 kern/include/synchprobs.h void cat_after_eating(unsigned int bowl);
cat_after_eating  462 kern/synchprobs/catmouse.c     cat_after_eating(bowl); /* student-implemented function */