clocksource: dw_apb_timer_of: enable the use the clocksource as sched clock
authorHeiko Stuebner <heiko@sntech.de>
Tue, 4 Jun 2013 09:37:02 +0000 (11:37 +0200)
committerHeiko Stuebner <heiko@sntech.de>
Wed, 12 Jun 2013 11:47:13 +0000 (13:47 +0200)
commita1198f83407ae3421f3f58355a0f296d5ea6249c
tree6760cab93aa90b7456917923315632b81c7e0b5d
parente4aa937ec75df0eea0bee03bffa3303ad36c986b
clocksource: dw_apb_timer_of: enable the use the clocksource as sched clock

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@sntech.de>
Acked-by: Linus Walleij <linus.walleij@linaro.org>
Acked-by: Jamie Iles <jamie@jamieiles.com>
drivers/clocksource/dw_apb_timer_of.c