Searched refs:timer_init_r (Results 1 – 3 of 3) sorted by relevance
240 void timer_init_r(void);
147 void timer_init_r(void) in timer_init_r() function
284 timer_init_r(); in arch_misc_init()