taglinefilesource code
it_new860kernel/sched.cstruct itimerval it_new, it_old;
it_new863kernel/sched.cit_new.it_interval.tv_sec = it_new.it_interval.tv_usec = 0;
it_new864kernel/sched.cit_new.it_value.tv_sec = seconds;
it_new865kernel/sched.cit_new.it_value.tv_usec = 0;
it_new866kernel/sched.c_setitimer(ITIMER_REAL, &it_new, &it_old);