tag	line	file	source code
it_old	709	kernel/sched.c	struct itimerval it_new, it_old;
it_old	714	kernel/sched.c	_setitimer(ITIMER_REAL, &it_new, &it_old);
it_old	715	kernel/sched.c	return(it_old.it_value.tv_sec + (it_old.it_value.tv_usec / 1000000));