mouse_eat          42 kern/synchprobs/catmouse.c static void mouse_eat(unsigned int bowlnumber, int eat_time);
mouse_eat         523 kern/synchprobs/catmouse.c     mouse_eat(bowl, MouseEatTime);