"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
@@ -371,8 +425,6 @@
-
-
Privilege Modes
@@ -552,7 +604,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 Encoding of MXL field in misa. In particular, an
+shown in [misabase]. In particular, an
implementation may make VSXL be a read-only field whose value always
ensures that VSXLEN=HSXLEN.
@@ -1335,8 +1387,8 @@
If the least-significant two bits of a faulting guest physical address
@@ -1426,7 +1478,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 Physical Memory Protection. In this
+protection scheme described in [pmp]. 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
@@ -1588,7 +1640,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 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.
+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.
If VSXLEN is changed from 32 to a wider width, and if field UXL is not
@@ -1647,7 +1699,7 @@
Virtual Supervisor Stat
@@ -1662,7 +1714,7 @@
Virtual Supervisor Stat