taglinefilesource code
it_old680kernel/sched.cstruct itimerval it_new, it_old;
it_old685kernel/sched.c_setitimer(ITIMER_REAL, &it_new, &it_old);
it_old686kernel/sched.creturn(it_old.it_value.tv_sec + (it_old.it_value.tv_usec / 1000000));