Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 80560)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 80561)
@@ -10290,5 +10290,8 @@
      */
     if (TRPMHasTrap(pVCpu))
+    {
+        Assert(!pVmxTransient->fIsNestedGuest || !pVCpu->cpum.GstCtx.hwvirt.vmx.fInterceptEvents);
         hmR0VmxTrpmTrapToPendingEvent(pVCpu);
+    }
 
     uint32_t fIntrState;