tag	line	file	source code
usec	700	kernel/sys.c	int sec, usec;
usec	703	kernel/sys.c	usec = get_fs_long(((unsigned long *)tv)+1);
usec	706	kernel/sys.c	jiffies_offset = usec * HZ / 1000000 - jiffies%HZ;