Be consistent in Ziccamoa definition.

Closes #149.
riscv · Jul 12, 2024 · 1fd1ca4 · 1fd1ca4
1 parent c0d8e8e
commit 1fd1ca4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/rva23-profile.adoc b/src/rva23-profile.adoc
@@ -97,7 +97,7 @@ The following mandatory extensions were present in RVA22U64.
   fetches of naturally aligned power-of-2 sizes up to min(ILEN,XLEN)
   (i.e., 32 bits for RVA23) are atomic.
 - *Ziccrse* Main memory regions with both the cacheability and coherence PMAs must support RsrvEventual.
-- *Ziccamoa* Main memory regions with both the cacheability and coherence PMAs must support AMOArithmetic.
+- *Ziccamoa* Main memory regions with both the cacheability and coherence PMAs must support all atomics in A.
 - *Zicclsm* Misaligned loads and stores to main memory regions with both the
   cacheability and coherence PMAs must be supported.
 - *Za64rs* Reservation sets are contiguous, naturally aligned, and a
@@ -322,7 +322,7 @@ NOTE: The following extensions were required when the hypervisor was implemented
 ==== RVA23S64 Optional Extensions
 
 RVA23U64 has thirteen profile options (Zvkng, Zvksg, Zabha, Zacas,
-Ziccamoc, Zvbc, Zfh, Zbc, Zvfh, Zfbfmin, Zvfbfmin, Zvfbfwma, Zama16b).
+Ziccamoc, Zvbc, Zfh, Zbc, Zvfh, Zfbfmin, Zvfbfmin, Zvfbfwma, Zama16b)
 from RVA23U64, and seven privileged options (Sv48, Sv57, Svadu, Zkr,
 Sdtrig, Ssstrict, Svvptc).
 

diff --git a/src/rvb23-profile.adoc b/src/rvb23-profile.adoc
@@ -106,7 +106,7 @@ The following mandatory extensions are also in RVA22U64.
   fetches of naturally aligned power-of-2 sizes up to min(ILEN,XLEN)
   (i.e., 32 bits for RVB23) are atomic.
 - *Ziccrse* Main memory regions with both the cacheability and coherence PMAs must support RsrvEventual.
-- *Ziccamoa* Main memory regions with both the cacheability and coherence PMAs must support AMOArithmetic.
+- *Ziccamoa*  Main memory regions with both the cacheability and coherence PMAs must support all atomics in A.
 - *Zicclsm* Misaligned loads and stores to main memory regions with both the
   cacheability and coherence PMAs must be supported.
 - *Za64rs* Reservation sets are contiguous, naturally aligned, and a