Apply suggestions from PR review

Co-authored-by: Samuel Holland <[email protected]> Co-authored-by: Ved Shanbhogue <[email protected]> Signed-off-by: Ravi Sahita <[email protected]>
riscv · Oct 3, 2024 · 60bfc05 · 60bfc05
1 parent 52f7209
commit 60bfc05
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/chapter3.adoc b/chapter3.adoc
@@ -248,7 +248,7 @@ subsequent to the `MFENCE.SPA`
 === Extension to behavior of SFENCE.VMA and HFENCE.VMA
 
 The behavior of the SFENCE.VMA and the HFENCE.VMA instructions are affected when
-supervisor domains are used by the M-mode RDSM.
+the Smsdid extension is implemented.
 
 When SFENCE.VMA is used within a supervisor domain, the virtual-address argument
 is a virtual address with either the ASID being a S/HS-level ASID (V=0), or a
@@ -264,7 +264,7 @@ with subsequent HS-level address translations.
 
 When V=1, the virtual-address argument to SFENCE.VMA is a guest virtual address
 within the current virtual machine, and the ASID argument is a VS-level ASID
-within the current virtual machine. The current virtual machine is identified by
+within the current virtual machine. The current virtual machine is identified by the combination of 
 the SDID field of the CSR mttp, the VMID field of CSR hgatp, and the effective
 ASID can be considered to be the combination of this SDID and VMID with the
 VS-level ASID. The SFENCE.VMA instruction orders stores only to the VS-level