tag	line	file	source code
min_buf_size	543	arch/alpha/kernel/osf_sys.c	int *min_buf_size;
min_buf_size	550	arch/alpha/kernel/osf_sys.c	int *min_buf_size;
min_buf_size	590	arch/alpha/kernel/osf_sys.c	error = verify_area(VERIFY_READ, &args->get.min_buf_size,
min_buf_size	591	arch/alpha/kernel/osf_sys.c	sizeof(args->get.min_buf_size));
min_buf_size	594	arch/alpha/kernel/osf_sys.c	min_buf_size_ptr = get_user(&args->get.min_buf_size);
min_buf_size	603	arch/alpha/kernel/osf_sys.c	error = verify_area(VERIFY_READ, &args->fget.min_buf_size,
min_buf_size	604	arch/alpha/kernel/osf_sys.c	sizeof(args->fget.min_buf_size));
min_buf_size	607	arch/alpha/kernel/osf_sys.c	min_buf_size_ptr = get_user(&args->fget.min_buf_size);