2005-04-17 19:16:13 +00:00
|
|
|
#ifndef GDBSTUB_H
|
|
|
|
|
#define GDBSTUB_H
|
|
|
|
|
|
|
|
|
|
#define DEFAULT_GDBSTUB_PORT 1234
|
|
|
|
|
|
|
|
|
|
#ifdef CONFIG_USER_ONLY
|
|
|
|
|
int gdb_handlesig (CPUState *, int);
|
2005-04-26 20:42:36 +00:00
|
|
|
void gdb_exit(CPUState *, int);
|
2005-04-17 19:16:13 +00:00
|
|
|
int gdbserver_start(int);
|
2007-01-28 01:53:16 +00:00
|
|
|
#else
|
|
|
|
|
int gdbserver_start(CharDriverState *chr);
|
|
|
|
|
#endif
|
2005-04-17 19:16:13 +00:00
|
|
|
|
|
|
|
|
#endif
|
