cat_sleep          41 kern/synchprobs/catmouse.c static void cat_sleep(int sleep_time);
cat_sleep         450 kern/synchprobs/catmouse.c     cat_sleep(CatSleepTime);