When running with virtualization in VS/VU mode with vsatp.MODE = Bare, this means that those two bits may be subject to pointer masking, depending on hgatp.MODE and senvcfg.PMM.
Should this not say "either henvcfg.PMM (for VS) or senvcfg.PMM (for VU)"?
In section 3.5, the spec says
Should this not say "either henvcfg.PMM (for VS) or senvcfg.PMM (for VU)"?