Constant sgx_libc::SYS_sched_get_priority_max

pub const SYS_sched_get_priority_max: i64 = 146; // 146i64