Index: /trunk/src/VBox/VMM/VMMAll/IEMAllCImplVmxInstr.cpp.h
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/IEMAllCImplVmxInstr.cpp.h	(revision 75315)
+++ /trunk/src/VBox/VMM/VMMAll/IEMAllCImplVmxInstr.cpp.h	(revision 75316)
@@ -19,6 +19,4 @@
 #ifdef VBOX_WITH_NESTED_HWVIRT_VMX
 /** @todo NSTVMX: The following VM-exit intercepts are pending:
- *  VMX_EXIT_INIT_SIGNAL
- *  VMX_EXIT_SIPI
  *  VMX_EXIT_IO_SMI
  *  VMX_EXIT_SMI
Index: /trunk/src/VBox/VMM/VMMR3/VMM.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/VMM.cpp	(revision 75315)
+++ /trunk/src/VBox/VMM/VMMR3/VMM.cpp	(revision 75316)
@@ -1580,5 +1580,4 @@
         return VINF_SUCCESS;
 
-
     PCPUMCTX pCtx = CPUMQueryGuestCtxPtr(pVCpu);
 #ifdef VBOX_WITH_NESTED_HWVIRT_VMX
@@ -1633,10 +1632,10 @@
     /* If the CPU is in VMX non-root mode, INIT signals cause VM-exits. */
 #ifdef VBOX_WITH_NESTED_HWVIRT_VMX
-    PCPUMCTX pCtx = CPUMQueryGuestCtxPtr(pVCpu);
+    PCCPUMCTX pCtx = CPUMQueryGuestCtxPtr(pVCpu);
     if (CPUMIsGuestInVmxNonRootMode(pCtx))
         return VBOXSTRICTRC_TODO(IEMExecVmxVmexitInitIpi(pVCpu));
 #endif
 
-    /** @todo Figure out how to handle a nested-guest intercepts here for INIT
+    /** @todo Figure out how to handle a SVM nested-guest intercepts here for INIT
      *  IPI (e.g. SVM_EXIT_INIT). */