pub const clock_settime: u64 = 112;
long sys_clock_settime(clockid_t which_clock, const struct __kernel_timespec __user *tp);