aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorAndrew Waterman <andrew@sifive.com>2018-04-03 02:32:47 -0700
committerAndrew Waterman <andrew@sifive.com>2018-04-03 02:32:47 -0700
commita9d7704765360679c1a5e3fa06e0b0e41d6c5f26 (patch)
treecb342f57c431564e13a641c5d5c70ddcc375574d /src
parentb0942ddf2f5a2fa8b6e8c16559751ffb75b52b5b (diff)
downloadriscv-isa-manual-a9d7704765360679c1a5e3fa06e0b0e41d6c5f26.zip
riscv-isa-manual-a9d7704765360679c1a5e3fa06e0b0e41d6c5f26.tar.gz
riscv-isa-manual-a9d7704765360679c1a5e3fa06e0b0e41d6c5f26.tar.bz2
Fix description of PMP granularity probing mechanism
Diffstat (limited to 'src')
-rw-r--r--src/machine.tex6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/machine.tex b/src/machine.tex
index 6d71a3b..357e6da 100644
--- a/src/machine.tex
+++ b/src/machine.tex
@@ -2836,9 +2836,9 @@ not affect the address-matching logic.
\begin{commentary}
Software may determine the PMP granularity by writing zero to {\tt pmp0cfg},
-then writing zero to {\tt pmpaddr0}, then reading back {\tt pmpaddr0}.
-If the result is zero, the PMP granularity is four bytes. If {\em L}
-bits are set, the PMP granularity is $2^{L+2}$ bytes.
+then writing all ones to {\tt pmpaddr0}, then reading back {\tt pmpaddr0}.
+If $L$ is the index of the least-significant bit set,
+the PMP granularity is $2^{L+2}$ bytes.
\end{commentary}
\subsubsection*{Locking and Privilege Mode}