tag	line	file	source code
tptr	51	kernel/time.c	asmlinkage int sys_stime(int * tptr)
tptr	57	kernel/time.c	error = verify_area(VERIFY_READ, tptr, sizeof(*tptr));
tptr	60	kernel/time.c	value = get_user(tptr);