Searched refs:timer_init_r (Results 1 – 3 of 3) sorted by relevance
241 void timer_init_r(void);
148 void timer_init_r(void) in timer_init_r() function
285 timer_init_r(); in arch_misc_init()