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