- DBGKD_WAIT_STATE_CHANGE64 is used in KD protocol 5, not number 6 that we use. Proto...
[reactos.git] / reactos / lib / debugsup / debugsup-ntos.spec
1 @ stdcall DbgBreakPoint()
2 @ stdcall DbgBreakPointWithStatus(long)
3 @ varargs DbgPrint()
4 @ varargs DbgPrintEx()
5 @ stdcall DbgPrompt(ptr ptr long)
6 @ stdcall RtlAssert(ptr ptr long ptr)
7 @ stdcall RtlUnwind(ptr ptr ptr ptr)
8 @ stdcall vDbgPrintExWithPrefix(ptr long long ptr ptr)