after_sec         439 kern/synchprobs/catmouse.c   time_t before_sec, after_sec, wait_sec;
after_sec         457 kern/synchprobs/catmouse.c     gettime(&after_sec,&after_nsec);
after_sec         465 kern/synchprobs/catmouse.c     getinterval(before_sec,before_nsec,after_sec,after_nsec,&wait_sec,&wait_nsec);
after_sec         503 kern/synchprobs/catmouse.c   time_t before_sec, after_sec, wait_sec;
after_sec         520 kern/synchprobs/catmouse.c     gettime(&after_sec,&after_nsec);
after_sec         528 kern/synchprobs/catmouse.c     getinterval(before_sec,before_nsec,after_sec,after_nsec,&wait_sec,&wait_nsec);
after_sec         574 kern/synchprobs/catmouse.c   time_t before_sec, after_sec, wait_sec;
after_sec         687 kern/synchprobs/catmouse.c   gettime(&after_sec,&after_nsec);
after_sec         689 kern/synchprobs/catmouse.c   getinterval(before_sec,before_nsec,after_sec,after_nsec,&wait_sec,&wait_nsec);