rt_timer_timer
static void rt_timer_timer(void *);
callout_reset(&rt_timer_ch, hz, rt_timer_timer, NULL);