diff options
| author | Andrew Waterman <andrew@sifive.com> | 2018-12-26 23:47:42 -0600 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2018-12-26 23:48:08 -0600 |
| commit | a8b64f5fe8d1cdd715c10585fe289d571473473e (patch) | |
| tree | bf504718c4bac6550fc4b51d4c23f553fbc56dff | |
| parent | 3b4c695efcb7933ca9b647913792ccb04db02553 (diff) | |
| download | riscv-isa-manual-a8b64f5fe8d1cdd715c10585fe289d571473473e.zip riscv-isa-manual-a8b64f5fe8d1cdd715c10585fe289d571473473e.tar.gz riscv-isa-manual-a8b64f5fe8d1cdd715c10585fe289d571473473e.tar.bz2 | |
Rephrase NA4 restriction
Closes #321
| -rw-r--r-- | src/machine.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/machine.tex b/src/machine.tex index 1921b03..7f6abaf 100644 --- a/src/machine.tex +++ b/src/machine.tex @@ -3001,7 +3001,7 @@ it matches any address $y < {\tt pmpaddr}_0$. Although the PMP mechanism supports regions as small as four bytes, platforms may specify coarser PMP regions. In general, the PMP grain is $2^{G+2}$ bytes and must be the same across all PMP regions. When $G \geq 1$, the NA4 mode -may not be selected. When $G \geq 2$ and ${\tt pmpcfg}_i$.A[1] is set, i.e. +is not selectable. When $G \geq 2$ and ${\tt pmpcfg}_i$.A[1] is set, i.e. the mode is NAPOT, then bits ${\tt pmpaddr}_i$[G-2:0] read as all ones. When $G \geq 1$ and ${\tt pmpcfg}_i$.A[1] is clear, i.e. the mode is OFF or TOR, then bits ${\tt pmpaddr}_i$[G-1:0] read as all zeros. Bits ${\tt |