From f10751edfbc5d1d3a38db9d2a78f4e9811738977 Mon Sep 17 00:00:00 2001 From: Tariq Kurd Date: Tue, 17 Dec 2024 12:00:58 +0000 Subject: [PATCH] Apply suggestions from code review Signed-off-by: Tariq Kurd --- src/hypervisor-integration.adoc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/hypervisor-integration.adoc b/src/hypervisor-integration.adoc index 14062111..9e84649d 100644 --- a/src/hypervisor-integration.adoc +++ b/src/hypervisor-integration.adoc @@ -75,7 +75,7 @@ part of {cheri_base_ext_name} when the hypervisor extension is supported. Its CSR address is 0x64b. <> is updated following the same rules as <> for CHERI exceptions, -load page fault and store/AMO page fault exceptions which are taken in HS-mode. +load page fault and store page fault exceptions which are taken in HS-mode. The fields are identical to <> for CHERI exceptions. @@ -196,7 +196,7 @@ include::img/vstdcreg.edn[] The <> register is a VSXLEN-bit read-write register. <> is updated following the same rules as <> for CHERI exceptions, -load page fault and store/AMO page faults which are taken in VS-mode. +load page fault and store page faults which are taken in VS-mode. .Virtual supervisor trap value register [#vstval-format]