Constant sgx_types::cpu_features::CPU_FEATURE_AVX512_VBMI2

pub const CPU_FEATURE_AVX512_VBMI2: u64 = 0x100000000000;