diff options
Diffstat (limited to 'src/hypervisor.tex')
-rw-r--r-- | src/hypervisor.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/hypervisor.tex b/src/hypervisor.tex index 93e68fd..abed788 100644 --- a/src/hypervisor.tex +++ b/src/hypervisor.tex @@ -268,7 +268,7 @@ exceptions. When VTSR=1, an attempt in VS-mode to execute SRET raises a virtual instruction exception. When VTW=1 (and assuming {\tt mstatus}.TW=0), an attempt in VS-mode to -execute WFI raises a virtual instruction exception if the WFI does not +execute WF[M]I raises a virtual instruction exception if the WF[M]I does not complete within an implementation-specific, bounded time limit. When VTVM=1, an attempt in VS-mode to execute SFENCE.VMA or to access CSR {\tt satp} raises a virtual instruction exception. @@ -2609,12 +2609,12 @@ attempts to execute a hypervisor instruction (HLV, HLVX, HSV, or HFENCE) or to access an implemented hypervisor CSR or VS CSR; \item -in VU-mode, attempts to execute WFI or a +in VU-mode, attempts to execute WF[M]I or a supervisor instruction (SRET or SFENCE), or to access an implemented supervisor CSR; \item -in VS-mode, attempts to execute WFI when {\tt hstatus}.VTW=1 and +in VS-mode, attempts to execute WF[M]I when {\tt hstatus}.VTW=1 and {\tt mstatus}.TW=0, unless the instruction completes within an implementation-specific, bounded time; |