mean_cat_wait_usecs  573 kern/synchprobs/catmouse.c   int mean_cat_wait_usecs, mean_mouse_wait_usecs;
mean_cat_wait_usecs  709 kern/synchprobs/catmouse.c     mean_cat_wait_usecs = (cat_total_wait_secs*1000000+cat_total_wait_nsecs/1000)/cat_wait_count;
mean_cat_wait_usecs  710 kern/synchprobs/catmouse.c     kprintf("Mean cat waiting time: %d.%d seconds\n",mean_cat_wait_usecs/1000000,mean_cat_wait_usecs%1000000);