diff options
| author | Bill Traynor <wmat@riscv.org> | 2023-04-17 16:32:19 -0400 |
|---|---|---|
| committer | Bill Traynor <wmat@riscv.org> | 2023-04-17 16:32:19 -0400 |
| commit | 64f871f98fdba0368e9cc2e475f31f465090682f (patch) | |
| tree | 8f05483f33ecc47d617e1b5602e210de6a9c445a /src/hypervisor.adoc | |
| parent | b71f77e8c8cc670a23a90c06cafe8d0f91134a33 (diff) | |
| download | riscv-isa-manual-64f871f98fdba0368e9cc2e475f31f465090682f.zip riscv-isa-manual-64f871f98fdba0368e9cc2e475f31f465090682f.tar.gz riscv-isa-manual-64f871f98fdba0368e9cc2e475f31f465090682f.tar.bz2 | |
Removing single character latexmath
Removing single character latexmath
Diffstat (limited to 'src/hypervisor.adoc')
| -rw-r--r-- | src/hypervisor.adoc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/hypervisor.adoc b/src/hypervisor.adoc index 4d89612..e71e70c 100644 --- a/src/hypervisor.adoc +++ b/src/hypervisor.adoc @@ -765,7 +765,7 @@ VMID bits, termed _VMIDLEN_, may be determined by writing one to every bit position in the VMID field, then reading back the value in `hgatp` to see which bit positions in the VMID field hold a one. The least-significant bits of VMID are implemented first: that is, if -VMIDLEN latexmath:[$>$] 0, VMID[VMIDLEN-1:0] is writable. The maximal +VMIDLEN > 0, VMID[VMIDLEN-1:0] is writable. The maximal value of VMIDLEN, termed VMIDMAX, is 7 for Sv32x4 or 14 for Sv39x4, Sv48x4, and Sv57x4. |