utilization_percent  576 kern/synchprobs/catmouse.c   int total_bowl_milliseconds, total_eating_milliseconds, utilization_percent;
utilization_percent  694 kern/synchprobs/catmouse.c     utilization_percent = total_eating_milliseconds*100/total_bowl_milliseconds;
utilization_percent  695 kern/synchprobs/catmouse.c     kprintf("Bowl utilization: %d%%\n",utilization_percent);