iov_len_high 1355 arch/alpha/kernel/osf_sys.c int __user *iov_len_high = (int __user *)&iov[i].iov_len + 1; iov_len_high 1357 arch/alpha/kernel/osf_sys.c if (put_user(0, iov_len_high))