X86_FEATURE_SGX2
{ X86_FEATURE_SGX2, X86_FEATURE_SGX1 },
{ X86_FEATURE_SGX2, CPUID_EAX, 1, 0x00000012, 0 },
if (cpu_feature_enabled(X86_FEATURE_SGX2) &&
if (!(cpu_feature_enabled(X86_FEATURE_SGX2)))
if (trapnr == PF_VECTOR && !boot_cpu_has(X86_FEATURE_SGX2)) {
if ((trapnr == PF_VECTOR || !boot_cpu_has(X86_FEATURE_SGX2)) &&
guest_cpu_cap_has(vcpu, X86_FEATURE_SGX2)) {
return guest_cpu_cap_has(vcpu, X86_FEATURE_SGX2);
if (guest_cpu_cap_has(vcpu, X86_FEATURE_SGX2))
!cpu_feature_enabled(X86_FEATURE_SGX2));
if (guest_cpu_cap_has(vcpu, X86_FEATURE_SGX2))
kvm_cpu_cap_clear(X86_FEATURE_SGX2);