Constant sgx_libc::SYS_sched_setscheduler

pub const SYS_sched_setscheduler: i64 = 144; // 144i64