Index: /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 72065)
+++ /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 72066)
@@ -3507,5 +3507,5 @@
     if (!fEnableIntWindow)
     {
-        Assert(CPUMIsGuestInSvmNestedHwVirtMode(pCtx));
+        Assert(CPUMIsGuestInSvmNestedHwVirtMode(pCtx)); RT_NOREF(pCtx);
         Log4(("Nested-guest V_IRQ already pending\n"));
     }