Constant sgx_libc::CLOCK_THREAD_CPUTIME_ID

pub const CLOCK_THREAD_CPUTIME_ID: i32 = 3;