Searched defs:arch_timer_init (Results 1 – 5 of 5) sorted by relevance
713 void arch_timer_init(void) in arch_timer_init() function
641 void arch_timer_init(void) in arch_timer_init() function
612 void arch_timer_init(void) in arch_timer_init() function
911 void arch_timer_init(void) in arch_timer_init() function
1044 void arch_timer_init(void) in arch_timer_init() function