RS2
printf(" + R%d\n", RS2(instructp));
fasttrap_getreg(rp, RS2(tp->ftt_instr));
fasttrap_getreg(rp, RS2(tp->ftt_instr));
fasttrap_getreg(rp, RS2(tp->ftt_instr));
uint_t rs2 = RS2(tp->ftt_instr);