MouseEatTime       68 kern/synchprobs/catmouse.c static int MouseEatTime = 1;    // length of time a mouse spends eating
MouseEatTime      523 kern/synchprobs/catmouse.c     mouse_eat(bowl, MouseEatTime);
MouseEatTime      622 kern/synchprobs/catmouse.c     MouseEatTime = atoi(args[7]);
MouseEatTime      623 kern/synchprobs/catmouse.c     if (MouseEatTime < 0) {
MouseEatTime      624 kern/synchprobs/catmouse.c       kprintf("catmouse: invalid mouse eating time: %d\n",MouseEatTime);
MouseEatTime      638 kern/synchprobs/catmouse.c   kprintf("Using mouse eating time %d, mouse sleeping time %d\n", MouseEatTime, MouseSleepTime);
MouseEatTime      692 kern/synchprobs/catmouse.c   total_eating_milliseconds = (NumCats*CatEatTime + NumMice*MouseEatTime)*NumLoops*1000;