denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-22 13:02:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

vbox: set the 'CPUM_CHANGED_GLOBAL_TLB_FLUSH' flag

Browse Source 
Fixes #1281
This commit is contained in:
Christian Prochaska
2014-10-21 18:47:56 +02:00
committed by Christian Helmuth
parent d65826a85d
commit ac47053b2f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/ports/src/virtualbox/nova/vcpu.h
View File

@@ -709,7 +709,7 @@ class Vcpu_handler : public Vmm::Vcpu_dispatcher<pthread>
/* load saved FPU state of EMT thread */
fpu_load(reinterpret_cast<char *>(&_emt_fpu_state));
// CPUMSetChangedFlags(pVCpu, CPUM_CHANGED_GLOBAL_TLB_FLUSH);
CPUMSetChangedFlags(pVCpu, CPUM_CHANGED_GLOBAL_TLB_FLUSH);
VMCPU_SET_STATE(pVCpu, VMCPUSTATE_STARTED);