SET_PC_REGS 118 ddb/db_run.c # ifdef SET_PC_REGS SET_PC_REGS 119 ddb/db_run.c SET_PC_REGS(regs, old_pc);