|
@@ -1027,8 +1027,6 @@ static int vmx_vcpu_setup(struct kvm_vcpu *vcpu)
|
|
vmcs_writel(GUEST_RIP, 0xfff0);
|
|
vmcs_writel(GUEST_RIP, 0xfff0);
|
|
vmcs_writel(GUEST_RSP, 0);
|
|
vmcs_writel(GUEST_RSP, 0);
|
|
|
|
|
|
- vmcs_writel(GUEST_CR3, 0);
|
|
|
|
-
|
|
|
|
//todo: dr0 = dr1 = dr2 = dr3 = 0; dr6 = 0xffff0ff0
|
|
//todo: dr0 = dr1 = dr2 = dr3 = 0; dr6 = 0xffff0ff0
|
|
vmcs_writel(GUEST_DR7, 0x400);
|
|
vmcs_writel(GUEST_DR7, 0x400);
|
|
|
|
|