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