[Linaro-acpi] [PATCH v2 3/4] ARMv7 / clocksource: use arch_timer_acpi_init()

Use arch_timer_acpi_init() on ARMv7.

Signed-off-by: Hanjun Guo hanjun.guo@linaro.org --- arch/arm/kernel/time.c | 4 ++++ 1 file changed, 4 insertions(+)

diff --git a/arch/arm/kernel/time.c b/arch/arm/kernel/time.c index 829a96d..14aac22 100644 --- a/arch/arm/kernel/time.c +++ b/arch/arm/kernel/time.c @@ -27,6 +27,8 @@ #include <linux/timex.h> #include <linux/timer.h>

+#include <clocksource/arm_arch_timer.h> + #include <asm/mach/arch.h> #include <asm/mach/time.h> #include <asm/stacktrace.h> @@ -124,5 +126,7 @@ void __init time_init(void) of_clk_init(NULL); #endif clocksource_of_init(); + if (!arch_timer_get_rate()) + arch_timer_acpi_init(); } }