tag	line	file	source code
fget	551	arch/alpha/kernel/osf_sys.c	} fget;
fget	603	arch/alpha/kernel/osf_sys.c	error = verify_area(VERIFY_READ, &args->fget.min_buf_size,
fget	604	arch/alpha/kernel/osf_sys.c	sizeof(args->fget.min_buf_size));
fget	607	arch/alpha/kernel/osf_sys.c	min_buf_size_ptr = get_user(&args->fget.min_buf_size);