R_I3
disp_reg_line(ph, prst, "i3", R_I3, "i7", R_I7);
disp_reg_line(ph, prst, "i3", R_I3, "i7", R_I7);
uintptr_t arg3 = fasttrap_getreg(rp, R_I3);
uintptr_t arg3 = fasttrap_getreg(rp, R_I3);
prp[R_I3] = lwp->lwp_pcb.pcb_xregs.rw_in[3];
lwp->lwp_pcb.pcb_xregs.rw_in[3] = prp[R_I3];
dest[R_I3] = SET_LOWER_32(rw->rw_in[3], src[R_I3]);
dest[R_I3] = (uint32_t)src[R_I3];
prp[R_I3] = R32(lwp->lwp_pcb.pcb_xregs.rw_in[3]);