From ea78240be95dd402c4365bec5ea95bb15bf0b2c5 Mon Sep 17 00:00:00 2001
From: Ved Shanbhogue <ved@rivosinc.com>
Date: Fri, 18 Aug 2023 16:30:51 -0500
Subject: [PATCH] add amocas specific addr check

---
 model/riscv_insts_aext.sail | 1 -
 1 file changed, 1 deletion(-)

diff --git a/model/riscv_insts_aext.sail b/model/riscv_insts_aext.sail
index 5eb48a433..e9edaec23 100644
--- a/model/riscv_insts_aext.sail
+++ b/model/riscv_insts_aext.sail
@@ -298,7 +298,6 @@ function clause execute (AMO(op, aq, rl, rs2, rs1, width, rd)) = {
   if haveAtomics() then {
     /* Get the address, X(rs1) (no offset).
      * Some extensions perform additional checks on address validity.
-     * For obtaining virtual address, the width is not needed.
      */
     match ext_data_get_amo_addr(rs1, ReadWrite(Data, Data), width) {
       Ext_DataAddr_Error(e)  => { ext_handle_data_check_error(e); RETIRE_FAIL },