aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/machine.tex4
-rw-r--r--src/priv-preface.tex1
2 files changed, 3 insertions, 2 deletions
diff --git a/src/machine.tex b/src/machine.tex
index 199b52c..ba1e1aa 100644
--- a/src/machine.tex
+++ b/src/machine.tex
@@ -2782,7 +2782,7 @@ space, so the RV64 PMP address registers impose the same limit.
\instbitrange{63}{54} &
\instbitrange{53}{0} \\
\hline
-\multicolumn{1}{|c|}{\wiri} &
+\multicolumn{1}{|c|}{0 (\warl)} &
\multicolumn{1}{c|}{address[55:2] (\warl)} \\
\hline
10 & 54 \\
@@ -2813,7 +2813,7 @@ described in the following sections.
\instbit{0} \\
\hline
\multicolumn{1}{|c|}{L (\warl)} &
-\multicolumn{1}{c|}{\wiri} &
+\multicolumn{1}{c|}{0 (\warl)} &
\multicolumn{1}{c|}{A (\warl)} &
\multicolumn{1}{c|}{X (\warl)} &
\multicolumn{1}{c|}{W (\warl)} &
diff --git a/src/priv-preface.tex b/src/priv-preface.tex
index 99862be..118b294 100644
--- a/src/priv-preface.tex
+++ b/src/priv-preface.tex
@@ -16,6 +16,7 @@ architecture proposal. Changes from version 1.10 include:
\item Made the {\tt mstatus}.MPP field \warl, rather than \wlrl.
\item Made the unused {\em x}{\tt ip} fields \wpri, rather than \wiri.
\item Made the unused {\tt misa} fields \wlrl, rather than \wiri.
+\item Made the unused {\tt pmpaddr} and {\tt pmpcfg} fields \warl, rather than \wiri.
\item Required all harts in a system to employ the same PTE-update scheme as each other.
\item Rectified an editing error that misdescribed the mechanism by which
{\tt mstatus}.{\em x}IE is written upon an exception.