wait_nsec         440 kern/synchprobs/catmouse.c   uint32_t before_nsec, after_nsec, wait_nsec;
wait_nsec         465 kern/synchprobs/catmouse.c     getinterval(before_sec,before_nsec,after_sec,after_nsec,&wait_sec,&wait_nsec);
wait_nsec         468 kern/synchprobs/catmouse.c     cat_total_wait_nsecs += wait_nsec;
wait_nsec         504 kern/synchprobs/catmouse.c   uint32_t before_nsec, after_nsec, wait_nsec;
wait_nsec         528 kern/synchprobs/catmouse.c     getinterval(before_sec,before_nsec,after_sec,after_nsec,&wait_sec,&wait_nsec);
wait_nsec         531 kern/synchprobs/catmouse.c     mouse_total_wait_nsecs += wait_nsec;
wait_nsec         575 kern/synchprobs/catmouse.c   uint32_t before_nsec, after_nsec, wait_nsec;
wait_nsec         689 kern/synchprobs/catmouse.c   getinterval(before_sec,before_nsec,after_sec,after_nsec,&wait_sec,&wait_nsec);
wait_nsec         691 kern/synchprobs/catmouse.c   total_bowl_milliseconds = (wait_sec*1000 + wait_nsec/1000000)*NumBowls;