Subject: [PATCH v2 1/4] clocksource: dw_apb_timer_of: enable the use the clocksource as sched clock

From: [email-masked] (Heiko Stübner)
Date: Tue, 4 Jun 2013 12:52:07 +0200

Am Dienstag, 4. Juni 2013, 11:37:02 schrieb Heiko St?bner:
> 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.
> 
> Signed-off-by: Heiko Stuebner <[email-masked]>

in the original thread "arm: add basic support for Rockchip Cortex-A9 SoCs" 
this patch with the updated description now also got a

Acked-by: Linus Walleij <[email-masked]>