Constant sgx_types::cpu_features::CPU_FEATURE_AVX512_BITALG

pub const CPU_FEATURE_AVX512_BITALG: u64 = 0x80000000000;