Constant sgx_types::types::XFRM_AVX

pub const XFRM_AVX: u64 = 0x0000_0000_0000_0006;