arch_timer_of_init 1298 drivers/clocksource/arm_arch_timer.c TIMER_OF_DECLARE(armv7_arch_timer, "arm,armv7-timer", arch_timer_of_init);
arch_timer_of_init 1299 drivers/clocksource/arm_arch_timer.c TIMER_OF_DECLARE(armv8_arch_timer, "arm,armv8-timer", arch_timer_of_init);