cat_eat            40 kern/synchprobs/catmouse.c static void cat_eat(unsigned int bowlnumber, int eat_time);
cat_eat           460 kern/synchprobs/catmouse.c     cat_eat(bowl, CatEatTime);