Delete hard-coded page number (#1575)

Resolves #1574
riscv · Jul 30, 2024 · cb6a524 · cb6a524
1 parent 2f2f75d
commit cb6a524
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/hypervisor.adoc b/src/hypervisor.adoc
@@ -179,7 +179,7 @@ The VSXL field controls the effective XLEN for VS-mode (known as
 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>> on page <<misabase, 19>>. 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.