diff --git a/drivers/input/i8042prt/i8042prt.c b/drivers/input/i8042prt/i8042prt.c
index 61963240472..19027a9b0df 100644
--- a/drivers/input/i8042prt/i8042prt.c
+++ b/drivers/input/i8042prt/i8042prt.c
@@ -502,17 +502,6 @@ DriverEntry(
 	ULONG i;
 	NTSTATUS Status;
 
-	/* ROS Hack: ideally, we shouldn't have to initialize debug level this way,
-	   but since the only way is to change it via KDBG, it's better to leave
-	   it here too. */
-#if 0
-	DbgSetDebugFilterState(
-		DPFLTR_I8042PRT_ID,
-		(1 << DPFLTR_ERROR_LEVEL) | (1 << DPFLTR_WARNING_LEVEL) |
-		(1 << DPFLTR_TRACE_LEVEL) /*| (1 << DPFLTR_INFO_LEVEL)*/ | DPFLTR_MASK,
-		TRUE);
-#endif
-
 	Status = IoAllocateDriverObjectExtension(
 		DriverObject,
 		DriverObject,
diff --git a/drivers/input/i8042prt/keyboard.c b/drivers/input/i8042prt/keyboard.c
index 177443ea620..e33ec89659b 100644
--- a/drivers/input/i8042prt/keyboard.c
+++ b/drivers/input/i8042prt/keyboard.c
@@ -866,7 +866,6 @@ i8042KbdInterruptService(
                 /* b - Bugcheck */
                 KeBugCheck(MANUALLY_INITIATED_CRASH);
             }
-#if defined(KDBG)
             else
             {
 			    /* Send request to the kernel debugger.
@@ -879,7 +878,6 @@ i8042KbdInterruptService(
 			                         NULL,
 			                         KernelMode);
             }
-#endif
 		}
 	}
 
diff --git a/ntoskrnl/mm/ARM3/mminit.c b/ntoskrnl/mm/ARM3/mminit.c
index f1d7c2b7e95..fcd1c7dae2f 100644
--- a/ntoskrnl/mm/ARM3/mminit.c
+++ b/ntoskrnl/mm/ARM3/mminit.c
@@ -1557,7 +1557,7 @@ MmDumpArmPfnDatabase(IN BOOLEAN StatusOnly)
         // Pretty-print the page
         //
         if (!StatusOnly)
-        DbgPrint("0x%08p:\t%20s\t(%04d.%04d)\t[%16s - %16s])\n",
+        DbgPrint("0x%08p:\t%20s\t(%04d.%04d)\t[%16s - %16s]\n",
                  i << PAGE_SHIFT,
                  Consumer,
                  Pfn1->u3.e2.ReferenceCount,