tag	line	file	source code
min_buf_size	553	arch/alpha/kernel/osf_sys.c	int *min_buf_size;
min_buf_size	560	arch/alpha/kernel/osf_sys.c	int *min_buf_size;
min_buf_size	600	arch/alpha/kernel/osf_sys.c	error = verify_area(VERIFY_READ, &args->get.min_buf_size,
min_buf_size	601	arch/alpha/kernel/osf_sys.c	sizeof(args->get.min_buf_size));
min_buf_size	604	arch/alpha/kernel/osf_sys.c	min_buf_size_ptr = get_user(&args->get.min_buf_size);
min_buf_size	613	arch/alpha/kernel/osf_sys.c	error = verify_area(VERIFY_READ, &args->fget.min_buf_size,
min_buf_size	614	arch/alpha/kernel/osf_sys.c	sizeof(args->fget.min_buf_size));
min_buf_size	617	arch/alpha/kernel/osf_sys.c	min_buf_size_ptr = get_user(&args->fget.min_buf_size);