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
127 static inline int arch_timer_arch_init(void) in arch_timer_arch_init() function
13 int arch_timer_arch_init(void);
688 arch_timer_arch_init(); in arch_timer_common_init()