From eafaf2a5c24afe3bcc18b75edcdeb0b1db177302 Mon Sep 17 00:00:00 2001
From: John Hauser <31252952+jhauser-us@users.noreply.github.com>
Date: Mon, 15 Nov 2021 14:32:47 -0800
Subject: Memory access traps may write zero to stval (#776)

Account for the fact that, once again, memory access traps may write
zero to stval.
---
 src/hypervisor.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/hypervisor.tex')

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.
-- 
cgit v1.1