R_I4
disp_reg_line(ph, prst, "i0", R_I0, "i4", R_I4);
disp_reg_line(ph, prst, "i0", R_I0, "i4", R_I4);
uintptr_t arg4 = fasttrap_getreg(rp, R_I4);
prp[R_I4] = lwp->lwp_pcb.pcb_xregs.rw_in[4];
lwp->lwp_pcb.pcb_xregs.rw_in[4] = prp[R_I4];
dest[R_I4] = SET_LOWER_32(rw->rw_in[4], src[R_I4]);
dest[R_I4] = (uint32_t)src[R_I4];
prp[R_I4] = R32(lwp->lwp_pcb.pcb_xregs.rw_in[4]);