X86_FEATURE_VNMI
set_cpu_cap(c, X86_FEATURE_VNMI);
kvm_cpu_cap_set(X86_FEATURE_VNMI);
vnmi = vgif && vnmi && boot_cpu_has(X86_FEATURE_VNMI);
return guest_cpu_cap_has(&svm->vcpu, X86_FEATURE_VNMI) &&