Constant sgx_libc::_PC_SYNC_IO

pub const _PC_SYNC_IO: i32 = 9;