Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 79765)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 79766)
@@ -13674,4 +13674,5 @@
             GCPtrFaultAddress = 0;
 
+        /** @todo NSTVMX: Verify the docs on this one again please. */
         if (VMX_IDT_VECTORING_INFO_IS_XCPT_NMI(uIdtVectorInfo))
             CPUMSetGuestNmiBlocking(pVCpu, true);