If a memory access is made form M-mode with MPRV=1 and MPP set to a privilege mode with pointer masking enabled, is PM applied for that access? I would expect "yes" since MPRV modifies the privilege level at which loads and stores execute, but it would be good to call this out explicitly in the spec.
If a memory access is made form M-mode with MPRV=1 and MPP set to a privilege mode with pointer masking enabled, is PM applied for that access? I would expect "yes" since MPRV modifies the privilege level at which loads and stores execute, but it would be good to call this out explicitly in the spec.