1 #ifndef _BITS_GDBMACH_H 2 #define _BITS_GDBMACH_H 23 #define GDBMACH_SIZEOF_REGS ( GDBMACH_NREGS * sizeof ( gdbreg_t ) ) void gdbmach_init(void)
Initialise GDB.
uint32_t type
Operating system type.
static void gdbmach_set_pc(gdbreg_t *regs, gdbreg_t pc)
static void gdbmach_breakpoint(void)
int gdbmach_set_breakpoint(int type, unsigned long addr, size_t len, int enable)
Set hardware breakpoint.
static void gdbmach_set_single_step(gdbreg_t *regs, int step)
void step(void)
Single-step a single process.