Constant sgx_types::cpu_feature::CPU_FEATURE_PCLMULQDQ

pub const CPU_FEATURE_PCLMULQDQ: uint64_t = 0x00002000;