Constant sgx_libc::_SC_CPUTIME

pub const _SC_CPUTIME: i32 = 138;