gdb_handle_exception
void gdb_handle_exception (db_regs_t *, int, int);
gdb_handle_exception(&ddb_regs, type, code);
extern void gdb_handle_exception (db_regs_t *, int, int);
gdb_handle_exception(&ddb_regs, type, code);
extern void gdb_handle_exception (db_regs_t *, int, int);