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