Messages in this thread Patch in this message |  | | From | Hanjun Guo <> | Subject | [RFC part3 PATCH 2/2] ARM64 / clocksource: Use arch_timer_acpi_init() | Date | Wed, 4 Dec 2013 00:41:31 +0800 |
| |
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
|  |