-
"H" Extension for Hypervisor Support, Version 1.0
+
"H" Extension for Hypervisor Support, Version 1.0
+
This chapter describes the RISC-V hypervisor extension, which
@@ -425,6 +371,8 @@
"H" Extension for H
+
+
Privilege Modes
@@ -604,7 +552,7 @@
Hypervisor Status
VSXLEN), which may differ from the XLEN for HS-mode (HSXLEN). When
HSXLEN=32, the VSXL field does not exist, and VSXLEN=32. When HSXLEN=64,
VSXL is a WARL field that is encoded the same as the MXL field of misa,
-shown in [misabase]. In particular, an
+shown in Encoding of MXL field in misa. In particular, an
implementation may make VSXL be a read-only field whose value always
ensures that VSXLEN=HSXLEN.
@@ -1387,8 +1335,8 @@
If the least-significant two bits of a faulting guest physical address
@@ -1478,7 +1426,7 @@
Hypervisor Guest Address Tran
HSXLEN=32 and HSXLEN=64. When MODE=Bare, guest physical addresses are
equal to supervisor physical addresses, and there is no further memory
protection for a guest virtual machine beyond the physical memory
-protection scheme described in [pmp]. In this
+protection scheme described in Physical Memory Protection. In this
case, software must write zero to the remaining fields in hgatp.
Attempting to select MODE=Bare with a nonzero pattern in the remaining fields
has an UNSPECIFIED effect on the value that the remaining fields assume and an
@@ -1640,7 +1588,7 @@ Virtual Supervisor Stat
The UXL field controls the effective XLEN for VU-mode, which may differ
from the XLEN for VS-mode (VSXLEN). When VSXLEN=32, the UXL field does
not exist, and VU-mode XLEN=32. When VSXLEN=64, UXL is a WARL field that is
-encoded the same as the MXL field of misa, shown in [misabase]. In particular, an implementation may make UXL be a read-only copy of field VSXL of hstatus, forcing VU-mode XLEN=VSXLEN.
+encoded the same as the MXL field of
misa, shown in
Encoding of MXL field in misa. In particular, an implementation may make UXL be a read-only copy of field VSXL of
hstatus, forcing VU-mode XLEN=VSXLEN.
If VSXLEN is changed from 32 to a wider width, and if field UXL is not
@@ -1699,7 +1647,7 @@
Virtual Supervisor Stat
@@ -1714,7 +1662,7 @@
Virtual Supervisor Stat