From 2acd3ad2ddb6119090b2a99bc9553f71fb6b8627 Mon Sep 17 00:00:00 2001 From: Ravi Sahita Date: Tue, 8 Oct 2024 20:24:07 -0700 Subject: [PATCH] Apply suggestions from PR review Signed-off-by: Ravi Sahita --- chapter3.adoc | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/chapter3.adoc b/chapter3.adoc index d47b765..d7745ed 100644 --- a/chapter3.adoc +++ b/chapter3.adoc @@ -189,6 +189,12 @@ The `MFENCE.SPA` fence instruction is used to synchronize updates to supervisor domain access-permissions with current execution. `MFENCE.SPA` is only valid in M-mode. If operand rs1≠x0, it specifies a single physical address, and if rs2≠x0, it specifies a single SDID. + +If rs1 corresponds to an `MTT_L1_DIR` mapping, the fence applies to +a 4 KiB page. If rs1 corresponds to a `2M_PAGES` or `4M_PAGES` mapping, +the fence applies to a 2 MiB or 4 MiB range. If rs1 corresponds to one +of the 1G_* mappings, the fence applies to a 1 GiB range. + The behavior of `MFENCE.SPA` depends on rs1 and rs2 as follows: * If rs1=x0 and rs2=x0, the fence orders all reads and writes to the MTT for