From d9890466045e04d008e2198067af4ee994ef7c6a Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Wed, 21 Sep 2016 11:50:03 +0200
Subject: [PATCH] vbox4: bring up all vCPUs

broken since latest upgrade to virtualbox 4.3.*

Issue #2090
---
 repos/ports/src/virtualbox/hm.cc     | 3 +++
 repos/ports/src/virtualbox/unimpl.cc | 1 -
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/repos/ports/src/virtualbox/hm.cc b/repos/ports/src/virtualbox/hm.cc
index c64103c083..e50e795663 100644
--- a/repos/ports/src/virtualbox/hm.cc
+++ b/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) { }
diff --git a/repos/ports/src/virtualbox/unimpl.cc b/repos/ports/src/virtualbox/unimpl.cc
index 3c7b797a3c..9400036478 100644
--- a/repos/ports/src/virtualbox/unimpl.cc
+++ b/repos/ports/src/virtualbox/unimpl.cc
@@ -45,7 +45,6 @@ DUMMY(HMR3RestartPendingIOInstr)
 DUMMY(HMR3EnablePatching)
 DUMMY(HMR3DisablePatching)
 DUMMY(HMGetPaePdpes)
-DUMMY(HMR3ResetCpu)
 DUMMY(HMSetSingleInstruction)
 
 DUMMY(IEMExecOne)