db_clear_single_step
#ifndef db_clear_single_step
extern void db_clear_single_step (db_regs_t *regs);
db_clear_single_step(DDB_REGS);