Constant sgx_libc::_SC_PRIORITY_SCHEDULING

pub const _SC_PRIORITY_SCHEDULING: i32 = 10;