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