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

From: Jamie Iles
Date: Tue Jun 04 2013 - 10:13:55 EST

Looks goot to me, Heiko!

On Tue, Jun 04, 2013 at 11:37:02AM +0200, Heiko Stübner wrote:
> 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 <heiko@xxxxxxxxx>

Acked-by: Jamie Iles <jamie@xxxxxxxxxxxxx>
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at