CatEatTime         66 kern/synchprobs/catmouse.c static int CatEatTime = 1;      // length of time a cat spends eating
CatEatTime        460 kern/synchprobs/catmouse.c     cat_eat(bowl, CatEatTime);
CatEatTime        610 kern/synchprobs/catmouse.c     CatEatTime = atoi(args[5]);
CatEatTime        611 kern/synchprobs/catmouse.c     if (CatEatTime < 0) {
CatEatTime        612 kern/synchprobs/catmouse.c       kprintf("catmouse: invalid cat eating time: %d\n",CatEatTime);
CatEatTime        637 kern/synchprobs/catmouse.c   kprintf("Using cat eating time %d, cat sleeping time %d\n", CatEatTime, CatSleepTime);
CatEatTime        692 kern/synchprobs/catmouse.c   total_eating_milliseconds = (NumCats*CatEatTime + NumMice*MouseEatTime)*NumLoops*1000;