taglinefilesource code
it_new723kernel/sched.cstruct itimerval it_new, it_old;
it_new726kernel/sched.cit_new.it_interval.tv_sec = it_new.it_interval.tv_usec = 0;
it_new727kernel/sched.cit_new.it_value.tv_sec = seconds;
it_new728kernel/sched.cit_new.it_value.tv_usec = 0;
it_new729kernel/sched.c_setitimer(ITIMER_REAL, &it_new, &it_old);