|
@@ -7409,7 +7409,7 @@ static void prepare_vmcs02(struct kvm_vcpu *vcpu, struct vmcs12 *vmcs12)
|
|
|
vmcs12->guest_interruptibility_info);
|
|
|
vmcs_write32(GUEST_SYSENTER_CS, vmcs12->guest_sysenter_cs);
|
|
|
kvm_set_dr(vcpu, 7, vmcs12->guest_dr7);
|
|
|
- vmcs_writel(GUEST_RFLAGS, vmcs12->guest_rflags);
|
|
|
+ vmx_set_rflags(vcpu, vmcs12->guest_rflags);
|
|
|
vmcs_writel(GUEST_PENDING_DBG_EXCEPTIONS,
|
|
|
vmcs12->guest_pending_dbg_exceptions);
|
|
|
vmcs_writel(GUEST_SYSENTER_ESP, vmcs12->guest_sysenter_esp);
|