R_L3
disp_reg_line(ph, prst, "l3", R_L3, "l7", R_L7);
disp_reg_line(ph, prst, "l3", R_L3, "l7", R_L7);
prp[R_L3] = lwp->lwp_pcb.pcb_xregs.rw_local[3];
lwp->lwp_pcb.pcb_xregs.rw_local[3] = prp[R_L3];
dest[R_L3] = SET_LOWER_32(rw->rw_local[3], src[R_L3]);
dest[R_L3] = (uint32_t)src[R_L3];
prp[R_L3] = R32(lwp->lwp_pcb.pcb_xregs.rw_local[3]);