R_I1
disp_reg_line(ph, prst, "i1", R_I1, "i5", R_I5);
disp_reg_line(ph, prst, "i1", R_I1, "i5", R_I5);
uintptr_t arg1 = fasttrap_getreg(rp, R_I1);
uintptr_t arg1 = fasttrap_getreg(rp, R_I1);
prp[R_I1] = lwp->lwp_pcb.pcb_xregs.rw_in[1];
lwp->lwp_pcb.pcb_xregs.rw_in[1] = prp[R_I1];
dest[R_I1] = SET_LOWER_32(rw->rw_in[1], src[R_I1]);
dest[R_I1] = (uint32_t)src[R_I1];
prp[R_I1] = R32(lwp->lwp_pcb.pcb_xregs.rw_in[1]);