tag	line	file	source code
fget	562	arch/alpha/kernel/osf_sys.c	} fget;
fget	614	arch/alpha/kernel/osf_sys.c	error = verify_area(VERIFY_READ, &args->fget.min_buf_size,
fget	615	arch/alpha/kernel/osf_sys.c	sizeof(args->fget.min_buf_size));
fget	618	arch/alpha/kernel/osf_sys.c	min_buf_size_ptr = get_user(&args->fget.min_buf_size);