From ac47053b2fbc7c73e30c87cff6b29f72044f68c2 Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Tue, 21 Oct 2014 18:47:56 +0200 Subject: [PATCH] vbox: set the 'CPUM_CHANGED_GLOBAL_TLB_FLUSH' flag Fixes #1281 --- repos/ports/src/virtualbox/nova/vcpu.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/ports/src/virtualbox/nova/vcpu.h b/repos/ports/src/virtualbox/nova/vcpu.h index 492000259..bdb97853a 100644 --- a/repos/ports/src/virtualbox/nova/vcpu.h +++ b/repos/ports/src/virtualbox/nova/vcpu.h @@ -709,7 +709,7 @@ class Vcpu_handler : public Vmm::Vcpu_dispatcher /* load saved FPU state of EMT thread */ fpu_load(reinterpret_cast(&_emt_fpu_state)); -// CPUMSetChangedFlags(pVCpu, CPUM_CHANGED_GLOBAL_TLB_FLUSH); + CPUMSetChangedFlags(pVCpu, CPUM_CHANGED_GLOBAL_TLB_FLUSH); VMCPU_SET_STATE(pVCpu, VMCPUSTATE_STARTED);