[PATCH v2 2/3] ARM: EXYNOS: Fix support of Exynos4210 rev0 SoC

[Arnd Bergmann]

On Monday 15 April 2013, Tomasz Figa wrote:
> This patch extends exynos_init_time() function to handle Exynos4210 rev0
> SoC, which differs in availability of system timers and needs different
> clocksource initialization.
> 
> This makes it possible to use exynos_init_time() function as init_time
> callback for all Exynos-based boards, including Universal_C210, which
> originally had to use samsung_timer_init().
> 
> Signed-off-by: Tomasz Figa <t.figa at samsung.com>

Acked-by: Arnd Bergmann <arnd at arndb.de>

Note that it would be helpful to mention here that this is required for
the calling samsung_timer_init from the exynos4-dt.c file.

	Arnd