nsecs2             67 kern/include/clock.h                  time_t secs2, uint32_t nsecs2,
nsecs2            266 kern/test/synchtest.c 	uint32_t nsecs1, nsecs2;
nsecs2            275 kern/test/synchtest.c 			gettime(&secs2, &nsecs2);
nsecs2            277 kern/test/synchtest.c 			if (nsecs2 < nsecs1) {
nsecs2            279 kern/test/synchtest.c 				nsecs2 += 1000000000;
nsecs2            282 kern/test/synchtest.c 			nsecs2 -= nsecs1;
nsecs2            286 kern/test/synchtest.c 			if (secs2==0 && nsecs2 < 40*2000) {
nsecs2            287 kern/test/synchtest.c 				kprintf("cv_wait took only %u ns\n", nsecs2);