On Fri, Jun 09, 2023 at 05:21:49PM +0100, Marc Zyngier wrote: > To initialise the timer access from EL2 when HCR_EL2.E2H is set, > we must make use the CNTHCTL_EL2 formap used is appropriate. > > This amounts to shifting the timer/counter enable bits by 10 > to the left. > > Signed-off-by: Marc Zyngier <maz@xxxxxxxxxx> Reviewed-by: Catalin Marinas <catalin.marinas@xxxxxxx>