From bac646f9febb3703447fbe8ba52de8490207e1bf Mon Sep 17 00:00:00 2001
From: Serge Gautherie <32623169+SergeGautherie@users.noreply.github.com>
Date: Mon, 13 Nov 2023 11:11:10 +0100
Subject: [PATCH] [VMX_SVGA] Demote 3 DPRINT1() and define NDEBUG (#5843)

Addendum to 486e587 (r45778).
---
 win32ss/drivers/miniport/vmx_svga/vmx_svga.c | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/win32ss/drivers/miniport/vmx_svga/vmx_svga.c b/win32ss/drivers/miniport/vmx_svga/vmx_svga.c
index 0afd883fec8..0d1f39d9478 100644
--- a/win32ss/drivers/miniport/vmx_svga/vmx_svga.c
+++ b/win32ss/drivers/miniport/vmx_svga/vmx_svga.c
@@ -9,7 +9,9 @@
 /* INCLUDES *******************************************************************/
 
 #include "precomp.h"
-#include "debug.h"
+
+#define NDEBUG
+#include <debug.h>
 
 /* GLOBALS ********************************************************************/
 
@@ -89,7 +91,7 @@ VmxFindAdapter(IN PVOID HwDeviceExtension,
 {
     VP_STATUS Status;
     PHW_DEVICE_EXTENSION DeviceExtension = HwDeviceExtension;
-    DPRINT1("VMX searching for adapter\n");
+    DPRINT("VMX searching for adapter\n");
 
     /* Zero out the fields */
     VideoPortZeroMemory(DeviceExtension, sizeof(HW_DEVICE_EXTENSION));
@@ -104,7 +106,7 @@ VmxFindAdapter(IN PVOID HwDeviceExtension,
 
     /* Initialize the device extension and find the adapter */
     Status = VmxInitDevice(DeviceExtension);
-    DPRINT1("Init status: %lx\n", Status);
+    DPRINT("Init status: %lx\n", Status);
     if (Status != NO_ERROR) return ERROR_DEV_NOT_EXIST;
 
     /* Save this adapter extension */
@@ -249,7 +251,7 @@ DriverEntry(IN PVOID Context1,
     VIDEO_HW_INITIALIZATION_DATA InitData;
 
     /* Zero initialization structure and array of extensions, one per screen */
-    DPRINT1("VMX-SVGAII Loading...\n");
+    DPRINT("VMX-SVGAII Loading...\n");
     VideoPortZeroMemory(VmxDeviceExtensionArray, sizeof(VmxDeviceExtensionArray));
     VideoPortZeroMemory(&InitData, sizeof(InitData));