Searched refs:rt_timer_timer (Results 1 – 1 of 1) sorted by relevance
169 static void rt_timer_timer(void *);1830 callout_reset(&rt_timer_ch, hz, rt_timer_timer, NULL); in rt_timer_init()2003 callout_reset(&rt_timer_ch, hz, rt_timer_timer, NULL); in rt_timer_work()2007 rt_timer_timer(void *arg) in rt_timer_timer() function