Searched refs:timer_init_r (Results 1 – 3 of 3) sorted by relevance
240 void timer_init_r(void);
151 void timer_init_r(void) in timer_init_r() function
286 timer_init_r(); in arch_misc_init()
Completed in 7 milliseconds