From 60bfc0566c98f60d0e2f2da9290120a645777d5d Mon Sep 17 00:00:00 2001 From: Ravi Sahita Date: Wed, 2 Oct 2024 20:03:40 -0700 Subject: [PATCH] Apply suggestions from PR review Co-authored-by: Samuel Holland Co-authored-by: Ved Shanbhogue <91900059+ved-rivos@users.noreply.github.com> Signed-off-by: Ravi Sahita --- chapter3.adoc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/chapter3.adoc b/chapter3.adoc index a548e07..1943065 100644 --- 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