tag	line	file	source code
new_tv	277	kernel/time.c	struct timeval  new_tv;
new_tv	286	kernel/time.c	memcpy_fromfs(&new_tv, tv, sizeof(*tv));
new_tv	310	kernel/time.c	new_tv.tv_usec -= do_gettimeoffset();
new_tv	312	kernel/time.c	if (new_tv.tv_usec < 0) {
new_tv	313	kernel/time.c	new_tv.tv_usec += 1000000;
new_tv	314	kernel/time.c	new_tv.tv_sec--;
new_tv	317	kernel/time.c	xtime = new_tv;