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