NumLoops           64 kern/synchprobs/catmouse.c static int NumLoops;  // number of times each cat and mouse should eat
NumLoops          447 kern/synchprobs/catmouse.c   for(i=0;i<NumLoops;i++) {
NumLoops          510 kern/synchprobs/catmouse.c   for(i=0;i<NumLoops;i++) {
NumLoops          603 kern/synchprobs/catmouse.c   NumLoops = atoi(args[4]);
NumLoops          604 kern/synchprobs/catmouse.c   if (NumLoops <= 0) {
NumLoops          605 kern/synchprobs/catmouse.c     kprintf("catmouse: invalid number of loops: %d\n",NumLoops);
NumLoops          636 kern/synchprobs/catmouse.c           NumBowls,NumCats,NumMice,NumLoops);
NumLoops          692 kern/synchprobs/catmouse.c   total_eating_milliseconds = (NumCats*CatEatTime + NumMice*MouseEatTime)*NumLoops*1000;