NumCats            62 kern/synchprobs/catmouse.c static int NumCats;   // number of cats
NumCats           593 kern/synchprobs/catmouse.c   NumCats = atoi(args[2]);
NumCats           594 kern/synchprobs/catmouse.c   if (NumCats < 0) {
NumCats           595 kern/synchprobs/catmouse.c     kprintf("catmouse: invalid number of cats: %d\n",NumCats);
NumCats           636 kern/synchprobs/catmouse.c           NumBowls,NumCats,NumMice,NumLoops);
NumCats           660 kern/synchprobs/catmouse.c   for (catindex = 0; catindex < NumCats; catindex++) {
NumCats           682 kern/synchprobs/catmouse.c   for(i=0;i<(NumCats+NumMice);i++) {
NumCats           692 kern/synchprobs/catmouse.c   total_eating_milliseconds = (NumCats*CatEatTime + NumMice*MouseEatTime)*NumLoops*1000;