Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 80587)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 80588)
@@ -12364,4 +12364,5 @@
         bool const fInNestedGuestMode = CPUMIsGuestInVmxNonRootMode(pCtx);
 #else
+        NOREF(pCtx);
         bool const fInNestedGuestMode = false;
 #endif
