|
@@ -2512,7 +2512,7 @@ static int vmx_vcpu_setup(struct vcpu_vmx *vmx)
|
|
|
{
|
|
|
u32 host_sysenter_cs, msr_low, msr_high;
|
|
|
u32 junk;
|
|
|
- u64 host_pat, tsc_this, tsc_base;
|
|
|
+ u64 host_pat, tsc_this;
|
|
|
unsigned long a;
|
|
|
struct desc_ptr dt;
|
|
|
int i;
|
|
@@ -2653,12 +2653,8 @@ static int vmx_vcpu_setup(struct vcpu_vmx *vmx)
|
|
|
vmx->vcpu.arch.cr4_guest_owned_bits |= X86_CR4_PGE;
|
|
|
vmcs_writel(CR4_GUEST_HOST_MASK, ~vmx->vcpu.arch.cr4_guest_owned_bits);
|
|
|
|
|
|
- tsc_base = vmx->vcpu.kvm->arch.vm_init_tsc;
|
|
|
- rdtscll(tsc_this);
|
|
|
- if (tsc_this < vmx->vcpu.kvm->arch.vm_init_tsc)
|
|
|
- tsc_base = tsc_this;
|
|
|
-
|
|
|
- guest_write_tsc(0, tsc_base);
|
|
|
+ tsc_this = native_read_tsc();
|
|
|
+ guest_write_tsc(0, tsc_this);
|
|
|
|
|
|
return 0;
|
|
|
}
|