| commit | c51423fc067b00d8c8bd0e4e7bc861bf9050511d | [log] [tgz] |
|---|---|---|
| author | Lee Jones <lee.jones@linaro.org> | Tue Apr 24 10:04:46 2012 +0100 |
| committer | Linus Walleij <linus.walleij@linaro.org> | Wed May 02 00:43:14 2012 +0200 |
| tree | 965c40df3e3acc6234a044abc78e05ecec45735d | |
| parent | f58546a17c5dc2255c40e4bc4287e06a93b5c9a0 [diff] |
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>