t_request_comb();
<em class="lineno">5: </em>            State::WaitReady: if slave_saved.is_amo {
<em class="lineno">6: </em>                case slave_saved.amoop {
<em class="lineno">7: </em>                    AMOOp::LR: assign_master(slave_saved.addr, 0, 0, 0);
<em class="lineno">8: </em>                    <b>AMOOp::SC: assign_master(slave_saved.addr, 1, slave_saved.wdata, slave_saved.wmask);</b>
<em class="lineno">9: </em>                    default  : {}
<em class="lineno">10: </em>                }