tag	line	file	source code
min_buf_size_ptr	572	arch/alpha/kernel/osf_sys.c	int *min_buf_size_ptr;
min_buf_size_ptr	594	arch/alpha/kernel/osf_sys.c	min_buf_size_ptr = get_user(&args->get.min_buf_size);
min_buf_size_ptr	595	arch/alpha/kernel/osf_sys.c	error = verify_area(VERIFY_WRITE, min_buf_size_ptr,
min_buf_size_ptr	596	arch/alpha/kernel/osf_sys.c	sizeof(*min_buf_size_ptr));
min_buf_size_ptr	599	arch/alpha/kernel/osf_sys.c	put_user(0, min_buf_size_ptr);
min_buf_size_ptr	607	arch/alpha/kernel/osf_sys.c	min_buf_size_ptr = get_user(&args->fget.min_buf_size);
min_buf_size_ptr	608	arch/alpha/kernel/osf_sys.c	error = verify_area(VERIFY_WRITE, min_buf_size_ptr,
min_buf_size_ptr	609	arch/alpha/kernel/osf_sys.c	sizeof(*min_buf_size_ptr));
min_buf_size_ptr	612	arch/alpha/kernel/osf_sys.c	put_user(0, min_buf_size_ptr);