Index: /trunk/src/VBox/HostDrivers/Support/win/SUPR3HardenedMain-win.cpp
===================================================================
--- /trunk/src/VBox/HostDrivers/Support/win/SUPR3HardenedMain-win.cpp	(revision 85872)
+++ /trunk/src/VBox/HostDrivers/Support/win/SUPR3HardenedMain-win.cpp	(revision 85873)
@@ -2584,4 +2584,5 @@
                  "  cs=%04RX16 ds=%04RX16 es=%04RX16 fs=%04RX16 gs=%04RX16\n"
                  "  dr0=%08RX32 dr1=%08RX32 dr2=%08RX32 dr3=%08RX32 dr6=%08RX32 dr7=%08RX32\n",
+                 pszLeadIn,
                  pCtx->Eax, pCtx->Ebx, pCtx->Ecx, pCtx->Edx, pCtx->Esi, pCtx->Edi,
                  pCtx->Eip, pCtx->Esp, pCtx->Ebp, pCtx->EFlags,
@@ -2591,5 +2592,5 @@
 # error "Unsupported arch."
 #endif
-
+    RT_NOREF(pCtx, pszLeadIn);
 }