Make winkd somewhat portable.

[reactos.git] / reactos / ntoskrnl / include / internal / kd64.h

diff --git a/reactos/ntoskrnl/include/internal/kd64.h b/reactos/ntoskrnl/include/internal/kd64.h
index b129260..3967c23 100644 (file)
--- a/reactos/ntoskrnl/include/internal/kd64.h
+++ b/reactos/ntoskrnl/include/internal/kd64.h
@@ -244,6 +244,20 @@ KdpAddBreakpoint(
     IN PVOID Address\r
 );\r
 \r
+VOID\r
+NTAPI\r
+KdpSetContextState(IN PDBGKD_WAIT_STATE_CHANGE64 WaitStateChange,\r
+                   IN PCONTEXT Context);\r
+\r
+BOOLEAN\r
+NTAPI\r
+KdpReport(IN PKTRAP_FRAME TrapFrame,\r
+          IN PKEXCEPTION_FRAME ExceptionFrame,\r
+          IN PEXCEPTION_RECORD ExceptionRecord,\r
+          IN PCONTEXT ContextRecord,\r
+          IN KPROCESSOR_MODE PreviousMode,\r
+          IN BOOLEAN SecondChanceException);\r
+\r
 //\r
 // Global KD Data\r
 //\r