[I8042PRT] Remove dead commented-out code; Allow sending ROS-specific commands to the kernel debugger since KD64 also support them.

[NTOS:MM] Remove an extra ')' in a DbgPrint() string.

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,

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
 		}
 	}
 

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,