taglinefilesource code
it_new1030kernel/sched.cstruct itimerval it_new, it_old;
it_new1033kernel/sched.cit_new.it_interval.tv_sec = it_new.it_interval.tv_usec = 0;
it_new1034kernel/sched.cit_new.it_value.tv_sec = seconds;
it_new1035kernel/sched.cit_new.it_value.tv_usec = 0;
it_new1036kernel/sched.c_setitimer(ITIMER_REAL, &it_new, &it_old);