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