clocksleep         74 kern/include/clock.h void clocksleep(int seconds);
clocksleep        294 kern/synchprobs/catmouse.c   clocksleep(eat_time);
clocksleep        326 kern/synchprobs/catmouse.c   clocksleep(sleep_time);
clocksleep        381 kern/synchprobs/catmouse.c   clocksleep(eat_time);
clocksleep        413 kern/synchprobs/catmouse.c   clocksleep(sleep_time);