diff options
Diffstat (limited to 'src')
| -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. |