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