Constant sgx_libc::_SC_PRIORITIZED_IO

pub const _SC_PRIORITIZED_IO: i32 = 13;