Constant sgx_types::cpu_features::CPU_FEATURE_SSE4_1

pub const CPU_FEATURE_SSE4_1: u64 = 0x00000200;