Use clocksource_acpi_init() on ARM64 to initialise timers in ACPI way when DT is not available.
Signed-off-by: Hanjun Guo hanjun.guo@linaro.org --- arch/arm64/kernel/time.c | 6 ++++++ 1 file changed, 6 insertions(+)
diff --git a/arch/arm64/kernel/time.c b/arch/arm64/kernel/time.c index 29c39d5..6e453ac 100644 --- a/arch/arm64/kernel/time.c +++ b/arch/arm64/kernel/time.c @@ -67,6 +67,12 @@ void __init time_init(void)
clocksource_of_init();
+ /* + * Since ACPI or FDT will only one be available in the system, + * we can use clocksource_acpi_init() here safely + */ + clocksource_acpi_init(); + arch_timer_rate = arch_timer_get_rate(); if (!arch_timer_rate) panic("Unable to initialise architected timer.\n");