wait_sec          439 kern/synchprobs/catmouse.c   time_t before_sec, after_sec, wait_sec;
wait_sec          465 kern/synchprobs/catmouse.c     getinterval(before_sec,before_nsec,after_sec,after_nsec,&wait_sec,&wait_nsec);
wait_sec          467 kern/synchprobs/catmouse.c     cat_total_wait_secs += wait_sec;
wait_sec          503 kern/synchprobs/catmouse.c   time_t before_sec, after_sec, wait_sec;
wait_sec          528 kern/synchprobs/catmouse.c     getinterval(before_sec,before_nsec,after_sec,after_nsec,&wait_sec,&wait_nsec);
wait_sec          530 kern/synchprobs/catmouse.c     mouse_total_wait_secs += wait_sec;
wait_sec          574 kern/synchprobs/catmouse.c   time_t before_sec, after_sec, wait_sec;
wait_sec          689 kern/synchprobs/catmouse.c   getinterval(before_sec,before_nsec,after_sec,after_nsec,&wait_sec,&wait_nsec);
wait_sec          691 kern/synchprobs/catmouse.c   total_bowl_milliseconds = (wait_sec*1000 + wait_nsec/1000000)*NumBowls;