Constant sgx_libc::_SC_ASYNCHRONOUS_IO

pub const _SC_ASYNCHRONOUS_IO: i32 = 12;