Skip to content

Commit

Permalink
Apply suggestions from PR review
Browse files Browse the repository at this point in the history
Co-authored-by: Samuel Holland <[email protected]>
Signed-off-by: Ravi Sahita <[email protected]>
  • Loading branch information
rsahita and SiFiveHolland authored Nov 5, 2024
1 parent 7416014 commit 5cac227
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions chapter3.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -197,9 +197,9 @@ 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 the contents of rs1 corresponds to an `MPT_L1_DIR` mapping, the fence applies to
a 4 KiB page. If the contents of rs1 corresponds to a `2M_PAGES` or `4M_PAGES` mapping,
the fence applies to a 2 MiB or 4 MiB range. If the contents of rs1 corresponds to one
If the address in rs1 corresponds to an `MPT_L1_DIR` mapping, the fence applies to
a 4 KiB page. If the address in rs1 corresponds to a `2M_PAGES` or `4M_PAGES` mapping,
the fence applies to a 2 MiB or 4 MiB range. If the address in 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:
Expand Down

0 comments on commit 5cac227

Please sign in to comment.