SFENCE.VMA orders visible stores, not just local stores

1 files changed, 5 insertions, 5 deletions

diff --git a/src/supervisor.tex b/src/supervisor.tex
index ab406b1..bc9b15f 100644
--- a/src/supervisor.tex
+++ b/src/supervisor.tex
@@ -925,11 +925,11 @@ The supervisor memory-management fence instruction SFENCE.VMA is used to
 synchronize updates to in-memory memory-management data structures with
 current execution.  Instruction execution causes implicit reads and writes to
 these data structures; however, these implicit references are ordinarily not
-ordered with respect to loads and stores in the instruction stream.  Executing
-an SFENCE.VMA instruction guarantees that any stores in the instruction stream
-prior to the SFENCE.VMA are ordered before all implicit references
-to the memory-management data structures subsequent
-to the SFENCE.VMA. Further details on the behavior of this instruction are
+ordered with respect to explicit loads and stores.  Executing
+an SFENCE.VMA instruction guarantees that any previous stores already visible
+to the current RISC-V hart are ordered before all subsequent implicit references
+from that hart to the memory-management data structures.
+Further details on the behavior of this instruction are
 described in Section~\ref{virt-control} and Section~\ref{pmp-vmem}.
 
 \begin{commentary}