taglinefilesource code
it_new680kernel/sched.cstruct itimerval it_new, it_old;
it_new682kernel/sched.cit_new.it_interval.tv_sec = it_new.it_interval.tv_usec = 0;
it_new683kernel/sched.cit_new.it_value.tv_sec = seconds;
it_new684kernel/sched.cit_new.it_value.tv_usec = 0;
it_new685kernel/sched.c_setitimer(ITIMER_REAL, &it_new, &it_old);