On Mon, Oct 31, 2022 at 09:45:48AM +0000, Marc Zyngier wrote: > Mark Brown <broonie@xxxxxxxxxx> 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.
Attachment:
signature.asc
Description: PGP signature