tag	line	file	source code
new_tv	292	kernel/time.c	struct timeval  new_tv;
new_tv	301	kernel/time.c	memcpy_fromfs(&new_tv, tv, sizeof(*tv));
new_tv	325	kernel/time.c	new_tv.tv_usec -= do_gettimeoffset();
new_tv	327	kernel/time.c	if (new_tv.tv_usec < 0) {
new_tv	328	kernel/time.c	new_tv.tv_usec += 1000000;
new_tv	329	kernel/time.c	new_tv.tv_sec--;
new_tv	332	kernel/time.c	xtime = new_tv;