diff --git a/reactos/hal/halx86/generic/acpi/halacpi.c b/reactos/hal/halx86/generic/acpi/halacpi.c
index 97efcffe844..9cbdd70321a 100644
--- a/reactos/hal/halx86/generic/acpi/halacpi.c
+++ b/reactos/hal/halx86/generic/acpi/halacpi.c
@@ -185,7 +185,7 @@ HalpAcpiGetTableFromBios(IN PLOADER_PARAMETER_BLOCK LoaderBlock,
             /* Fail if we couldn't map it */
             if (!Header)
             {
-                DbgPrint("HAL: Failed to map ACPI table.\n");
+                DPRINT1("HAL: Failed to map ACPI table.\n");
                 return NULL;
             }
             
@@ -304,7 +304,7 @@ HalpAcpiGetTableFromBios(IN PLOADER_PARAMETER_BLOCK LoaderBlock,
             if (!Header)
             {
                 /* Game over */
-                DbgPrint("HAL: Failed to map ACPI table.\n");
+                DPRINT1("HAL: Failed to map ACPI table.\n");
                 return NULL;
             }
 
@@ -589,7 +589,7 @@ HalpAcpiFindRsdtPhase0(IN PLOADER_PARAMETER_BLOCK LoaderBlock,
     /* Make sure we found it */
     if (!ComponentEntry)
     {
-        DbgPrint("**** HalpAcpiFindRsdtPhase0: did NOT find RSDT\n");
+        DPRINT1("**** HalpAcpiFindRsdtPhase0: did NOT find RSDT\n");
         return STATUS_NOT_FOUND;
     }
     
@@ -675,7 +675,7 @@ HalpAcpiTableCacheInit(IN PLOADER_PARAMETER_BLOCK LoaderBlock)
     if (!MappedAddress)
     {
         /* Fail, no memory */
-        DbgPrint("HAL: Failed to map RSDT\n");
+        DPRINT1("HAL: Failed to map RSDT\n");
         return STATUS_INSUFFICIENT_RESOURCES;
     }
    
@@ -715,7 +715,7 @@ HalpAcpiTableCacheInit(IN PLOADER_PARAMETER_BLOCK LoaderBlock)
         if (!MappedAddress)
         {
             /* Fail, no memory */
-            DbgPrint("HAL: Couldn't remap RSDT\n");
+            DPRINT1("HAL: Couldn't remap RSDT\n");
             return STATUS_INSUFFICIENT_RESOURCES;
         }
     }
@@ -725,7 +725,7 @@ HalpAcpiTableCacheInit(IN PLOADER_PARAMETER_BLOCK LoaderBlock)
     if (!Rsdt)
     {
         /* Fail, no memory */
-        DbgPrint("HAL: Couldn't remap RSDT\n");
+        DPRINT1("HAL: Couldn't remap RSDT\n");
         return STATUS_INSUFFICIENT_RESOURCES;
     }
     
@@ -790,7 +790,7 @@ HalpSetupAcpiPhase0(IN PLOADER_PARAMETER_BLOCK LoaderBlock)
     PHYSICAL_ADDRESS PhysicalAddress;
 
     /* Only do this once */
-    DPRINT1("You are booting the ACPI HAL!\n");
+    DPRINT("You are booting the ACPI HAL!\n");
     if (HalpProcessedACPIPhase0) return STATUS_SUCCESS;
 
     /* Setup the ACPI table cache */
@@ -802,7 +802,7 @@ HalpSetupAcpiPhase0(IN PLOADER_PARAMETER_BLOCK LoaderBlock)
     if (!Fadt)
     {
         /* Fail */
-        DbgPrint("HAL: Didn't find the FACP\n");
+        DPRINT1("HAL: Didn't find the FACP\n");
         return STATUS_NOT_FOUND;
     }
     
@@ -982,12 +982,12 @@ HalpQueryAcpiResourceRequirements(OUT PIO_RESOURCE_REQUIREMENTS_LIST *Requiremen
   
     /* Get ACPI resources */
     HalpAcpiDetectResourceListSize(&Count);
-    DPRINT1("Resource count: %d\n", Count);
+    DPRINT("Resource count: %d\n", Count);
     
     /* Compute size of the list and allocate it */
     ListSize = FIELD_OFFSET(IO_RESOURCE_REQUIREMENTS_LIST, List[0].Descriptors) +
                (Count * sizeof(IO_RESOURCE_DESCRIPTOR));
-    DPRINT1("Resource list size: %d\n", ListSize);
+    DPRINT("Resource list size: %d\n", ListSize);
     RequirementsList = ExAllocatePoolWithTag(PagedPool, ListSize, ' laH');
     if (RequirementsList)
     {
diff --git a/reactos/hal/halx86/generic/acpi/halpnpdd.c b/reactos/hal/halx86/generic/acpi/halpnpdd.c
index 66ce6d9c0aa..5daf2c77b44 100644
--- a/reactos/hal/halx86/generic/acpi/halpnpdd.c
+++ b/reactos/hal/halx86/generic/acpi/halpnpdd.c
@@ -60,7 +60,7 @@ HalpAddDevice(IN PDRIVER_OBJECT DriverObject,
     PPDO_EXTENSION PdoExtension;
     PDEVICE_OBJECT DeviceObject, PdoDeviceObject, AttachedDevice;
     PDESCRIPTION_HEADER Wdrt;
-    DbgPrint("HAL: PnP Driver ADD!\n");
+    DPRINT("HAL: PnP Driver ADD!\n");
 
     /* Create the FDO */
     Status = IoCreateDevice(DriverObject,
@@ -110,7 +110,7 @@ HalpAddDevice(IN PDRIVER_OBJECT DriverObject,
     if (!NT_SUCCESS(Status))
     {
         /* Fail */
-        DbgPrint("HAL: Could not create ACPI device object status=0x%08x\n", Status);
+        DPRINT1("HAL: Could not create ACPI device object status=0x%08x\n", Status);
         return Status;
     }
     
@@ -140,7 +140,7 @@ HalpAddDevice(IN PDRIVER_OBJECT DriverObject,
     IoInvalidateDeviceRelations(TargetDevice, BusRelations);
 
     /* Return status */
-    DPRINT1("Device added %lx\n", Status);
+    DPRINT("Device added %lx\n", Status);
     return Status;
 }
 
@@ -813,7 +813,7 @@ NTAPI
 HalpDispatchWmi(IN PDEVICE_OBJECT DeviceObject,
                 IN PIRP Irp)
 {
-    DbgPrint("HAL: PnP Driver WMI!\n");
+    DPRINT1("HAL: PnP Driver WMI!\n");
     while (TRUE);
     return STATUS_SUCCESS;   
 }
@@ -823,7 +823,7 @@ NTAPI
 HalpDispatchPower(IN PDEVICE_OBJECT DeviceObject,
                   IN PIRP Irp)
 {
-    DbgPrint("HAL: PnP Driver Power!\n");
+    DPRINT1("HAL: PnP Driver Power!\n");
     return STATUS_SUCCESS;   
 }