1 #ifndef __ASMARM_ARCH_TIMER_H
2 #define __ASMARM_ARCH_TIMER_H
5 #include <linux/clocksource.h>
7 #ifdef CONFIG_ARM_ARCH_TIMER
8 int arch_timer_of_register(void);
9 int arch_timer_sched_clock_init(void);
10 struct timecounter
*arch_timer_get_timecounter(void);
12 static inline int arch_timer_of_register(void)
17 static inline int arch_timer_sched_clock_init(void)
22 static inline struct timecounter
*arch_timer_get_timecounter(void)