623,626d622
< if(Pstate<2:> && !Hpstate<2:>)
< StrandStsReg = StrandStsReg<63:1> |
< (Rs1 ^ Rs2_or_imm13)<0:>;
< else