after_nsec        440 kern/synchprobs/catmouse.c   uint32_t before_nsec, after_nsec, wait_nsec;
after_nsec        457 kern/synchprobs/catmouse.c     gettime(&after_sec,&after_nsec);
after_nsec        465 kern/synchprobs/catmouse.c     getinterval(before_sec,before_nsec,after_sec,after_nsec,&wait_sec,&wait_nsec);
after_nsec        504 kern/synchprobs/catmouse.c   uint32_t before_nsec, after_nsec, wait_nsec;
after_nsec        520 kern/synchprobs/catmouse.c     gettime(&after_sec,&after_nsec);
after_nsec        528 kern/synchprobs/catmouse.c     getinterval(before_sec,before_nsec,after_sec,after_nsec,&wait_sec,&wait_nsec);
after_nsec        575 kern/synchprobs/catmouse.c   uint32_t before_nsec, after_nsec, wait_nsec;
after_nsec        687 kern/synchprobs/catmouse.c   gettime(&after_sec,&after_nsec);
after_nsec        689 kern/synchprobs/catmouse.c   getinterval(before_sec,before_nsec,after_sec,after_nsec,&wait_sec,&wait_nsec);