[PATCH v3 07/17] arm64: Use CPACR_EL1 format to set CPTR_EL2 when E2H is set

[Catalin Marinas]

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 at kernel.org>

Reviewed-by: Catalin Marinas <catalin.marinas at arm.com>