total_bowl_milliseconds  576 kern/synchprobs/catmouse.c   int total_bowl_milliseconds, total_eating_milliseconds, utilization_percent;
total_bowl_milliseconds  691 kern/synchprobs/catmouse.c   total_bowl_milliseconds = (wait_sec*1000 + wait_nsec/1000000)*NumBowls;
total_bowl_milliseconds  693 kern/synchprobs/catmouse.c   if (total_bowl_milliseconds > 0) {
total_bowl_milliseconds  694 kern/synchprobs/catmouse.c     utilization_percent = total_eating_milliseconds*100/total_bowl_milliseconds;