db_set_temp_breakpoint
db_taken_bkpt = db_set_temp_breakpoint(brpc);
db_not_taken_bkpt = db_set_temp_breakpoint(pc + 4);
db_breakpoint_t db_set_temp_breakpoint(vaddr_t);
db_taken_bkpt = db_set_temp_breakpoint(brpc);
db_not_taken_bkpt = db_set_temp_breakpoint(pc);