db_set_single_step  218 ddb/db_run.c   			db_set_single_step(regs);
db_set_single_step  224 ddb/db_run.c   		db_set_single_step(regs);
db_set_single_step  233 ddb/db_run.c   	    db_set_single_step(regs);
db_set_single_step   46 ddb/db_run.h   #ifndef db_set_single_step
db_set_single_step   47 ddb/db_run.h   void db_set_single_step(db_regs_t *);
db_set_single_step  497 kern/kgdb_stub.c 			db_set_single_step(regs);