ARM: ux500: Enable PRCMU Timer 4 (clocksource) for Device Tree
authorLee Jones <lee.jones@linaro.org>
Tue, 24 Apr 2012 09:04:46 +0000 (10:04 +0100)
committerLinus Walleij <linus.walleij@linaro.org>
Tue, 1 May 2012 22:43:14 +0000 (00:43 +0200)
commitc51423fc067b00d8c8bd0e4e7bc861bf9050511d
tree965c40df3e3acc6234a044abc78e05ecec45735d
parentf58546a17c5dc2255c40e4bc4287e06a93b5c9a0
ARM: ux500: Enable PRCMU Timer 4 (clocksource) for Device Tree

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@linux.intel.com>
Signed-off-by: Lee Jones <lee.jones@linaro.org>
Signed-off-by: Linus Walleij <linus.walleij@linaro.org>
arch/arm/mach-ux500/timer.c