Constant sgx_types::cpu_feature::CPU_FEATURE_VPCLMULQDQ

pub const CPU_FEATURE_VPCLMULQDQ: uint64_t = 0x800000000000;