On Fri, Jun 09, 2023 at 05:21:50PM +0100, Marc Zyngier wrote: > When HCR_EL2.E2H is set, the CPTR_EL2 register takes the CPACR_EL1 > format. Yes, this is good fun. > > Hack the bits of startup code that assume E2H=0 while setting up > CPTR_EL2 to make them grok the CPTR_EL1 format. > > Signed-off-by: Marc Zyngier <maz@xxxxxxxxxx> Reviewed-by: Catalin Marinas <catalin.marinas@xxxxxxx>
