|
@@ -20,6 +20,7 @@
|
|
|
#include "mmu.h"
|
|
|
#include "kvm_cache_regs.h"
|
|
|
#include "x86.h"
|
|
|
+#include "cpuid.h"
|
|
|
|
|
|
#include <linux/module.h>
|
|
|
#include <linux/mod_devicetable.h>
|
|
@@ -1193,6 +1194,8 @@ static void init_vmcb(struct vcpu_svm *svm)
|
|
|
static int svm_vcpu_reset(struct kvm_vcpu *vcpu)
|
|
|
{
|
|
|
struct vcpu_svm *svm = to_svm(vcpu);
|
|
|
+ u32 dummy;
|
|
|
+ u32 eax = 1;
|
|
|
|
|
|
init_vmcb(svm);
|
|
|
|
|
@@ -1201,8 +1204,9 @@ static int svm_vcpu_reset(struct kvm_vcpu *vcpu)
|
|
|
svm->vmcb->save.cs.base = svm->vcpu.arch.sipi_vector << 12;
|
|
|
svm->vmcb->save.cs.selector = svm->vcpu.arch.sipi_vector << 8;
|
|
|
}
|
|
|
- vcpu->arch.regs_avail = ~0;
|
|
|
- vcpu->arch.regs_dirty = ~0;
|
|
|
+
|
|
|
+ kvm_cpuid(vcpu, &eax, &dummy, &dummy, &dummy);
|
|
|
+ kvm_register_write(vcpu, VCPU_REGS_RDX, eax);
|
|
|
|
|
|
return 0;
|
|
|
}
|
|
@@ -1259,10 +1263,6 @@ static struct kvm_vcpu *svm_create_vcpu(struct kvm *kvm, unsigned int id)
|
|
|
svm->asid_generation = 0;
|
|
|
init_vmcb(svm);
|
|
|
|
|
|
- err = fx_init(&svm->vcpu);
|
|
|
- if (err)
|
|
|
- goto free_page4;
|
|
|
-
|
|
|
svm->vcpu.arch.apic_base = 0xfee00000 | MSR_IA32_APICBASE_ENABLE;
|
|
|
if (kvm_vcpu_is_bsp(&svm->vcpu))
|
|
|
svm->vcpu.arch.apic_base |= MSR_IA32_APICBASE_BSP;
|
|
@@ -1271,8 +1271,6 @@ static struct kvm_vcpu *svm_create_vcpu(struct kvm *kvm, unsigned int id)
|
|
|
|
|
|
return &svm->vcpu;
|
|
|
|
|
|
-free_page4:
|
|
|
- __free_page(hsave_page);
|
|
|
free_page3:
|
|
|
__free_pages(nested_msrpm_pages, MSRPM_ALLOC_ORDER);
|
|
|
free_page2:
|