Constant sgx_types::cpu_feature::CPU_FEATURE_ADX

pub const CPU_FEATURE_ADX: uint64_t = 0x10000000;