sleep_time         41 kern/synchprobs/catmouse.c static void cat_sleep(int sleep_time);
sleep_time         43 kern/synchprobs/catmouse.c static void mouse_sleep(int sleep_time);
sleep_time        323 kern/synchprobs/catmouse.c cat_sleep(int sleep_time)
sleep_time        326 kern/synchprobs/catmouse.c   clocksleep(sleep_time);
sleep_time        410 kern/synchprobs/catmouse.c mouse_sleep(int sleep_time)
sleep_time        413 kern/synchprobs/catmouse.c   clocksleep(sleep_time);