From f9ba9634e5567ef3b49af358bba65a7697bb1862 Mon Sep 17 00:00:00 2001
From: Ved Shanbhogue <ved@rivosinc.com>
Date: Sun, 10 Sep 2023 08:38:53 -0500
Subject: [PATCH] clarify explicit store behavior for D bit

---
 svadu.adoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/svadu.adoc b/svadu.adoc
index e345011..bafccf1 100644
--- a/svadu.adoc
+++ b/svadu.adoc
@@ -42,7 +42,7 @@ A/D bits. The A and D bits are managed by these extensions as follows:
 [NOTE]
 ====
 The PTE updates due to memory accesses ordered-after a FENCE are not themselves
-ordered-after the FENCE.
+ordered by the FENCE.
 
 Simpler implementations that cannot precisely order the PTE update before
 subsequent explicit memory accesses to the associated virtual page by the local