diff options
-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 |