seconds            64 kern/include/clock.h void gettime(time_t *seconds, uint32_t *nanoseconds);
seconds            74 kern/include/clock.h void clocksleep(int seconds);
seconds            41 kern/syscall/time_syscalls.c 	time_t seconds;
seconds            45 kern/syscall/time_syscalls.c 	gettime(&seconds, &nanoseconds);
seconds            47 kern/syscall/time_syscalls.c 	result = copyout(&seconds, user_seconds_ptr, sizeof(time_t));
seconds           155 user/include/unistd.h time_t __time(time_t *seconds, unsigned long *nanoseconds);
seconds           165 user/include/unistd.h time_t time(time_t *seconds);			/* calls __time */