diff options
author | Andrew Waterman <andrew@sifive.com> | 2017-11-09 16:55:04 -0800 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2017-11-09 16:55:04 -0800 |
commit | af4a2da4bcf6e6aff62f6e615b4cecbcb395c71b (patch) | |
tree | f5475175e214b588e4edeb1f2bc6e06591c48653 | |
parent | 0b7756c337891ea2af90fc9a124917a3696f7a6a (diff) | |
download | riscv-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
-rw-r--r-- | src/machine.tex | 8 |
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 |