Constant sgx_types::SGX_XFRM_AVX

pub const SGX_XFRM_AVX: uint64_t = 0x0000_0000_0000_0006;