Re: [PATCH v2] target/riscv: fix check of guest pa top bits

2020-05-06 Thread Alistair Francis
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

Re: [PATCH v2] target/riscv: fix check of guest pa top bits

2020-05-05 Thread Alistair Francis
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

[PATCH v2] target/riscv: fix check of guest pa top bits

2020-05-01 Thread Jose Martins
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