cat_wait_count    117 kern/synchprobs/catmouse.c static volatile int cat_wait_count;
cat_wait_count    169 kern/synchprobs/catmouse.c   cat_wait_count = 0;
cat_wait_count    473 kern/synchprobs/catmouse.c     cat_wait_count++;
cat_wait_count    707 kern/synchprobs/catmouse.c   if (cat_wait_count > 0) {
cat_wait_count    709 kern/synchprobs/catmouse.c     mean_cat_wait_usecs = (cat_total_wait_secs*1000000+cat_total_wait_nsecs/1000)/cat_wait_count;