em class="lineno">5: </em>                <b>if slave_saved.is_amo &amp;&amp; slave_saved.amoop == AMOOp::SC {</b>
<em class="lineno">6: </em>                <b>    state = State::SCSuccess;</b>
<em class="lineno">7: </em>                <b>} else {</b>
<em class="lineno">8: </em>                    state = State::WaitValid;
<em class="lineno">9: </em>                <b>}</b>
<em class="lineno">10: </em>            }
<em class="lineno">11: </em>            State::WaitValid: if master.rvalid {
<em class="lin