Constant sgx_types::cpu_features::CPU_FEATURE_AVX512VL

pub const CPU_FEATURE_AVX512VL: u64 = 0x4000000000;