Constant sgx_libc::_SC_TIMERS

pub const _SC_TIMERS: i32 = 11;