Searched refs:arch_timer_arch_init (Results 1 – 4 of 4) sorted by relevance
32 int __init arch_timer_arch_init(void) in arch_timer_arch_init() function
20 int arch_timer_arch_init(void);
212 static inline int arch_timer_arch_init(void) in arch_timer_arch_init() function
1357 return arch_timer_arch_init(); in arch_timer_common_init()