Symbol: SET_PC_REGS
sys/ddb/db_run.c
113
# ifdef SET_PC_REGS
sys/ddb/db_run.c
114
SET_PC_REGS(regs, old_pc);