Searched refs:arch_timer_arch_init (Results 1 – 3 of 3) 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