[][src]Constant sgx_types::cpu_feature::CPU_FEATURE_SSE4_2

pub const CPU_FEATURE_SSE4_2: uint64_t = 0x00000400;