Re: [PATCH v1 2/2] KVM: arm64: Trap access to SMPRI_EL1 in VHE mode

On Mon, Oct 31, 2022 at 09:45:48AM +0000, Marc Zyngier wrote:

Mark Brown broonie@kernel.org wrote:

...

• /*
  

•  * Disable access to SMPRI_EL1 - we don't need to control
  

•  * nTPIDR2_EL0 in VHE mode.
  

It really isn't obvious to me why this is the case. The pseudocode says for a 'MSR TPIDR2_EL0, <Xt>' (DDI0616 A.a p225):

Yes, I was just discovering that while checking and replying to your earlier mail about the other series. I'll respin.