@@ -714,6 +714,11 @@ static int cpu_x86_find_by_name(x86_def_t *x86_cpu_def, const char *cpu_model)
x86_cpu_def->ext3_features &= ~minus_ext3_features;
x86_cpu_def->kvm_features &= ~minus_kvm_features;
x86_cpu_def->svm_features &= ~minus_svm_features;
+ if ((x86_cpu_def->ext3_features & CPUID_EXT3_SVM) &&
+ (x86_cpu_def->xlevel < 0x8000000A)) {
+ /* Force xlevel to at least 0x8000000A if SVM enabled */
+ x86_cpu_def->xlevel = 0x8000000A;
+ }
if (check_cpuid) {
if (check_features_against_host(x86_cpu_def) && enforce_cpuid)
goto error;