diff --git a/chapter3.adoc b/chapter3.adoc index b64a72b..8730fef 100644 --- a/chapter3.adoc +++ b/chapter3.adoc @@ -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: