Constant clock_gettime 

pub const clock_gettime: u64 = 113;

long sys_clock_gettime(clockid_t which_clock, struct __kernel_timespec __user *tp);