taglinefilesource code
it_new720kernel/sched.cstruct itimerval it_new, it_old;
it_new722kernel/sched.cit_new.it_interval.tv_sec = it_new.it_interval.tv_usec = 0;
it_new723kernel/sched.cit_new.it_value.tv_sec = seconds;
it_new724kernel/sched.cit_new.it_value.tv_usec = 0;
it_new725kernel/sched.c_setitimer(ITIMER_REAL, &it_new, &it_old);