reactos/reactos/ntoskrnl/include/internal/kdgdb.h
Filip Navara 52f8761d3a Use W32API for NTOSKRNL.
svn path=/trunk/; revision=16053
2005-06-18 18:32:29 +00:00

16 lines
349 B
C

/* $Id: kd.h 13948 2005-03-12 01:11:06Z navaraf $
*
* kernel debugger prototypes
*/
#ifndef __INCLUDE_INTERNAL_KD_GDB_H
#define __INCLUDE_INTERNAL_KD_GDB_H
VOID
STDCALL
KdpGdbStubInit(struct _KD_DISPATCH_TABLE *DispatchTable,
ULONG BootPhase);
extern KD_PORT_INFORMATION GdbPortInfo;
#endif /* __INCLUDE_INTERNAL_KD_BOCHS_H */