aboutsummaryrefslogtreecommitdiff
path: root/src/machine.tex
diff options
context:
space:
mode:
authorAndrew Waterman <andrew@sifive.com>2017-11-09 16:55:04 -0800
committerAndrew Waterman <andrew@sifive.com>2017-11-09 16:55:04 -0800
commitaf4a2da4bcf6e6aff62f6e615b4cecbcb395c71b (patch)
treef5475175e214b588e4edeb1f2bc6e06591c48653 /src/machine.tex
parent0b7756c337891ea2af90fc9a124917a3696f7a6a (diff)
downloadriscv-isa-manual-af4a2da4bcf6e6aff62f6e615b4cecbcb395c71b.zip
riscv-isa-manual-af4a2da4bcf6e6aff62f6e615b4cecbcb395c71b.tar.gz
riscv-isa-manual-af4a2da4bcf6e6aff62f6e615b4cecbcb395c71b.tar.bz2
Specify meaning of R/W/X bits in PMP
Diffstat (limited to 'src/machine.tex')
-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