On Tue, Jul 26, 2022 at 1:29 AM Greg Favor <gfavor@...> wrote:
On Mon, Jul 25, 2022 at 12:13 AM Guo Ren <guoren@...> wrote:
Further the behavior that bit 31 of Sv32x4 PTE becomes ignored when menvcfg.PBMTE is 1 is important to call out.
Okay, add the sentence: The bit 31-29 of any Sv32x4 PTE becomes ignored from address bits when menvcfg.PBMTE is 1.
Note that in general reserved PTE bits that are non-zero - whether due to the bit still simply being reserved, or it corresponding to an unimplemented extension or to a disabled extension (via *envcfg) - result in a Page Fault exception, i.e. they are not ignored.
The bit 31-29 of any Sv32x4 PTE isn't addressing bits when menvcfg.PBMTE is 1.
