Constant sgx_libc::SYS_sched_rr_get_interval

pub const SYS_sched_rr_get_interval: i64 = 148; // 148i64