From: Lee Jones <lee.jones@linaro.org>
Date: Tue, 24 Apr 2012 09:04:46 +0000 (+0100)
Subject: ARM: ux500: Enable PRCMU Timer 4 (clocksource) for Device Tree
X-Git-Tag: v3.5-rc1~154^2~3^2
X-Git-Url: http://git.openpandora.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c51423fc067b00d8c8bd0e4e7bc861bf9050511d;p=pandora-kernel.git

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>
---

Reading git-diff-tree failed