diff options
| author | Paul Donahue <48959409+pdonahue-ventana@users.noreply.github.com> | 2020-11-06 02:11:21 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-06 02:11:21 -0800 |
| commit | 8816307808fae26be49563204812a07daa7d172d (patch) | |
| tree | 54be5c148c054b0d845cc3f3cda1c05b6857a06e | |
| parent | 2095f8b8974273f10bdec882aa9ec043c3f49dda (diff) | |
| download | riscv-isa-manual-8816307808fae26be49563204812a07daa7d172d.zip riscv-isa-manual-8816307808fae26be49563204812a07daa7d172d.tar.gz riscv-isa-manual-8816307808fae26be49563204812a07daa7d172d.tar.bz2 | |
PMP uses physical addresses (not effective addresses) (#610)
| -rw-r--r-- | src/machine.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/machine.tex b/src/machine.tex index 43abc4a..5f1fbe4 100644 --- a/src/machine.tex +++ b/src/machine.tex @@ -3277,10 +3277,10 @@ described in the following sections. Attempting to fetch an instruction from a PMP region that does not have execute permissions raises an instruction access-fault exception. Attempting to execute -a load or load-reserved instruction whose effective address lies within +a load or load-reserved instruction which accesses a physical address within a PMP region without read permissions raises a load access-fault exception. Attempting to execute a store, store-conditional, -or AMO instruction whose effective address lies within a PMP region without +or AMO instruction which accesses a physical address within a PMP region without write permissions raises a store access-fault exception. If MXLEN is changed, the contents of the {\tt pmp{\em x}cfg} fields are |