old_time          156 kern/kern_timeout.c 	int old_time;
old_time          167 kern/kern_timeout.c 	old_time = new->to_time;
old_time          177 kern/kern_timeout.c 		if (new->to_time - ticks < old_time - ticks) {