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)