aboutsummaryrefslogtreecommitdiff
path: root/src/machine.tex
diff options
context:
space:
mode:
authorAndrew Waterman <andrew@sifive.com>2018-11-09 00:05:49 -0800
committerAndrew Waterman <andrew@sifive.com>2018-11-09 00:05:49 -0800
commitccf4b94c4ba1930c8084406b2b7899491051be91 (patch)
tree80caf87a533fc4bcd06af3f33b58cd650ac3a12d /src/machine.tex
parentfd1917cf04f14453e32e4e536027a9ed38b3f676 (diff)
downloadriscv-isa-manual-ccf4b94c4ba1930c8084406b2b7899491051be91.zip
riscv-isa-manual-ccf4b94c4ba1930c8084406b2b7899491051be91.tar.gz
riscv-isa-manual-ccf4b94c4ba1930c8084406b2b7899491051be91.tar.bz2
WFI is not a HINT
Diffstat (limited to 'src/machine.tex')
-rw-r--r--src/machine.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/machine.tex b/src/machine.tex
index 6de2495..c3edd9f 100644
--- a/src/machine.tex
+++ b/src/machine.tex
@@ -2122,8 +2122,8 @@ that a simple return from the trap handler will execute code after the
WFI instruction.
\end{commentary}
-The WFI instruction is just a hint, and a legal implementation is to
-implement WFI as a NOP.
+The purpose of the WFI instruction is to provide a hint to the implementation,
+and so a legal implementation is to simply implement WFI as a NOP.
\begin{commentary}
If the implementation does not stall the hart on execution of the