|
|
@@ -100,8 +100,8 @@ int main(int argc, char *argv[])
|
|
|
msr_platform_info = vcpu_get_msr(vm, VCPU_ID, MSR_PLATFORM_INFO);
|
|
|
vcpu_set_msr(vm, VCPU_ID, MSR_PLATFORM_INFO,
|
|
|
msr_platform_info | MSR_PLATFORM_INFO_MAX_TURBO_RATIO);
|
|
|
- test_msr_platform_info_disabled(vm);
|
|
|
test_msr_platform_info_enabled(vm);
|
|
|
+ test_msr_platform_info_disabled(vm);
|
|
|
vcpu_set_msr(vm, VCPU_ID, MSR_PLATFORM_INFO, msr_platform_info);
|
|
|
|
|
|
kvm_vm_free(vm);
|