db_delete_temp_breakpoint   62 ddb/db_break.h void db_delete_temp_breakpoint(db_breakpoint_t);
db_delete_temp_breakpoint  383 ddb/db_run.c   	    db_delete_temp_breakpoint(db_taken_bkpt);
db_delete_temp_breakpoint  387 ddb/db_run.c   	    db_delete_temp_breakpoint(db_not_taken_bkpt);