Instead of "syncing" the live value to what mmu_cr4_features has, make
sure vCPU-s run with the value most recently loaded into %cr4, such that
after the next VM exit we continue to run with the intended value rather
than a possibly stale one.
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Kevin Tian <kevin.tian@intel.com>
void vmx_do_resume(struct vcpu *v)
{
bool_t debug_state;
+ unsigned long host_cr4;
if ( v->arch.hvm_vmx.active_cpu == smp_processor_id() )
vmx_vmcs_reload(v);
}
hvm_do_resume(v);
+
+ /* Sync host CR4 in case its value has changed. */
+ __vmread(HOST_CR4, &host_cr4);
+ if ( host_cr4 != read_cr4() )
+ __vmwrite(HOST_CR4, read_cr4());
+
reset_stack_and_jump(vmx_asm_do_vmentry);
}
static void vmx_ctxt_switch_to(struct vcpu *v)
{
- unsigned long old_cr4 = read_cr4(), new_cr4 = mmu_cr4_features;
-
- /* HOST_CR4 in VMCS is always mmu_cr4_features. Sync CR4 now. */
- if ( old_cr4 != new_cr4 )
- write_cr4(new_cr4);
-
vmx_restore_guest_msrs(v);
vmx_restore_dr(v);