aboutsummaryrefslogtreecommitdiff
path: root/src/machine.tex
diff options
context:
space:
mode:
authorAndrew Waterman <andrew@sifive.com>2020-07-17 16:19:51 -0700
committerAndrew Waterman <andrew@sifive.com>2020-07-17 16:19:51 -0700
commit259025b46a2166b899d19c06a3b3af0fe3950ac2 (patch)
tree45a20d9b44f0e62fe72140fc90e63aa54490461d /src/machine.tex
parentd08e29e238c9cff1e4ef63389e1f1e00bff333ad (diff)
downloadriscv-isa-manual-259025b46a2166b899d19c06a3b3af0fe3950ac2.zip
riscv-isa-manual-259025b46a2166b899d19c06a3b3af0fe3950ac2.tar.gz
riscv-isa-manual-259025b46a2166b899d19c06a3b3af0fe3950ac2.tar.bz2
Remove redundant phrase from access-/page-fault text
Resolves #542
Diffstat (limited to 'src/machine.tex')
-rw-r--r--src/machine.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/machine.tex b/src/machine.tex
index 7853356..29f23cc 100644
--- a/src/machine.tex
+++ b/src/machine.tex
@@ -3269,7 +3269,7 @@ 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 PMP region without read permissions raises a load access-fault exception.
-Attempting to execute a store, store-conditional (regardless of success),
+Attempting to execute a store, store-conditional,
or AMO instruction whose effective address lies within a PMP region without
write permissions raises a store access-fault exception.