gettime            64 kern/include/clock.h void gettime(time_t *seconds, uint32_t *nanoseconds);
gettime           628 kern/startup/menu.c 			gettime(&beforesecs, &beforensecs);
gettime           632 kern/startup/menu.c 			gettime(&aftersecs, &afternsecs);
gettime           455 kern/synchprobs/catmouse.c     gettime(&before_sec,&before_nsec);
gettime           457 kern/synchprobs/catmouse.c     gettime(&after_sec,&after_nsec);
gettime           518 kern/synchprobs/catmouse.c     gettime(&before_sec,&before_nsec);
gettime           520 kern/synchprobs/catmouse.c     gettime(&after_sec,&after_nsec);
gettime           654 kern/synchprobs/catmouse.c   gettime(&before_sec,&before_nsec);
gettime           687 kern/synchprobs/catmouse.c   gettime(&after_sec,&after_nsec);
gettime            45 kern/syscall/time_syscalls.c 	gettime(&seconds, &nanoseconds);
gettime           273 kern/test/synchtest.c 			gettime(&secs1, &nsecs1);
gettime           275 kern/test/synchtest.c 			gettime(&secs2, &nsecs2);