aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/cmo.adoc2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/cmo.adoc b/src/cmo.adoc
index 705166a..d4f2441 100644
--- a/src/cmo.adoc
+++ b/src/cmo.adoc
@@ -381,6 +381,8 @@ exceptions and shall not access any caches or memory. During address
translation, the instruction does _not_ check the accessed and dirty bits and
neither raises an exception nor sets the bits.
+When a page fault, guest-page fault, or access fault exception is taken, the relevant *tval CSR is written with the faulting effective address (i.e. the same faulting address value as for other causes of these exceptions).
+
[NOTE]
====
_Like a load or store instruction, a CMO instruction may or may not be permitted