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