[RFC part3 PATCH 2/2] ARM64 / clocksource: Use arch_timer_acpi_init()

Hanjun Guo
2013-12-03T16:42:23Z

Use arch_timer_acpi_init() on ARM64 to initialise arch timer
in ACPI way when DT is not available.

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

diff --git a/arch/arm64/kernel/time.c b/arch/arm64/kernel/time.c
index 29c39d5..fb009da 100644
--- a/arch/arm64/kernel/time.c
+++ b/arch/arm64/kernel/time.c
@@ -67,6 +67,10 @@ void __init time_init(void)

clocksource_of_init();

+ /* if can't be initialised from DT, try ACPI way */
+ if (!arch_timer_get_rate())
+ arch_timer_acpi_init();
+
arch_timer_rate = arch_timer_get_rate();
if (!arch_timer_rate)
panic("Unable to initialise architected timer.\n");
--
1.7.9.5