Constant SYS_clock_gettime 

pub const SYS_clock_gettime: u32 = 228;