diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/machine.tex | 4 | ||||
| -rw-r--r-- | src/rv32.tex | 3 |
2 files changed, 3 insertions, 4 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 diff --git a/src/rv32.tex b/src/rv32.tex index 51c5c03..01accc1 100644 --- a/src/rv32.tex +++ b/src/rv32.tex @@ -1328,8 +1328,7 @@ remainder of the HINT space is reserved for custom HINTs: no standard HINTs will ever be defined in this subspace. \begin{commentary} -No standard hints are presently defined (except the privileged WFI -instruction which uses a separately reserved encoding). We anticipate +No standard hints are presently defined. We anticipate standard hints to eventually include memory-system spatial and temporal locality hints, branch prediction hints, thread-scheduling hints, security tags, and instrumentation flags for |