include/ddk/dbgfuncs.h

   1 #ifndef __INCLUDE_DDK_DBGFUNCS_H
   2 #define __INCLUDE_DDK_DBGFUNCS_H
   3 /* $Id$ */
   4
   5 VOID STDCALL DbgBreakPointWithStatus (ULONG Status);
   6 VOID STDCALL DbgBreakPoint(VOID);
   7 ULONG DbgPrint(PCH Format,...);
   8 VOID STDCALL DbgPrompt (PCH OutputString, PCH InputString, USHORT InputSize);
   9
  10 #endif /* __INCLUDE_DDK_DBGFUNCS_H */