Symbol: db_delete_temp_breakpoint
sys/ddb/db_break.h
66
void db_delete_temp_breakpoint (db_breakpoint_t);
sys/ddb/db_run.c
286
db_delete_temp_breakpoint(db_not_taken_bkpt);
sys/ddb/db_run.c
290
db_delete_temp_breakpoint(db_taken_bkpt);