CatSleepTime       67 kern/synchprobs/catmouse.c static int CatSleepTime = 2;    // length of time a cat spends sleeping
CatSleepTime      450 kern/synchprobs/catmouse.c     cat_sleep(CatSleepTime);
CatSleepTime      616 kern/synchprobs/catmouse.c     CatSleepTime = atoi(args[6]);
CatSleepTime      617 kern/synchprobs/catmouse.c     if (CatSleepTime < 0) {
CatSleepTime      618 kern/synchprobs/catmouse.c       kprintf("catmouse: invalid cat sleeping time: %d\n",CatSleepTime);
CatSleepTime      637 kern/synchprobs/catmouse.c   kprintf("Using cat eating time %d, cat sleeping time %d\n", CatEatTime, CatSleepTime);