mean_mouse_wait_usecs  573 kern/synchprobs/catmouse.c   int mean_cat_wait_usecs, mean_mouse_wait_usecs;
mean_mouse_wait_usecs  714 kern/synchprobs/catmouse.c     mean_mouse_wait_usecs = (mouse_total_wait_secs*1000000+mouse_total_wait_nsecs/1000)/mouse_wait_count;
mean_mouse_wait_usecs  715 kern/synchprobs/catmouse.c     kprintf("Mean mouse waiting time: %d.%d seconds\n",mean_mouse_wait_usecs/1000000,mean_mouse_wait_usecs%1000000);