pub const SGX_XFRM_AVX: u32 = 6;