R_I7
gregs.gregs[R_I7] = saved_pc;
disp_reg_line(ph, prst, "i3", R_I3, "i7", R_I7);
disp_reg_line(ph, prst, "i3", R_I3, "i7", R_I7);
case R_I7:
gregs[R_PC] = gregs[R_I7];
gregs[R_PC] = gregs[R_I7];
if (reg > R_I7) {
ASSERT(R_L0 <= reg && reg <= R_I7);
prp[R_I7] = lwp->lwp_pcb.pcb_xregs.rw_in[7];
lwp->lwp_pcb.pcb_xregs.rw_in[7] = prp[R_I7];
dest[R_I7] = SET_LOWER_32(rw->rw_in[7], src[R_I7]);
dest[R_I7] = (uint32_t)src[R_I7];
prp[R_I7] = R32(lwp->lwp_pcb.pcb_xregs.rw_in[7]);