Re: [Linaro-acpi] [RFC part3 PATCH 2/2] ARM64 / clocksource: Use arch_timer_acpi_init()