ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-11 13:22:33 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

vbox4: bring up all vCPUs

Browse Source 
broken since latest upgrade to virtualbox 4.3.*

Issue
This commit is contained in:
Alexander Boettcher 2016-09-21 11:50:03 +02:00 committed by Christian Helmuth
parent a7d04eefab
commit d989046604
2 changed files with 3 additions and 1 deletions
repos/ports/src/virtualbox
hm.ccunimpl.cc

3
repos/ports/src/virtualbox/hm.cc

@ -152,3 +152,6 @@ VMMR3DECL(bool) HMR3CanExecuteGuest(PVM pVM, PCPUMCTX pCtx)
VMM_INT_DECL(int) HMFlushTLB(PVMCPU pVCpu) { return VINF_SUCCESS; }
void HMR3ResetCpu(PVMCPU pVCpu) { }

1
repos/ports/src/virtualbox/unimpl.cc

@ -45,7 +45,6 @@ DUMMY(HMR3RestartPendingIOInstr)
DUMMY(HMR3EnablePatching)
DUMMY(HMR3DisablePatching)
DUMMY(HMGetPaePdpes)
DUMMY(HMR3ResetCpu)
DUMMY(HMSetSingleInstruction)
DUMMY(IEMExecOne)