taglinefilesource code
min_buf_size_ptr571arch/alpha/kernel/osf_sys.cint *min_buf_size_ptr;
min_buf_size_ptr593arch/alpha/kernel/osf_sys.cmin_buf_size_ptr = get_user(&args->get.min_buf_size);
min_buf_size_ptr594arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_WRITE, min_buf_size_ptr,
min_buf_size_ptr595arch/alpha/kernel/osf_sys.csizeof(*min_buf_size_ptr));
min_buf_size_ptr598arch/alpha/kernel/osf_sys.cput_user(0, min_buf_size_ptr);
min_buf_size_ptr606arch/alpha/kernel/osf_sys.cmin_buf_size_ptr = get_user(&args->fget.min_buf_size);
min_buf_size_ptr607arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_WRITE, min_buf_size_ptr,
min_buf_size_ptr608arch/alpha/kernel/osf_sys.csizeof(*min_buf_size_ptr));
min_buf_size_ptr611arch/alpha/kernel/osf_sys.cput_user(0, min_buf_size_ptr);