cat_total_wait_nsecs  116 kern/synchprobs/catmouse.c static volatile uint32_t cat_total_wait_nsecs;
cat_total_wait_nsecs  168 kern/synchprobs/catmouse.c   cat_total_wait_nsecs = 0;
cat_total_wait_nsecs  468 kern/synchprobs/catmouse.c     cat_total_wait_nsecs += wait_nsec;
cat_total_wait_nsecs  469 kern/synchprobs/catmouse.c     if (cat_total_wait_nsecs > 1000000000) {
cat_total_wait_nsecs  470 kern/synchprobs/catmouse.c       cat_total_wait_nsecs -= 1000000000;
cat_total_wait_nsecs  709 kern/synchprobs/catmouse.c     mean_cat_wait_usecs = (cat_total_wait_secs*1000000+cat_total_wait_nsecs/1000)/cat_wait_count;