Constant sgx_types::cpu_features::CPU_FEATURE_AVX512VBMI

pub const CPU_FEATURE_AVX512VBMI: u64 = 0x8000000000;