From 3946e15eebb7e7fccbecdd29088a83369f8cf0c3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Herm=C3=A8s=20B=C3=A9lusca-Ma=C3=AFto?=
 <hermes.belusca-maito@reactos.org>
Date: Sat, 29 Aug 2015 13:53:55 +0000
Subject: [PATCH] [i8042prt] Improve debugging experience when pressing Tab+k,
 at least with WinDBG, by breaking with a suitable control code (adopt the
 SysRq one even if we don't use SysRq key for breaking, but instead, Tab+k).

svn path=/trunk/; revision=68855
---
 reactos/drivers/input/i8042prt/keyboard.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/reactos/drivers/input/i8042prt/keyboard.c b/reactos/drivers/input/i8042prt/keyboard.c
index 275aeb643ee..bfc6977b8d7 100644
--- a/reactos/drivers/input/i8042prt/keyboard.c
+++ b/reactos/drivers/input/i8042prt/keyboard.c
@@ -855,7 +855,7 @@ i8042KbdInterruptService(
             if (InputData->MakeCode == 0x25)
             {
                 /* k - Breakpoint */
-                DbgBreakPoint();
+                DbgBreakPointWithStatus(DBG_STATUS_SYSRQ);
             }
             else if (InputData->MakeCode == 0x30)
             {