Constant sgx_libc::SYS_clock_gettime

pub const SYS_clock_gettime: i64 = 228; // 228i64