tag	line	file	source code
usec	256	kernel/time.c	int sec, usec;
usec	259	kernel/time.c	usec = get_fs_long(((unsigned long *)tv)+1);
usec	268	kernel/time.c	usec -= do_gettimeoffset();
usec	270	kernel/time.c	if (usec < 0)
usec	272	kernel/time.c	usec += 1000000;
usec	276	kernel/time.c	xtime.tv_usec = usec;