tag	line	file	source code
tptr	122	kernel/time.c	asmlinkage int sys_stime(unsigned long * tptr)
tptr	129	kernel/time.c	error = verify_area(VERIFY_READ, tptr, sizeof(*tptr));
tptr	132	kernel/time.c	value = get_fs_long(tptr);