Constant sgx_types::types::XFRM_AVX512

pub const XFRM_AVX512: u64 = 0x0000_0000_0000_00E6;