user_seconds_ptr   39 kern/syscall/time_syscalls.c sys___time(userptr_t user_seconds_ptr, userptr_t user_nanoseconds_ptr)
user_seconds_ptr   47 kern/syscall/time_syscalls.c 	result = copyout(&seconds, user_seconds_ptr, sizeof(time_t));