tag	line	file	source code
min_buf_size_ptr	583	arch/alpha/kernel/osf_sys.c	int *min_buf_size_ptr;
min_buf_size_ptr	605	arch/alpha/kernel/osf_sys.c	min_buf_size_ptr = get_user(&args->get.min_buf_size);
min_buf_size_ptr	606	arch/alpha/kernel/osf_sys.c	error = verify_area(VERIFY_WRITE, min_buf_size_ptr,
min_buf_size_ptr	607	arch/alpha/kernel/osf_sys.c	sizeof(*min_buf_size_ptr));
min_buf_size_ptr	610	arch/alpha/kernel/osf_sys.c	put_user(0, min_buf_size_ptr);
min_buf_size_ptr	618	arch/alpha/kernel/osf_sys.c	min_buf_size_ptr = get_user(&args->fget.min_buf_size);
min_buf_size_ptr	619	arch/alpha/kernel/osf_sys.c	error = verify_area(VERIFY_WRITE, min_buf_size_ptr,
min_buf_size_ptr	620	arch/alpha/kernel/osf_sys.c	sizeof(*min_buf_size_ptr));
min_buf_size_ptr	623	arch/alpha/kernel/osf_sys.c	put_user(0, min_buf_size_ptr);