Index: /trunk/src/VBox/VMM/VMMR3/VMM.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/VMM.cpp	(revision 75244)
+++ /trunk/src/VBox/VMM/VMMR3/VMM.cpp	(revision 75245)
@@ -1587,5 +1587,5 @@
         /* If the CPU is in VMX non-root mode we must cause a VM-exit. */
         if (CPUMIsGuestInVmxNonRootMode(pCtx))
-            return IEMExecVmxVmexitStartupIpi(pVCpu, uVector);
+            return VBOXSTRICTRC_TODO(IEMExecVmxVmexitStartupIpi(pVCpu, uVector));
 
         /* If the CPU is in VMX root mode (and not in VMX non-root mode) SIPIs are blocked. */
@@ -1635,5 +1635,5 @@
     PCPUMCTX pCtx = CPUMQueryGuestCtxPtr(pVCpu);
     if (CPUMIsGuestInVmxNonRootMode(pCtx))
-        return IEMExecVmxVmexitInitIpi(pVCpu);
+        return VBOXSTRICTRC_TODO(IEMExecVmxVmexitInitIpi(pVCpu));
 #endif