pub fn sys_clock_gettime( clock_id: __kernel_clockid_t, ts: UserPtr<timespec>, ) -> LinuxResult<isize>