restart_sched
static void restart_sched(struct tasklet_struct *t);
tasklet_setup(&s->sched_tsk, restart_sched);