Constant __NR_clock_gettime64 

pub const __NR_clock_gettime64: u32 = 403;