diff options
Diffstat (limited to 'src/hypervisor.tex')
| -rw-r--r-- | src/hypervisor.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/hypervisor.tex b/src/hypervisor.tex index 357132e..42d0846 100644 --- a/src/hypervisor.tex +++ b/src/hypervisor.tex @@ -342,7 +342,8 @@ a guest virtual address to {\tt stval}, GVA is set to~1. For any other trap into HS-mode, GVA is set to~0. \begin{commentary} -For breakpoint and memory access traps, +For breakpoint and memory access traps +that write a nonzero value to {\tt stval}, GVA is redundant with field SPV (the two bits are set the same) except when the explicit memory access of an HLV, HLVX, or HSV instruction causes a fault. |