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