Messages in this thread | | | Date | Tue, 4 Jun 2013 11:43:59 +0200 | Subject | Re: [PATCH 01/10] clocksource: dw_apb_timer_of: use the clocksource as sched clock if necessary | From | Linus Walleij <> |
| |
On Tue, Jun 4, 2013 at 10:29 AM, Heiko Stübner <heiko@sntech.de> 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@linaro.org>
Yours, Linus Walleij -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |