Searched refs:arch_timer_arch_init (Results 1 – 4 of 4) sorted by relevance
34 int __init arch_timer_arch_init(void) in arch_timer_arch_init() function
14 int arch_timer_arch_init(void);
163 static inline int arch_timer_arch_init(void) in arch_timer_arch_init() function
1159 return arch_timer_arch_init(); in arch_timer_common_init()
