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