Searched refs:rt_timer_timer (Results 1 – 2 of 2) sorted by relevance
330 void rt_timer_timer(void *);
997 timeout_set(&rt_timer_timeout, rt_timer_timer, &rt_timer_timeout); in rt_timer_init()1122 rt_timer_timer(void *arg) in rt_timer_timer() function