[−][src]Constant sgx_types::cpu_feature::CPU_FEATURE_MPX

pub const CPU_FEATURE_MPX: uint64_t = 0x1000000000;