From 8decca31378274f2287c16297e1c4441f7922da9 Mon Sep 17 00:00:00 2001
From: Ved Shanbhogue <ved@rivosinc.com>
Date: Thu, 8 Feb 2024 10:09:09 -0600
Subject: [PATCH] Zabha provide similar release consistency semantics as
 A/Zacas

---
 zabha.adoc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/zabha.adoc b/zabha.adoc
index ae2b55e..0f7b791 100644
--- a/zabha.adoc
+++ b/zabha.adoc
@@ -29,6 +29,10 @@ that the address contained in the `rs1` register must be naturally aligned to
 the size of the operand. The same exception options as specified in the A
 extension are applicable in cases where the address is not naturally aligned.
 
+Similar to the AMOs specified in the A and Zacas extensions, the AMOs in the
+Zabha extension optionally provide release consistency semantics, using the `aq`
+and `rl` bits, to help implement multiprocessor synchronization.
+
 [NOTE]
 ====
 Zabha omits _byte_ and _halfword_ support for `LR` and `SC` due to low utility.