Constant sgx_libc::SYS_sched_getscheduler

pub const SYS_sched_getscheduler: i64 = 145; // 145i64