tag	line	file	source code
tptr	95	kernel/time.c	asmlinkage int sys_stime(long * tptr)
tptr	100	kernel/time.c	xtime.tv_sec = get_fs_long((unsigned long *) tptr);