From 7ad57f9de0f2c75de8a4ab45f6d53de991468000 Mon Sep 17 00:00:00 2001
From: Tom Aird <thomas.aird@codasip.com>
Date: Tue, 22 Oct 2024 14:21:24 +0100
Subject: [PATCH] Add SL description to all store cap instructions

---
 src/insns/atomic_exceptions.adoc    | 1 +
 src/insns/store_cond_cap_32bit.adoc | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/src/insns/atomic_exceptions.adoc b/src/insns/atomic_exceptions.adoc
index 6969e952..14549718 100644
--- a/src/insns/atomic_exceptions.adoc
+++ b/src/insns/atomic_exceptions.adoc
@@ -10,6 +10,7 @@ If the authorizing capability does not grant <<lm_perm>>, and the tag of `cd` is
 +
 If the authorizing capability does not grant <<el_perm>>, and the tag of `cd` is 1, then an implicit <<ACPERM>> clearing <<el_perm>> and restricting <<section_cap_level>> to the level of the authorizing capability is performed to obtain the final permissions on `cd` (see <<LC>>).
 +
+The stored tag is also set to zero if the authorizing capability does not have <<sl_perm>> set but the stored data has a <<section_cap_level>> of 0 (see <<SC>>).
 endif::[]
 ifndef::cap_atomic[]
 Requires <<r_perm>> and <<w_perm>> in the authorising capability.
diff --git a/src/insns/store_cond_cap_32bit.adoc b/src/insns/store_cond_cap_32bit.adoc
index 8beddb27..088784b5 100644
--- a/src/insns/store_cond_cap_32bit.adoc
+++ b/src/insns/store_cond_cap_32bit.adoc
@@ -27,6 +27,8 @@ Store conditional instructions, authorised by the capability in <<ddc>>.
 
 :store_cond:
 
+include::store_tag_perms.adoc[]
+
 include::malformed_no_check.adoc[]
 
 include::store_exceptions.adoc[]