On Tue, May 5, 2020 at 1:40 PM Alistair Francis wrote:
>
> On Fri, May 1, 2020 at 11:51 AM Jose Martins wrote:
> >
> > The spec states that on sv39x4 guest physical "address bits 63:41 must
> > all be zeros, or else a guest-page-fault exception occurs.". However,
> > the check performed for the
On Fri, May 1, 2020 at 11:51 AM Jose Martins wrote:
>
> The spec states that on sv39x4 guest physical "address bits 63:41 must
> all be zeros, or else a guest-page-fault exception occurs.". However,
> the check performed for these top bits of the virtual address on the
> second stage is the same
The spec states that on sv39x4 guest physical "address bits 63:41 must
all be zeros, or else a guest-page-fault exception occurs.". However,
the check performed for these top bits of the virtual address on the
second stage is the same as the one performed for virtual addresses on
the first stage