pub const clock_gettime: u64 = 113;
long sys_clock_gettime(clockid_t which_clock, struct __kernel_timespec __user *tp);