tag	line	file	source code
new_tv	281	kernel/time.c	struct timeval  new_tv;
new_tv	290	kernel/time.c	memcpy_fromfs(&new_tv, tv, sizeof(*tv));
new_tv	314	kernel/time.c	new_tv.tv_usec -= do_gettimeoffset();
new_tv	316	kernel/time.c	if (new_tv.tv_usec < 0) {
new_tv	317	kernel/time.c	new_tv.tv_usec += 1000000;
new_tv	318	kernel/time.c	new_tv.tv_sec--;
new_tv	321	kernel/time.c	xtime = new_tv;