Merge pull request #83 from ved-rivos/issue_72

Address comments in issue 72

chapter6.adoc

@@ -501,3 +501,23 @@ This range is decided by the low-order bits of the `PPN` field, going up to the
 first low-order 0 bit (inclusive of this position). If the initial low-order 0
 bit position is denoted as `x`, the size of the range is computed as
 `(1 << (12 + x + 1))`.
+
+[NOTE]
+====
+The following example illustrates the use of `S` field to specify an address
+range for the `MTTINVAL` operation. The example shows encoding ranges of up to
+8 GiB. Larger ranges may be encoded using the upper address bits (bits 43:22)
+of the `PPN` field.
+
+. Examples of specifying address range sizes using `S` field
+[cols="3,1,3", options="header"]
+|===
+| `PPN[21:0]`              | `S` | *Address Range Size*
+| `yyyyy yyyyyyyy yyyyyyyy`|  0  | 4  KiB
+| `yyyyy yyyyyyyy yyyyyyy0`|  1  | 8  KiB
+| `yyyyy yyyyyyy0 11111111`|  1  | 2  MiB
+| `yyy01 11111111 11111111`|  1  | 1  GiB
+| `01111 11111111 11111111`|  1  | 8  GiB
+|===
+
+====

chapter7.adoc

@@ -77,9 +77,7 @@ an APLIC via a memory-mapped register interface. In another case, software
 interacts with an IMSIC through a set of S and VS-level CSRs, along with a
 series of memory-mapped registers.
 
-The RDSM can employ the MTT and/or PMP to limit a supervisor domain's access to
-the memory-mapped register interface of the interrupt controller associated with
-it. The `Smsdia` supports the connection of multiple interrupt controllers to a
+The `Smsdia` supports the connection of multiple interrupt controllers to a
 hart, allowing a supervisor domain to be paired with one of these interrupt
 controllers. The `Smsdia` extension uses the `msdcfg` CSR to signify the
 active interrupt controller for a supervisor domain. When CSRs are employed to