aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/machine.tex2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/machine.tex b/src/machine.tex
index 93b16e4..a5e7037 100644
--- a/src/machine.tex
+++ b/src/machine.tex
@@ -2810,6 +2810,8 @@ If little-endian memory accesses are supported, the {\tt mstatus}/{\tt mstatush}
field MBE is reset to 0.
The {\tt misa} register is reset to enable the maximal set of supported
extensions and widest MXLEN, as described in Section~\ref{sec:misa}.
+For implementations with the ``A'' standard extension, there is no valid load
+reservation.
The {\tt pc} is set to an implementation-defined
reset vector. The {\tt mcause} register is set to a value indicating the
cause of the reset.