Constant sgx_libc::MS_SYNC

pub const MS_SYNC: i32 = 4;