Constant xed_sys::XED_CPUID_BIT_SGX[−][src]

pub const XED_CPUID_BIT_SGX: xed_cpuid_bit_enum_t = 72;