aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/supervisor.tex3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/supervisor.tex b/src/supervisor.tex
index 5982bff..fa0fe9b 100644
--- a/src/supervisor.tex
+++ b/src/supervisor.tex
@@ -1103,7 +1103,8 @@ additional page faults.
Implementations must only perform implicit reads of the translation
data structures pointed to by the current contents of the {\tt satp}
-register, and must only raise exceptions for implicit accesses that are
+register or a subsequent valid (V=1) translation data structure entry,
+and must only raise exceptions for implicit accesses that are
generated as a result of instruction execution, not those that are
performed speculatively.