On Tue Jan 21, 2020 at 11:01 AM, Geert Uytterhoeven wrote:
> Unlike on arm32, the HAVE_ARM_ARCH_TIMER config symbol does not exist on
> arm64.
>
> Note that the toplevel ARM64 symbol always selects ARM_ARCH_TIMER, so
> support for it is always included.
>
> Fixes: 628d30d1ccb897fe ("arm64: Add platform selection for BCM2835.")
> Signed-off-by: Geert Uytterhoeven <geert+renesas@xxxxxxxxx>
> ---
Reviewed-by: Nicolas Saenz Julienne <nsaenzjulienne@xxxxxxx>
Thanks,
Nicolas
