tag	line	file	source code
tptr	394	kernel/sys.c	int sys_stime(long * tptr)
tptr	398	kernel/sys.c	startup_time = get_fs_long((unsigned long *)tptr) - jiffies/HZ;