Searched defs:arch_timer_init (Results 1 – 5 of 5) sorted by relevance
714 void arch_timer_init(void) in arch_timer_init() function
642 void arch_timer_init(void) in arch_timer_init() function
613 void arch_timer_init(void) in arch_timer_init() function
912 void arch_timer_init(void) in arch_timer_init() function
1045 void arch_timer_init(void) in arch_timer_init() function