[PATCH 15/15] ARM: ux500: Enable PRCMU Timer 4 (clocksource) via Device Tree

[Linus Walleij]

On Thu, Apr 19, 2012 at 10:36 PM, Lee Jones <lee.jones at linaro.org> wrote:

> In dbx500 based devices the PRCMU Timer 4 is used as a clocksource
> and sched_clock. Here we fetch all necessary addressing information
> required for correct PRCMU initialisation from the Device Tree
> instead of using hard-coded values.
>
> CC: Samuel Ortiz <sameo at linux.intel.com>
> Signed-off-by: Lee Jones <lee.jones at linaro.org>

This does not affect MFD so I can take it through ux500 and
ARM SoC.

But please split it in two: one touching mach-ux500 and one
messing with boot/dts/* please.

Thanks!
Linus Walleij