2 * linux/arch/arm/kernel/arch_timer.c
4 * Copyright (C) 2011 ARM Ltd.
7 * This program is free software; you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License version 2 as
9 * published by the Free Software Foundation.
11 #include <linux/init.h>
12 #include <linux/types.h>
14 #include <asm/delay.h>
15 #include <asm/sched_clock.h>
17 #include <clocksource/arm_arch_timer.h>
19 static unsigned long arch_timer_read_counter_long(void)
21 return arch_timer_read_counter();
24 static u32 arch_timer_read_counter_u32(void)
26 return arch_timer_read_counter();
29 static struct delay_timer arch_delay_timer;
31 static void __init arch_timer_delay_timer_register(void)
33 /* Use the architected timer for the delay loop. */
34 arch_delay_timer.read_current_timer = arch_timer_read_counter_long;
35 arch_delay_timer.freq = arch_timer_get_rate();
36 register_current_timer_delay(&arch_delay_timer);
39 int __init arch_timer_of_register(void)
43 ret = arch_timer_init();
47 arch_timer_delay_timer_register();
52 int __init arch_timer_sched_clock_init(void)
54 if (arch_timer_get_rate() == 0)
57 setup_sched_clock(arch_timer_read_counter_u32,
58 32, arch_timer_get_rate());