diff options
author | Andrew Waterman <andrew@sifive.com> | 2018-11-27 18:45:46 -0800 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2018-11-29 00:20:29 -0800 |
commit | 57bd91eba4fd6b63944b9585ac29e2dba87c845c (patch) | |
tree | 44094e5bb27ce75d679c599dba50e36703f67687 | |
parent | 41596e231d0d1d35ee6b820a6067a72a119770a9 (diff) | |
download | riscv-isa-manual-57bd91eba4fd6b63944b9585ac29e2dba87c845c.zip riscv-isa-manual-57bd91eba4fd6b63944b9585ac29e2dba87c845c.tar.gz riscv-isa-manual-57bd91eba4fd6b63944b9585ac29e2dba87c845c.tar.bz2 |
Spell check
-rw-r--r-- | src/hypervisor.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/hypervisor.tex b/src/hypervisor.tex index 7d9167f..98a54ac 100644 --- a/src/hypervisor.tex +++ b/src/hypervisor.tex @@ -891,7 +891,7 @@ specifies a single virtual machine identifier (VMID). \begin{commentary} For HFENCE.GVMA, a guest physical address specified in {\em rs1} is shifted -right by 2~bits to accomodate addresses wider than the current XLEN. +right by 2~bits to accommodate addresses wider than the current XLEN. For RV32, the hypervisor extension permits guest physical addresses as wide as 34 bits, and {\em rs1} specifies bits 33:2 of such an address. This shift-by-2 encoding of guest physical addresses matches the encoding of @@ -1097,7 +1097,7 @@ page-based virtual address translation scheme of Sv32, Sv39, or Sv48, respectively. In each case, the size of the incoming address is widened by 2~bits (to 34, 41, or 50 bits). -To accomodate the 2~extra bits, the root page table (only) is expanded by a +To accommodate the 2~extra bits, the root page table (only) is expanded by a factor of four to be 16~KiB instead of the usual 4~KiB. Matching its larger size, the root page table also must be aligned to a 16~KiB boundary instead of the usual 4~KiB page boundary. |