On Tue, Jun 4, 2013 at 10:29 AM, Heiko Stübner <heiko@xxxxxxxxx> 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 <linus.walleij@xxxxxxxxxx> Yours, Linus Walleij -- To unsubscribe from this list: send the line "unsubscribe linux-mmc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html