user_nanoseconds_ptr   39 kern/syscall/time_syscalls.c sys___time(userptr_t user_seconds_ptr, userptr_t user_nanoseconds_ptr)
user_nanoseconds_ptr   52 kern/syscall/time_syscalls.c 	result = copyout(&nanoseconds, user_nanoseconds_ptr, sizeof(uint32_t));