Constant sgx_libc::SYNC_FILE_RANGE_WAIT_AFTER

pub const SYNC_FILE_RANGE_WAIT_AFTER: u32 = 4; // 4u32