[PATCH 01/10] clocksource: dw_apb_timer_of: use the clocksource as sched clock if necessary

On Tue, Jun 4, 2013 at 10:29 AM, Heiko St?bner [off-list ref] wrote:

How about:

Currently the dw_apb_timer always expects a separate special timer to be
availbable for the sched_clock. Some devices using dw_apb_timers do not
have this sptimer but can use the clocksource as sched_clock instead.

Therefore enable the driver to distiguish between devices with and without
sptimer based on the devicetree data and select the correct timer as
sched_clock.

Allright, Acked-by: Linus Walleij [off-list ref]

Yours,
Linus Walleij