MouseSleepTime     69 kern/synchprobs/catmouse.c static int MouseSleepTime = 2;  // length of time a mouse spends sleeping
MouseSleepTime    513 kern/synchprobs/catmouse.c     mouse_sleep(MouseSleepTime);
MouseSleepTime    628 kern/synchprobs/catmouse.c     MouseSleepTime = atoi(args[8]);
MouseSleepTime    629 kern/synchprobs/catmouse.c     if (MouseSleepTime < 0) {
MouseSleepTime    630 kern/synchprobs/catmouse.c       kprintf("catmouse: invalid mouse sleeping time: %d\n",MouseSleepTime);
MouseSleepTime    638 kern/synchprobs/catmouse.c   kprintf("Using mouse eating time %d, mouse sleeping time %d\n", MouseEatTime, MouseSleepTime);