eat_time           40 kern/synchprobs/catmouse.c static void cat_eat(unsigned int bowlnumber, int eat_time);
eat_time           42 kern/synchprobs/catmouse.c static void mouse_eat(unsigned int bowlnumber, int eat_time);
eat_time          260 kern/synchprobs/catmouse.c cat_eat(unsigned int bowlnumber, int eat_time)
eat_time          294 kern/synchprobs/catmouse.c   clocksleep(eat_time);
eat_time          348 kern/synchprobs/catmouse.c mouse_eat(unsigned int bowlnumber, int eat_time)
eat_time          381 kern/synchprobs/catmouse.c   clocksleep(eat_time);