diff options
| author | Andrew Waterman <andrew@sifive.com> | 2022-03-18 14:46:26 -0700 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2022-03-18 14:48:05 -0700 |
| commit | c9a172ff2245824b0c55b234a3bb45664394d038 (patch) | |
| tree | 00fdcb689e1aa19d484efd8802b18b7a9e670459 /src/hypervisor.tex | |
| parent | c7cf84547b3aefacab5463add1734c1602b67a49 (diff) | |
| download | riscv-isa-manual-c9a172ff2245824b0c55b234a3bb45664394d038.zip riscv-isa-manual-c9a172ff2245824b0c55b234a3bb45664394d038.tar.gz riscv-isa-manual-c9a172ff2245824b0c55b234a3bb45664394d038.tar.bz2 | |
Fix copy-paste errors in Sv57x4 description
h/t @pperesse
Diffstat (limited to 'src/hypervisor.tex')
| -rw-r--r-- | src/hypervisor.tex | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/hypervisor.tex b/src/hypervisor.tex index 374ed3e..d8f79bb 100644 --- a/src/hypervisor.tex +++ b/src/hypervisor.tex @@ -2635,16 +2635,16 @@ For Sv57x4, an incoming guest physical address is partitioned as shown in Figure~\ref{sv57x4va}. This partitioning is identical to that for an Sv57 virtual address as depicted in Figure~\ref{sv57va} (page~\pageref{sv57va}), except with 2 more bits at the -high end in VPN[3]. -Address bits 63:50 must all be zeros, or else a guest-page-fault +high end in VPN[4]. +Address bits 63:59 must all be zeros, or else a guest-page-fault exception occurs. \begin{figure*}[h!] {\footnotesize \begin{center} \begin{tabular}{@{}S@{}R@{}R@{}R@{}R@{}S} -\instbitrange{58}{50} & -\instbitrange{49}{39} & +\instbitrange{58}{48} & +\instbitrange{47}{39} & \instbitrange{38}{30} & \instbitrange{29}{21} & \instbitrange{20}{12} & |