aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/machine.tex8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/machine.tex b/src/machine.tex
index 6055ee6..c8079c2 100644
--- a/src/machine.tex
+++ b/src/machine.tex
@@ -2699,6 +2699,14 @@ described in the following sections.
\label{pmpcfg}
\end{figure}
+Attempting to fetch an instruction from a PMP region that does not have execute
+permissions raises a fetch access exception. Attempting to execute
+a load or load-reserved instruction whose effective address lies within
+a PMP region without read permissions raises a load access exception.
+Attempting to execute a store, store-conditional (regardless of success),
+or AMO instruction whose effective address lies within a PMP region without
+write permissions raises a store access exception.
+
\subsubsection*{Address Matching}
The A field in a PMP entry's configuration register encodes the