[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
This commit is contained in:
Hermès Bélusca-Maïto 2015-08-29 13:53:55 +00:00
parent d328dc16b4
commit 3946e15eeb

View file

@ -855,7 +855,7 @@ i8042KbdInterruptService(
if (InputData->MakeCode == 0x25) if (InputData->MakeCode == 0x25)
{ {
/* k - Breakpoint */ /* k - Breakpoint */
DbgBreakPoint(); DbgBreakPointWithStatus(DBG_STATUS_SYSRQ);
} }
else if (InputData->MakeCode == 0x30) else if (InputData->MakeCode == 0x30)
{ {