diff --git a/repos/ports/src/virtualbox6/dummies.cc b/repos/ports/src/virtualbox6/dummies.cc
index 6d9885f9b6..4758f13f91 100644
--- a/repos/ports/src/virtualbox6/dummies.cc
+++ b/repos/ports/src/virtualbox6/dummies.cc
@@ -309,7 +309,7 @@ int  pdmR3LdrInitU(PUVM)                              { return VINF_SUCCESS; }
 int  PDMR3LdrLoadVMMR0U(PUVM)                         { return VINF_SUCCESS; }
 void PDMR3LdrRelocateU(PUVM, RTGCINTPTR)              { }
 int  pdmR3LoadR3U(PUVM, const char *, const char *)   { return VINF_SUCCESS; }
-void pdmR3LdrTermU(PUVM)                              TRACE()
+void pdmR3LdrTermU(PUVM)                              { }
 int  PDMR3LdrLoadR0(PUVM, const char *, const char *) { return VINF_SUCCESS; }
 
 char *pdmR3FileR3(const char * file, bool)
diff --git a/repos/ports/src/virtualbox6/nem.cc b/repos/ports/src/virtualbox6/nem.cc
index 830a1d6adb..2b89634d24 100644
--- a/repos/ports/src/virtualbox6/nem.cc
+++ b/repos/ports/src/virtualbox6/nem.cc
@@ -230,7 +230,10 @@ int nemR3NativeInitCompleted(PVM pVM, VMINITCOMPLETED enmWhat)
 }
 
 
-int nemR3NativeTerm(PVM pVM) TRACE(VINF_SUCCESS)
+int nemR3NativeTerm(PVM pVM)
+{
+	return VINF_SUCCESS;
+}
 
 
 /**
@@ -248,7 +251,7 @@ void nemR3NativeReset(PVM pVM) TRACE()
  *                      reset.
  * @param   fInitIpi    Whether this is the INIT IPI or hot (un)plugging case.
  */
-void nemR3NativeResetCpu(PVMCPU pVCpu, bool fInitIpi) TRACE()
+void nemR3NativeResetCpu(PVMCPU pVCpu, bool fInitIpi) { }
 
 
 VBOXSTRICTRC nemR3NativeRunGC(PVM pVM, PVMCPU pVCpu)