X86_FEATURE_SGX_EUPDATESVN
{ X86_FEATURE_SGX_EUPDATESVN, X86_FEATURE_SGX1 },
{ X86_FEATURE_SGX_EUPDATESVN, CPUID_EAX, 10, 0x00000012, 0 },
if (!cpu_feature_enabled(X86_FEATURE_SGX_EUPDATESVN))