Possible specification typo for Sv57x4

[Adnan Hamid]

Section 8.5.1, Guest Physical Address Translation, bottom of
page 124, states

"For Sv57x4, an incoming guest physical address is partitioned
as shown in Figure 8.43. This partitioning is identical to that
for an Sv57 virtual address as depicted in Figure 4.25 (page
87), 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
exception occurs."

Did it mean to say
"For Sv57x4, an incoming guest physical address is partitioned
as shown in Figure 8.43. This partitioning is identical to that
for an Sv57 virtual address as depicted in Figure 4.25 (page
87), except with 2 more bits at the high end in VPN[4]. Address
bits 63:59 must all be zeros, or else a guest-page-fault

exception occurs."

?

[Andrew Waterman]

Hi Adnan,

You are correct.  This typo was fixed upstream a couple years ago, but there hasn't been a new release of the privileged architecture spec since then.  When v1.13 is released in a few months, there will be a new published version that reflects the correction.

Andrew

--
You received this message because you are subscribed to the Google Groups "RISC-V ISA Dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email to isa-dev+u...@groups.riscv.org.
To view this discussion on the web visit https://groups.google.com/a/groups.riscv.org/d/msgid/isa-dev/70851176-7c75-47d6-9adc-306bfce4a245n%40groups.riscv.org.

[Adnan Hamid]

Thank you for the clarification.

[Adnan Hamid]

A note for future readers: Working draft of the specification are at https://github.com/riscv/riscv-isa-manual