getinterval        66 kern/include/clock.h void getinterval(time_t secs1, uint32_t nsecs,
getinterval       633 kern/startup/menu.c 			getinterval(beforesecs, beforensecs,
getinterval       465 kern/synchprobs/catmouse.c     getinterval(before_sec,before_nsec,after_sec,after_nsec,&wait_sec,&wait_nsec);
getinterval       528 kern/synchprobs/catmouse.c     getinterval(before_sec,before_nsec,after_sec,after_nsec,&wait_sec,&wait_nsec);
getinterval       689 kern/synchprobs/catmouse.c   getinterval(before_sec,before_nsec,after_sec,after_nsec,&wait_sec,&wait_nsec);