total_eating_milliseconds  576 kern/synchprobs/catmouse.c   int total_bowl_milliseconds, total_eating_milliseconds, utilization_percent;
total_eating_milliseconds  692 kern/synchprobs/catmouse.c   total_eating_milliseconds = (NumCats*CatEatTime + NumMice*MouseEatTime)*NumLoops*1000;
total_eating_milliseconds  694 kern/synchprobs/catmouse.c     utilization_percent = total_eating_milliseconds*100/total_bowl_milliseconds;