nanoseconds        64 kern/include/clock.h void gettime(time_t *seconds, uint32_t *nanoseconds);
nanoseconds        42 kern/syscall/time_syscalls.c 	uint32_t nanoseconds;
nanoseconds        45 kern/syscall/time_syscalls.c 	gettime(&seconds, &nanoseconds);
nanoseconds        52 kern/syscall/time_syscalls.c 	result = copyout(&nanoseconds, user_nanoseconds_ptr, sizeof(uint32_t));
nanoseconds       155 user/include/unistd.h time_t __time(time_t *seconds, unsigned long *nanoseconds);