NumMice            63 kern/synchprobs/catmouse.c static int NumMice;   // number of mice
NumMice           598 kern/synchprobs/catmouse.c   NumMice = atoi(args[3]);
NumMice           599 kern/synchprobs/catmouse.c   if (NumMice < 0) {
NumMice           600 kern/synchprobs/catmouse.c     kprintf("catmouse: invalid number of mice: %d\n",NumMice);
NumMice           636 kern/synchprobs/catmouse.c           NumBowls,NumCats,NumMice,NumLoops);
NumMice           665 kern/synchprobs/catmouse.c     if (catindex < NumMice) {
NumMice           673 kern/synchprobs/catmouse.c   for(mouseindex = catindex; mouseindex < NumMice; mouseindex++) {
NumMice           682 kern/synchprobs/catmouse.c   for(i=0;i<(NumCats+NumMice);i++) {
NumMice           692 kern/synchprobs/catmouse.c   total_eating_milliseconds = (NumCats*CatEatTime + NumMice*MouseEatTime)*NumLoops*1000;