[PATCH] arm: sched_clock: Enable HAVE_SCHED_CLOCK support without init_sched_clock

[Russell King - ARM Linux]

On Thu, Sep 15, 2011 at 04:35:12PM +0900, Kyungmin Park wrote:
> From: Kyungmin Park <kyungmin.park at samsung.com>
> 
> On Samsung Exynos4 series, EVT0 chip uses the s5p_timer with HAVE_SCHED_CLOCK and remains use the MCT timer without init_sched_clock.

So in other words, sched_clock on exynos4 is broken because the update
function won't be called, and it'll wrap well below the 64-bit ns range
required of it.

NAK.