pub const SGX_XFRM_AVX512: u32 = 230;