On Thu, 2024-05-23 at 17:04 +0100, Marc Zyngier wrote: > Hi Nina, > > On Thu, 23 May 2024 15:25:21 +0100, > Nina Schoetterl-Glausch <nsg@xxxxxxxxxxxxx> wrote: > > > > On Mon, 2020-11-02 at 16:40 +0000, Marc Zyngier wrote: > > Wow, you're digging out the old dregs... But it is worth it! [...] > Amazing. Thanks for spotting this. This is indeed broken. I guess this > was not spotted because userspace is not totally broken itself. So it's an actual bug and not just doing more work than necessary? Could corrupt the regs of a 64bit kernel? > > Do you want to submit a fix adding the masking back? or should I do it > myself? You go ahead and do it :) > > Thanks again, > > M. >