Constant sgx_libc::_SC_SYNCHRONIZED_IO

pub const _SC_SYNCHRONIZED_IO: i32 = 14;