Constant sgx_libc::SYS_rt_sigtimedwait

pub const SYS_rt_sigtimedwait: i64 = 128; // 128i64