xref: /openbmc/linux/lib/iov_iter.c (revision 185ac4d4)
1457c8996SThomas Gleixner // SPDX-License-Identifier: GPL-2.0-only
27999096fSHerbert Xu #include <crypto/hash.h>
3d879cb83SAl Viro #include <linux/export.h>
42f8b5444SChristoph Hellwig #include <linux/bvec.h>
54d0e9df5SAlbert van der Linde #include <linux/fault-inject-usercopy.h>
6d879cb83SAl Viro #include <linux/uio.h>
7d879cb83SAl Viro #include <linux/pagemap.h>
828961998SIra Weiny #include <linux/highmem.h>
9d879cb83SAl Viro #include <linux/slab.h>
10d879cb83SAl Viro #include <linux/vmalloc.h>
11241699cdSAl Viro #include <linux/splice.h>
12bfdc5970SChristoph Hellwig #include <linux/compat.h>
13d879cb83SAl Viro #include <net/checksum.h>
14d05f4435SSagi Grimberg #include <linux/scatterlist.h>
15d0ef4c36SMarco Elver #include <linux/instrumented.h>
16d879cb83SAl Viro 
17241699cdSAl Viro #define PIPE_PARANOIA /* for now */
18241699cdSAl Viro 
19d879cb83SAl Viro #define iterate_iovec(i, n, __v, __p, skip, STEP) {	\
20d879cb83SAl Viro 	size_t left;					\
21d879cb83SAl Viro 	size_t wanted = n;				\
22d879cb83SAl Viro 	__p = i->iov;					\
23d879cb83SAl Viro 	__v.iov_len = min(n, __p->iov_len - skip);	\
24d879cb83SAl Viro 	if (likely(__v.iov_len)) {			\
25d879cb83SAl Viro 		__v.iov_base = __p->iov_base + skip;	\
26d879cb83SAl Viro 		left = (STEP);				\
27d879cb83SAl Viro 		__v.iov_len -= left;			\
28d879cb83SAl Viro 		skip += __v.iov_len;			\
29d879cb83SAl Viro 		n -= __v.iov_len;			\
30d879cb83SAl Viro 	} else {					\
31d879cb83SAl Viro 		left = 0;				\
32d879cb83SAl Viro 	}						\
33d879cb83SAl Viro 	while (unlikely(!left && n)) {			\
34d879cb83SAl Viro 		__p++;					\
35d879cb83SAl Viro 		__v.iov_len = min(n, __p->iov_len);	\
36d879cb83SAl Viro 		if (unlikely(!__v.iov_len))		\
37d879cb83SAl Viro 			continue;			\
38d879cb83SAl Viro 		__v.iov_base = __p->iov_base;		\
39d879cb83SAl Viro 		left = (STEP);				\
40d879cb83SAl Viro 		__v.iov_len -= left;			\
41d879cb83SAl Viro 		skip = __v.iov_len;			\
42d879cb83SAl Viro 		n -= __v.iov_len;			\
43d879cb83SAl Viro 	}						\
44d879cb83SAl Viro 	n = wanted - n;					\
45d879cb83SAl Viro }
46d879cb83SAl Viro 
47d879cb83SAl Viro #define iterate_kvec(i, n, __v, __p, skip, STEP) {	\
48d879cb83SAl Viro 	size_t wanted = n;				\
49d879cb83SAl Viro 	__p = i->kvec;					\
50d879cb83SAl Viro 	__v.iov_len = min(n, __p->iov_len - skip);	\
51d879cb83SAl Viro 	if (likely(__v.iov_len)) {			\
52d879cb83SAl Viro 		__v.iov_base = __p->iov_base + skip;	\
53d879cb83SAl Viro 		(void)(STEP);				\
54d879cb83SAl Viro 		skip += __v.iov_len;			\
55d879cb83SAl Viro 		n -= __v.iov_len;			\
56d879cb83SAl Viro 	}						\
57d879cb83SAl Viro 	while (unlikely(n)) {				\
58d879cb83SAl Viro 		__p++;					\
59d879cb83SAl Viro 		__v.iov_len = min(n, __p->iov_len);	\
60d879cb83SAl Viro 		if (unlikely(!__v.iov_len))		\
61d879cb83SAl Viro 			continue;			\
62d879cb83SAl Viro 		__v.iov_base = __p->iov_base;		\
63d879cb83SAl Viro 		(void)(STEP);				\
64d879cb83SAl Viro 		skip = __v.iov_len;			\
65d879cb83SAl Viro 		n -= __v.iov_len;			\
66d879cb83SAl Viro 	}						\
67d879cb83SAl Viro 	n = wanted;					\
68d879cb83SAl Viro }
69d879cb83SAl Viro 
701bdc76aeSMing Lei #define iterate_bvec(i, n, __v, __bi, skip, STEP) {	\
711bdc76aeSMing Lei 	struct bvec_iter __start;			\
721bdc76aeSMing Lei 	__start.bi_size = n;				\
731bdc76aeSMing Lei 	__start.bi_bvec_done = skip;			\
741bdc76aeSMing Lei 	__start.bi_idx = 0;				\
751bdc76aeSMing Lei 	for_each_bvec(__v, i->bvec, __bi, __start) {	\
76d879cb83SAl Viro 		(void)(STEP);				\
77d879cb83SAl Viro 	}						\
78d879cb83SAl Viro }
79d879cb83SAl Viro 
807ff50620SDavid Howells #define iterate_xarray(i, n, __v, skip, STEP) {		\
817ff50620SDavid Howells 	struct page *head = NULL;				\
827ff50620SDavid Howells 	size_t wanted = n, seg, offset;				\
837ff50620SDavid Howells 	loff_t start = i->xarray_start + skip;			\
847ff50620SDavid Howells 	pgoff_t index = start >> PAGE_SHIFT;			\
857ff50620SDavid Howells 	int j;							\
867ff50620SDavid Howells 								\
877ff50620SDavid Howells 	XA_STATE(xas, i->xarray, index);			\
887ff50620SDavid Howells 								\
897ff50620SDavid Howells 	rcu_read_lock();						\
907ff50620SDavid Howells 	xas_for_each(&xas, head, ULONG_MAX) {				\
917ff50620SDavid Howells 		if (xas_retry(&xas, head))				\
927ff50620SDavid Howells 			continue;					\
937ff50620SDavid Howells 		if (WARN_ON(xa_is_value(head)))				\
947ff50620SDavid Howells 			break;						\
957ff50620SDavid Howells 		if (WARN_ON(PageHuge(head)))				\
967ff50620SDavid Howells 			break;						\
977ff50620SDavid Howells 		for (j = (head->index < index) ? index - head->index : 0; \
987ff50620SDavid Howells 		     j < thp_nr_pages(head); j++) {			\
997ff50620SDavid Howells 			__v.bv_page = head + j;				\
1007ff50620SDavid Howells 			offset = (i->xarray_start + skip) & ~PAGE_MASK;	\
1017ff50620SDavid Howells 			seg = PAGE_SIZE - offset;			\
1027ff50620SDavid Howells 			__v.bv_offset = offset;				\
1037ff50620SDavid Howells 			__v.bv_len = min(n, seg);			\
1047ff50620SDavid Howells 			(void)(STEP);					\
1057ff50620SDavid Howells 			n -= __v.bv_len;				\
1067ff50620SDavid Howells 			skip += __v.bv_len;				\
1077ff50620SDavid Howells 			if (n == 0)					\
1087ff50620SDavid Howells 				break;					\
1097ff50620SDavid Howells 		}							\
1107ff50620SDavid Howells 		if (n == 0)						\
1117ff50620SDavid Howells 			break;						\
1127ff50620SDavid Howells 	}							\
1137ff50620SDavid Howells 	rcu_read_unlock();					\
1147ff50620SDavid Howells 	n = wanted - n;						\
1157ff50620SDavid Howells }
1167ff50620SDavid Howells 
1177ff50620SDavid Howells #define iterate_all_kinds(i, n, v, I, B, K, X) {		\
11833844e66SAl Viro 	if (likely(n)) {					\
119d879cb83SAl Viro 		size_t skip = i->iov_offset;			\
12028f38db7SAl Viro 		if (likely(iter_is_iovec(i))) {			\
121d879cb83SAl Viro 			const struct iovec *iov;		\
122d879cb83SAl Viro 			struct iovec v;				\
123d879cb83SAl Viro 			iterate_iovec(i, n, v, iov, skip, (I))	\
12428f38db7SAl Viro 		} else if (iov_iter_is_bvec(i)) {		\
12528f38db7SAl Viro 			struct bio_vec v;			\
12628f38db7SAl Viro 			struct bvec_iter __bi;			\
12728f38db7SAl Viro 			iterate_bvec(i, n, v, __bi, skip, (B))	\
12828f38db7SAl Viro 		} else if (iov_iter_is_kvec(i)) {		\
12928f38db7SAl Viro 			const struct kvec *kvec;		\
13028f38db7SAl Viro 			struct kvec v;				\
13128f38db7SAl Viro 			iterate_kvec(i, n, v, kvec, skip, (K))	\
13228f38db7SAl Viro 		} else if (iov_iter_is_xarray(i)) {		\
13328f38db7SAl Viro 			struct bio_vec v;			\
13428f38db7SAl Viro 			iterate_xarray(i, n, v, skip, (X));	\
135d879cb83SAl Viro 		}						\
13633844e66SAl Viro 	}							\
137d879cb83SAl Viro }
138d879cb83SAl Viro 
1397ff50620SDavid Howells #define iterate_and_advance(i, n, v, I, B, K, X) {		\
140dd254f5aSAl Viro 	if (unlikely(i->count < n))				\
141dd254f5aSAl Viro 		n = i->count;					\
14219f18459SAl Viro 	if (i->count) {						\
143d879cb83SAl Viro 		size_t skip = i->iov_offset;			\
14428f38db7SAl Viro 		if (likely(iter_is_iovec(i))) {			\
145d879cb83SAl Viro 			const struct iovec *iov;		\
146d879cb83SAl Viro 			struct iovec v;				\
147d879cb83SAl Viro 			iterate_iovec(i, n, v, iov, skip, (I))	\
148d879cb83SAl Viro 			if (skip == iov->iov_len) {		\
149d879cb83SAl Viro 				iov++;				\
150d879cb83SAl Viro 				skip = 0;			\
151d879cb83SAl Viro 			}					\
152d879cb83SAl Viro 			i->nr_segs -= iov - i->iov;		\
153d879cb83SAl Viro 			i->iov = iov;				\
15428f38db7SAl Viro 		} else if (iov_iter_is_bvec(i)) {		\
15528f38db7SAl Viro 			const struct bio_vec *bvec = i->bvec;	\
15628f38db7SAl Viro 			struct bio_vec v;			\
15728f38db7SAl Viro 			struct bvec_iter __bi;			\
15828f38db7SAl Viro 			iterate_bvec(i, n, v, __bi, skip, (B))	\
15928f38db7SAl Viro 			i->bvec = __bvec_iter_bvec(i->bvec, __bi);	\
16028f38db7SAl Viro 			i->nr_segs -= i->bvec - bvec;		\
16128f38db7SAl Viro 			skip = __bi.bi_bvec_done;		\
16228f38db7SAl Viro 		} else if (iov_iter_is_kvec(i)) {		\
16328f38db7SAl Viro 			const struct kvec *kvec;		\
16428f38db7SAl Viro 			struct kvec v;				\
16528f38db7SAl Viro 			iterate_kvec(i, n, v, kvec, skip, (K))	\
16628f38db7SAl Viro 			if (skip == kvec->iov_len) {		\
16728f38db7SAl Viro 				kvec++;				\
16828f38db7SAl Viro 				skip = 0;			\
16928f38db7SAl Viro 			}					\
17028f38db7SAl Viro 			i->nr_segs -= kvec - i->kvec;		\
17128f38db7SAl Viro 			i->kvec = kvec;				\
17228f38db7SAl Viro 		} else if (iov_iter_is_xarray(i)) {		\
17328f38db7SAl Viro 			struct bio_vec v;			\
17428f38db7SAl Viro 			iterate_xarray(i, n, v, skip, (X))	\
175d879cb83SAl Viro 		}						\
176d879cb83SAl Viro 		i->count -= n;					\
177d879cb83SAl Viro 		i->iov_offset = skip;				\
178dd254f5aSAl Viro 	}							\
179d879cb83SAl Viro }
180d879cb83SAl Viro 
18109fc68dcSAl Viro static int copyout(void __user *to, const void *from, size_t n)
18209fc68dcSAl Viro {
1834d0e9df5SAlbert van der Linde 	if (should_fail_usercopy())
1844d0e9df5SAlbert van der Linde 		return n;
18596d4f267SLinus Torvalds 	if (access_ok(to, n)) {
186d0ef4c36SMarco Elver 		instrument_copy_to_user(to, from, n);
18709fc68dcSAl Viro 		n = raw_copy_to_user(to, from, n);
18809fc68dcSAl Viro 	}
18909fc68dcSAl Viro 	return n;
19009fc68dcSAl Viro }
19109fc68dcSAl Viro 
19209fc68dcSAl Viro static int copyin(void *to, const void __user *from, size_t n)
19309fc68dcSAl Viro {
1944d0e9df5SAlbert van der Linde 	if (should_fail_usercopy())
1954d0e9df5SAlbert van der Linde 		return n;
19696d4f267SLinus Torvalds 	if (access_ok(from, n)) {
197d0ef4c36SMarco Elver 		instrument_copy_from_user(to, from, n);
19809fc68dcSAl Viro 		n = raw_copy_from_user(to, from, n);
19909fc68dcSAl Viro 	}
20009fc68dcSAl Viro 	return n;
20109fc68dcSAl Viro }
20209fc68dcSAl Viro 
203d879cb83SAl Viro static size_t copy_page_to_iter_iovec(struct page *page, size_t offset, size_t bytes,
204d879cb83SAl Viro 			 struct iov_iter *i)
205d879cb83SAl Viro {
206d879cb83SAl Viro 	size_t skip, copy, left, wanted;
207d879cb83SAl Viro 	const struct iovec *iov;
208d879cb83SAl Viro 	char __user *buf;
209d879cb83SAl Viro 	void *kaddr, *from;
210d879cb83SAl Viro 
211d879cb83SAl Viro 	if (unlikely(bytes > i->count))
212d879cb83SAl Viro 		bytes = i->count;
213d879cb83SAl Viro 
214d879cb83SAl Viro 	if (unlikely(!bytes))
215d879cb83SAl Viro 		return 0;
216d879cb83SAl Viro 
21709fc68dcSAl Viro 	might_fault();
218d879cb83SAl Viro 	wanted = bytes;
219d879cb83SAl Viro 	iov = i->iov;
220d879cb83SAl Viro 	skip = i->iov_offset;
221d879cb83SAl Viro 	buf = iov->iov_base + skip;
222d879cb83SAl Viro 	copy = min(bytes, iov->iov_len - skip);
223d879cb83SAl Viro 
2243fa6c507SMikulas Patocka 	if (IS_ENABLED(CONFIG_HIGHMEM) && !fault_in_pages_writeable(buf, copy)) {
225d879cb83SAl Viro 		kaddr = kmap_atomic(page);
226d879cb83SAl Viro 		from = kaddr + offset;
227d879cb83SAl Viro 
228d879cb83SAl Viro 		/* first chunk, usually the only one */
22909fc68dcSAl Viro 		left = copyout(buf, from, copy);
230d879cb83SAl Viro 		copy -= left;
231d879cb83SAl Viro 		skip += copy;
232d879cb83SAl Viro 		from += copy;
233d879cb83SAl Viro 		bytes -= copy;
234d879cb83SAl Viro 
235d879cb83SAl Viro 		while (unlikely(!left && bytes)) {
236d879cb83SAl Viro 			iov++;
237d879cb83SAl Viro 			buf = iov->iov_base;
238d879cb83SAl Viro 			copy = min(bytes, iov->iov_len);
23909fc68dcSAl Viro 			left = copyout(buf, from, copy);
240d879cb83SAl Viro 			copy -= left;
241d879cb83SAl Viro 			skip = copy;
242d879cb83SAl Viro 			from += copy;
243d879cb83SAl Viro 			bytes -= copy;
244d879cb83SAl Viro 		}
245d879cb83SAl Viro 		if (likely(!bytes)) {
246d879cb83SAl Viro 			kunmap_atomic(kaddr);
247d879cb83SAl Viro 			goto done;
248d879cb83SAl Viro 		}
249d879cb83SAl Viro 		offset = from - kaddr;
250d879cb83SAl Viro 		buf += copy;
251d879cb83SAl Viro 		kunmap_atomic(kaddr);
252d879cb83SAl Viro 		copy = min(bytes, iov->iov_len - skip);
253d879cb83SAl Viro 	}
254d879cb83SAl Viro 	/* Too bad - revert to non-atomic kmap */
2553fa6c507SMikulas Patocka 
256d879cb83SAl Viro 	kaddr = kmap(page);
257d879cb83SAl Viro 	from = kaddr + offset;
25809fc68dcSAl Viro 	left = copyout(buf, from, copy);
259d879cb83SAl Viro 	copy -= left;
260d879cb83SAl Viro 	skip += copy;
261d879cb83SAl Viro 	from += copy;
262d879cb83SAl Viro 	bytes -= copy;
263d879cb83SAl Viro 	while (unlikely(!left && bytes)) {
264d879cb83SAl Viro 		iov++;
265d879cb83SAl Viro 		buf = iov->iov_base;
266d879cb83SAl Viro 		copy = min(bytes, iov->iov_len);
26709fc68dcSAl Viro 		left = copyout(buf, from, copy);
268d879cb83SAl Viro 		copy -= left;
269d879cb83SAl Viro 		skip = copy;
270d879cb83SAl Viro 		from += copy;
271d879cb83SAl Viro 		bytes -= copy;
272d879cb83SAl Viro 	}
273d879cb83SAl Viro 	kunmap(page);
2743fa6c507SMikulas Patocka 
275d879cb83SAl Viro done:
276d879cb83SAl Viro 	if (skip == iov->iov_len) {
277d879cb83SAl Viro 		iov++;
278d879cb83SAl Viro 		skip = 0;
279d879cb83SAl Viro 	}
280d879cb83SAl Viro 	i->count -= wanted - bytes;
281d879cb83SAl Viro 	i->nr_segs -= iov - i->iov;
282d879cb83SAl Viro 	i->iov = iov;
283d879cb83SAl Viro 	i->iov_offset = skip;
284d879cb83SAl Viro 	return wanted - bytes;
285d879cb83SAl Viro }
286d879cb83SAl Viro 
287d879cb83SAl Viro static size_t copy_page_from_iter_iovec(struct page *page, size_t offset, size_t bytes,
288d879cb83SAl Viro 			 struct iov_iter *i)
289d879cb83SAl Viro {
290d879cb83SAl Viro 	size_t skip, copy, left, wanted;
291d879cb83SAl Viro 	const struct iovec *iov;
292d879cb83SAl Viro 	char __user *buf;
293d879cb83SAl Viro 	void *kaddr, *to;
294d879cb83SAl Viro 
295d879cb83SAl Viro 	if (unlikely(bytes > i->count))
296d879cb83SAl Viro 		bytes = i->count;
297d879cb83SAl Viro 
298d879cb83SAl Viro 	if (unlikely(!bytes))
299d879cb83SAl Viro 		return 0;
300d879cb83SAl Viro 
30109fc68dcSAl Viro 	might_fault();
302d879cb83SAl Viro 	wanted = bytes;
303d879cb83SAl Viro 	iov = i->iov;
304d879cb83SAl Viro 	skip = i->iov_offset;
305d879cb83SAl Viro 	buf = iov->iov_base + skip;
306d879cb83SAl Viro 	copy = min(bytes, iov->iov_len - skip);
307d879cb83SAl Viro 
3083fa6c507SMikulas Patocka 	if (IS_ENABLED(CONFIG_HIGHMEM) && !fault_in_pages_readable(buf, copy)) {
309d879cb83SAl Viro 		kaddr = kmap_atomic(page);
310d879cb83SAl Viro 		to = kaddr + offset;
311d879cb83SAl Viro 
312d879cb83SAl Viro 		/* first chunk, usually the only one */
31309fc68dcSAl Viro 		left = copyin(to, buf, copy);
314d879cb83SAl Viro 		copy -= left;
315d879cb83SAl Viro 		skip += copy;
316d879cb83SAl Viro 		to += copy;
317d879cb83SAl Viro 		bytes -= copy;
318d879cb83SAl Viro 
319d879cb83SAl Viro 		while (unlikely(!left && bytes)) {
320d879cb83SAl Viro 			iov++;
321d879cb83SAl Viro 			buf = iov->iov_base;
322d879cb83SAl Viro 			copy = min(bytes, iov->iov_len);
32309fc68dcSAl Viro 			left = copyin(to, buf, copy);
324d879cb83SAl Viro 			copy -= left;
325d879cb83SAl Viro 			skip = copy;
326d879cb83SAl Viro 			to += copy;
327d879cb83SAl Viro 			bytes -= copy;
328d879cb83SAl Viro 		}
329d879cb83SAl Viro 		if (likely(!bytes)) {
330d879cb83SAl Viro 			kunmap_atomic(kaddr);
331d879cb83SAl Viro 			goto done;
332d879cb83SAl Viro 		}
333d879cb83SAl Viro 		offset = to - kaddr;
334d879cb83SAl Viro 		buf += copy;
335d879cb83SAl Viro 		kunmap_atomic(kaddr);
336d879cb83SAl Viro 		copy = min(bytes, iov->iov_len - skip);
337d879cb83SAl Viro 	}
338d879cb83SAl Viro 	/* Too bad - revert to non-atomic kmap */
3393fa6c507SMikulas Patocka 
340d879cb83SAl Viro 	kaddr = kmap(page);
341d879cb83SAl Viro 	to = kaddr + offset;
34209fc68dcSAl Viro 	left = copyin(to, buf, copy);
343d879cb83SAl Viro 	copy -= left;
344d879cb83SAl Viro 	skip += copy;
345d879cb83SAl Viro 	to += copy;
346d879cb83SAl Viro 	bytes -= copy;
347d879cb83SAl Viro 	while (unlikely(!left && bytes)) {
348d879cb83SAl Viro 		iov++;
349d879cb83SAl Viro 		buf = iov->iov_base;
350d879cb83SAl Viro 		copy = min(bytes, iov->iov_len);
35109fc68dcSAl Viro 		left = copyin(to, buf, copy);
352d879cb83SAl Viro 		copy -= left;
353d879cb83SAl Viro 		skip = copy;
354d879cb83SAl Viro 		to += copy;
355d879cb83SAl Viro 		bytes -= copy;
356d879cb83SAl Viro 	}
357d879cb83SAl Viro 	kunmap(page);
3583fa6c507SMikulas Patocka 
359d879cb83SAl Viro done:
360d879cb83SAl Viro 	if (skip == iov->iov_len) {
361d879cb83SAl Viro 		iov++;
362d879cb83SAl Viro 		skip = 0;
363d879cb83SAl Viro 	}
364d879cb83SAl Viro 	i->count -= wanted - bytes;
365d879cb83SAl Viro 	i->nr_segs -= iov - i->iov;
366d879cb83SAl Viro 	i->iov = iov;
367d879cb83SAl Viro 	i->iov_offset = skip;
368d879cb83SAl Viro 	return wanted - bytes;
369d879cb83SAl Viro }
370d879cb83SAl Viro 
371241699cdSAl Viro #ifdef PIPE_PARANOIA
372241699cdSAl Viro static bool sanity(const struct iov_iter *i)
373241699cdSAl Viro {
374241699cdSAl Viro 	struct pipe_inode_info *pipe = i->pipe;
3758cefc107SDavid Howells 	unsigned int p_head = pipe->head;
3768cefc107SDavid Howells 	unsigned int p_tail = pipe->tail;
3778cefc107SDavid Howells 	unsigned int p_mask = pipe->ring_size - 1;
3788cefc107SDavid Howells 	unsigned int p_occupancy = pipe_occupancy(p_head, p_tail);
3798cefc107SDavid Howells 	unsigned int i_head = i->head;
3808cefc107SDavid Howells 	unsigned int idx;
3818cefc107SDavid Howells 
382241699cdSAl Viro 	if (i->iov_offset) {
383241699cdSAl Viro 		struct pipe_buffer *p;
3848cefc107SDavid Howells 		if (unlikely(p_occupancy == 0))
385241699cdSAl Viro 			goto Bad;	// pipe must be non-empty
3868cefc107SDavid Howells 		if (unlikely(i_head != p_head - 1))
387241699cdSAl Viro 			goto Bad;	// must be at the last buffer...
388241699cdSAl Viro 
3898cefc107SDavid Howells 		p = &pipe->bufs[i_head & p_mask];
390241699cdSAl Viro 		if (unlikely(p->offset + p->len != i->iov_offset))
391241699cdSAl Viro 			goto Bad;	// ... at the end of segment
392241699cdSAl Viro 	} else {
3938cefc107SDavid Howells 		if (i_head != p_head)
394241699cdSAl Viro 			goto Bad;	// must be right after the last buffer
395241699cdSAl Viro 	}
396241699cdSAl Viro 	return true;
397241699cdSAl Viro Bad:
3988cefc107SDavid Howells 	printk(KERN_ERR "idx = %d, offset = %zd\n", i_head, i->iov_offset);
3998cefc107SDavid Howells 	printk(KERN_ERR "head = %d, tail = %d, buffers = %d\n",
4008cefc107SDavid Howells 			p_head, p_tail, pipe->ring_size);
4018cefc107SDavid Howells 	for (idx = 0; idx < pipe->ring_size; idx++)
402241699cdSAl Viro 		printk(KERN_ERR "[%p %p %d %d]\n",
403241699cdSAl Viro 			pipe->bufs[idx].ops,
404241699cdSAl Viro 			pipe->bufs[idx].page,
405241699cdSAl Viro 			pipe->bufs[idx].offset,
406241699cdSAl Viro 			pipe->bufs[idx].len);
407241699cdSAl Viro 	WARN_ON(1);
408241699cdSAl Viro 	return false;
409241699cdSAl Viro }
410241699cdSAl Viro #else
411241699cdSAl Viro #define sanity(i) true
412241699cdSAl Viro #endif
413241699cdSAl Viro 
414241699cdSAl Viro static size_t copy_page_to_iter_pipe(struct page *page, size_t offset, size_t bytes,
415241699cdSAl Viro 			 struct iov_iter *i)
416241699cdSAl Viro {
417241699cdSAl Viro 	struct pipe_inode_info *pipe = i->pipe;
418241699cdSAl Viro 	struct pipe_buffer *buf;
4198cefc107SDavid Howells 	unsigned int p_tail = pipe->tail;
4208cefc107SDavid Howells 	unsigned int p_mask = pipe->ring_size - 1;
4218cefc107SDavid Howells 	unsigned int i_head = i->head;
422241699cdSAl Viro 	size_t off;
423241699cdSAl Viro 
424241699cdSAl Viro 	if (unlikely(bytes > i->count))
425241699cdSAl Viro 		bytes = i->count;
426241699cdSAl Viro 
427241699cdSAl Viro 	if (unlikely(!bytes))
428241699cdSAl Viro 		return 0;
429241699cdSAl Viro 
430241699cdSAl Viro 	if (!sanity(i))
431241699cdSAl Viro 		return 0;
432241699cdSAl Viro 
433241699cdSAl Viro 	off = i->iov_offset;
4348cefc107SDavid Howells 	buf = &pipe->bufs[i_head & p_mask];
435241699cdSAl Viro 	if (off) {
436241699cdSAl Viro 		if (offset == off && buf->page == page) {
437241699cdSAl Viro 			/* merge with the last one */
438241699cdSAl Viro 			buf->len += bytes;
439241699cdSAl Viro 			i->iov_offset += bytes;
440241699cdSAl Viro 			goto out;
441241699cdSAl Viro 		}
4428cefc107SDavid Howells 		i_head++;
4438cefc107SDavid Howells 		buf = &pipe->bufs[i_head & p_mask];
444241699cdSAl Viro 	}
4456718b6f8SDavid Howells 	if (pipe_full(i_head, p_tail, pipe->max_usage))
446241699cdSAl Viro 		return 0;
4478cefc107SDavid Howells 
448241699cdSAl Viro 	buf->ops = &page_cache_pipe_buf_ops;
4498cefc107SDavid Howells 	get_page(page);
4508cefc107SDavid Howells 	buf->page = page;
451241699cdSAl Viro 	buf->offset = offset;
452241699cdSAl Viro 	buf->len = bytes;
4538cefc107SDavid Howells 
4548cefc107SDavid Howells 	pipe->head = i_head + 1;
455241699cdSAl Viro 	i->iov_offset = offset + bytes;
4568cefc107SDavid Howells 	i->head = i_head;
457241699cdSAl Viro out:
458241699cdSAl Viro 	i->count -= bytes;
459241699cdSAl Viro 	return bytes;
460241699cdSAl Viro }
461241699cdSAl Viro 
462d879cb83SAl Viro /*
463171a0203SAnton Altaparmakov  * Fault in one or more iovecs of the given iov_iter, to a maximum length of
464171a0203SAnton Altaparmakov  * bytes.  For each iovec, fault in each page that constitutes the iovec.
465171a0203SAnton Altaparmakov  *
466171a0203SAnton Altaparmakov  * Return 0 on success, or non-zero if the memory could not be accessed (i.e.
467171a0203SAnton Altaparmakov  * because it is an invalid address).
468171a0203SAnton Altaparmakov  */
469d4690f1eSAl Viro int iov_iter_fault_in_readable(struct iov_iter *i, size_t bytes)
470171a0203SAnton Altaparmakov {
471171a0203SAnton Altaparmakov 	size_t skip = i->iov_offset;
472171a0203SAnton Altaparmakov 	const struct iovec *iov;
473171a0203SAnton Altaparmakov 	int err;
474171a0203SAnton Altaparmakov 	struct iovec v;
475171a0203SAnton Altaparmakov 
4760e8f0d67SAl Viro 	if (iter_is_iovec(i)) {
477171a0203SAnton Altaparmakov 		iterate_iovec(i, bytes, v, iov, skip, ({
4784bce9f6eSAl Viro 			err = fault_in_pages_readable(v.iov_base, v.iov_len);
479171a0203SAnton Altaparmakov 			if (unlikely(err))
480171a0203SAnton Altaparmakov 			return err;
481171a0203SAnton Altaparmakov 		0;}))
482171a0203SAnton Altaparmakov 	}
483171a0203SAnton Altaparmakov 	return 0;
484171a0203SAnton Altaparmakov }
485d4690f1eSAl Viro EXPORT_SYMBOL(iov_iter_fault_in_readable);
486171a0203SAnton Altaparmakov 
487aa563d7bSDavid Howells void iov_iter_init(struct iov_iter *i, unsigned int direction,
488d879cb83SAl Viro 			const struct iovec *iov, unsigned long nr_segs,
489d879cb83SAl Viro 			size_t count)
490d879cb83SAl Viro {
491aa563d7bSDavid Howells 	WARN_ON(direction & ~(READ | WRITE));
4928cd54c1cSAl Viro 	WARN_ON_ONCE(uaccess_kernel());
4938cd54c1cSAl Viro 	*i = (struct iov_iter) {
4948cd54c1cSAl Viro 		.iter_type = ITER_IOVEC,
4958cd54c1cSAl Viro 		.data_source = direction,
4968cd54c1cSAl Viro 		.iov = iov,
4978cd54c1cSAl Viro 		.nr_segs = nr_segs,
4988cd54c1cSAl Viro 		.iov_offset = 0,
4998cd54c1cSAl Viro 		.count = count
5008cd54c1cSAl Viro 	};
501d879cb83SAl Viro }
502d879cb83SAl Viro EXPORT_SYMBOL(iov_iter_init);
503d879cb83SAl Viro 
504241699cdSAl Viro static inline bool allocated(struct pipe_buffer *buf)
505241699cdSAl Viro {
506241699cdSAl Viro 	return buf->ops == &default_pipe_buf_ops;
507241699cdSAl Viro }
508241699cdSAl Viro 
5098cefc107SDavid Howells static inline void data_start(const struct iov_iter *i,
5108cefc107SDavid Howells 			      unsigned int *iter_headp, size_t *offp)
511241699cdSAl Viro {
5128cefc107SDavid Howells 	unsigned int p_mask = i->pipe->ring_size - 1;
5138cefc107SDavid Howells 	unsigned int iter_head = i->head;
514241699cdSAl Viro 	size_t off = i->iov_offset;
5158cefc107SDavid Howells 
5168cefc107SDavid Howells 	if (off && (!allocated(&i->pipe->bufs[iter_head & p_mask]) ||
5178cefc107SDavid Howells 		    off == PAGE_SIZE)) {
5188cefc107SDavid Howells 		iter_head++;
519241699cdSAl Viro 		off = 0;
520241699cdSAl Viro 	}
5218cefc107SDavid Howells 	*iter_headp = iter_head;
522241699cdSAl Viro 	*offp = off;
523241699cdSAl Viro }
524241699cdSAl Viro 
525241699cdSAl Viro static size_t push_pipe(struct iov_iter *i, size_t size,
5268cefc107SDavid Howells 			int *iter_headp, size_t *offp)
527241699cdSAl Viro {
528241699cdSAl Viro 	struct pipe_inode_info *pipe = i->pipe;
5298cefc107SDavid Howells 	unsigned int p_tail = pipe->tail;
5308cefc107SDavid Howells 	unsigned int p_mask = pipe->ring_size - 1;
5318cefc107SDavid Howells 	unsigned int iter_head;
532241699cdSAl Viro 	size_t off;
533241699cdSAl Viro 	ssize_t left;
534241699cdSAl Viro 
535241699cdSAl Viro 	if (unlikely(size > i->count))
536241699cdSAl Viro 		size = i->count;
537241699cdSAl Viro 	if (unlikely(!size))
538241699cdSAl Viro 		return 0;
539241699cdSAl Viro 
540241699cdSAl Viro 	left = size;
5418cefc107SDavid Howells 	data_start(i, &iter_head, &off);
5428cefc107SDavid Howells 	*iter_headp = iter_head;
543241699cdSAl Viro 	*offp = off;
544241699cdSAl Viro 	if (off) {
545241699cdSAl Viro 		left -= PAGE_SIZE - off;
546241699cdSAl Viro 		if (left <= 0) {
5478cefc107SDavid Howells 			pipe->bufs[iter_head & p_mask].len += size;
548241699cdSAl Viro 			return size;
549241699cdSAl Viro 		}
5508cefc107SDavid Howells 		pipe->bufs[iter_head & p_mask].len = PAGE_SIZE;
5518cefc107SDavid Howells 		iter_head++;
552241699cdSAl Viro 	}
5536718b6f8SDavid Howells 	while (!pipe_full(iter_head, p_tail, pipe->max_usage)) {
5548cefc107SDavid Howells 		struct pipe_buffer *buf = &pipe->bufs[iter_head & p_mask];
555241699cdSAl Viro 		struct page *page = alloc_page(GFP_USER);
556241699cdSAl Viro 		if (!page)
557241699cdSAl Viro 			break;
5588cefc107SDavid Howells 
5598cefc107SDavid Howells 		buf->ops = &default_pipe_buf_ops;
5608cefc107SDavid Howells 		buf->page = page;
5618cefc107SDavid Howells 		buf->offset = 0;
5628cefc107SDavid Howells 		buf->len = min_t(ssize_t, left, PAGE_SIZE);
5638cefc107SDavid Howells 		left -= buf->len;
5648cefc107SDavid Howells 		iter_head++;
5658cefc107SDavid Howells 		pipe->head = iter_head;
5668cefc107SDavid Howells 
5678cefc107SDavid Howells 		if (left == 0)
568241699cdSAl Viro 			return size;
569241699cdSAl Viro 	}
570241699cdSAl Viro 	return size - left;
571241699cdSAl Viro }
572241699cdSAl Viro 
573241699cdSAl Viro static size_t copy_pipe_to_iter(const void *addr, size_t bytes,
574241699cdSAl Viro 				struct iov_iter *i)
575241699cdSAl Viro {
576241699cdSAl Viro 	struct pipe_inode_info *pipe = i->pipe;
5778cefc107SDavid Howells 	unsigned int p_mask = pipe->ring_size - 1;
5788cefc107SDavid Howells 	unsigned int i_head;
579241699cdSAl Viro 	size_t n, off;
580241699cdSAl Viro 
581241699cdSAl Viro 	if (!sanity(i))
582241699cdSAl Viro 		return 0;
583241699cdSAl Viro 
5848cefc107SDavid Howells 	bytes = n = push_pipe(i, bytes, &i_head, &off);
585241699cdSAl Viro 	if (unlikely(!n))
586241699cdSAl Viro 		return 0;
5878cefc107SDavid Howells 	do {
588241699cdSAl Viro 		size_t chunk = min_t(size_t, n, PAGE_SIZE - off);
5898cefc107SDavid Howells 		memcpy_to_page(pipe->bufs[i_head & p_mask].page, off, addr, chunk);
5908cefc107SDavid Howells 		i->head = i_head;
591241699cdSAl Viro 		i->iov_offset = off + chunk;
592241699cdSAl Viro 		n -= chunk;
593241699cdSAl Viro 		addr += chunk;
5948cefc107SDavid Howells 		off = 0;
5958cefc107SDavid Howells 		i_head++;
5968cefc107SDavid Howells 	} while (n);
597241699cdSAl Viro 	i->count -= bytes;
598241699cdSAl Viro 	return bytes;
599241699cdSAl Viro }
600241699cdSAl Viro 
601f9152895SAl Viro static __wsum csum_and_memcpy(void *to, const void *from, size_t len,
602f9152895SAl Viro 			      __wsum sum, size_t off)
603f9152895SAl Viro {
604cc44c17bSAl Viro 	__wsum next = csum_partial_copy_nocheck(from, to, len);
605f9152895SAl Viro 	return csum_block_add(sum, next, off);
606f9152895SAl Viro }
607f9152895SAl Viro 
60878e1f386SAl Viro static size_t csum_and_copy_to_pipe_iter(const void *addr, size_t bytes,
60952cbd23aSWillem de Bruijn 					 struct csum_state *csstate,
61052cbd23aSWillem de Bruijn 					 struct iov_iter *i)
61178e1f386SAl Viro {
61278e1f386SAl Viro 	struct pipe_inode_info *pipe = i->pipe;
6138cefc107SDavid Howells 	unsigned int p_mask = pipe->ring_size - 1;
61452cbd23aSWillem de Bruijn 	__wsum sum = csstate->csum;
61552cbd23aSWillem de Bruijn 	size_t off = csstate->off;
6168cefc107SDavid Howells 	unsigned int i_head;
61778e1f386SAl Viro 	size_t n, r;
61878e1f386SAl Viro 
61978e1f386SAl Viro 	if (!sanity(i))
62078e1f386SAl Viro 		return 0;
62178e1f386SAl Viro 
6228cefc107SDavid Howells 	bytes = n = push_pipe(i, bytes, &i_head, &r);
62378e1f386SAl Viro 	if (unlikely(!n))
62478e1f386SAl Viro 		return 0;
6258cefc107SDavid Howells 	do {
62678e1f386SAl Viro 		size_t chunk = min_t(size_t, n, PAGE_SIZE - r);
6278cefc107SDavid Howells 		char *p = kmap_atomic(pipe->bufs[i_head & p_mask].page);
628f9152895SAl Viro 		sum = csum_and_memcpy(p + r, addr, chunk, sum, off);
62978e1f386SAl Viro 		kunmap_atomic(p);
6308cefc107SDavid Howells 		i->head = i_head;
63178e1f386SAl Viro 		i->iov_offset = r + chunk;
63278e1f386SAl Viro 		n -= chunk;
63378e1f386SAl Viro 		off += chunk;
63478e1f386SAl Viro 		addr += chunk;
6358cefc107SDavid Howells 		r = 0;
6368cefc107SDavid Howells 		i_head++;
6378cefc107SDavid Howells 	} while (n);
63878e1f386SAl Viro 	i->count -= bytes;
63952cbd23aSWillem de Bruijn 	csstate->csum = sum;
64052cbd23aSWillem de Bruijn 	csstate->off = off;
64178e1f386SAl Viro 	return bytes;
64278e1f386SAl Viro }
64378e1f386SAl Viro 
644aa28de27SAl Viro size_t _copy_to_iter(const void *addr, size_t bytes, struct iov_iter *i)
645d879cb83SAl Viro {
64636f7a8a4SAl Viro 	const char *from = addr;
64700e23707SDavid Howells 	if (unlikely(iov_iter_is_pipe(i)))
648241699cdSAl Viro 		return copy_pipe_to_iter(addr, bytes, i);
64909fc68dcSAl Viro 	if (iter_is_iovec(i))
65009fc68dcSAl Viro 		might_fault();
651d879cb83SAl Viro 	iterate_and_advance(i, bytes, v,
65209fc68dcSAl Viro 		copyout(v.iov_base, (from += v.iov_len) - v.iov_len, v.iov_len),
653d879cb83SAl Viro 		memcpy_to_page(v.bv_page, v.bv_offset,
654d879cb83SAl Viro 			       (from += v.bv_len) - v.bv_len, v.bv_len),
6557ff50620SDavid Howells 		memcpy(v.iov_base, (from += v.iov_len) - v.iov_len, v.iov_len),
6567ff50620SDavid Howells 		memcpy_to_page(v.bv_page, v.bv_offset,
6577ff50620SDavid Howells 			       (from += v.bv_len) - v.bv_len, v.bv_len)
658d879cb83SAl Viro 	)
659d879cb83SAl Viro 
660d879cb83SAl Viro 	return bytes;
661d879cb83SAl Viro }
662aa28de27SAl Viro EXPORT_SYMBOL(_copy_to_iter);
663d879cb83SAl Viro 
664ec6347bbSDan Williams #ifdef CONFIG_ARCH_HAS_COPY_MC
665ec6347bbSDan Williams static int copyout_mc(void __user *to, const void *from, size_t n)
6668780356eSDan Williams {
66796d4f267SLinus Torvalds 	if (access_ok(to, n)) {
668d0ef4c36SMarco Elver 		instrument_copy_to_user(to, from, n);
669ec6347bbSDan Williams 		n = copy_mc_to_user((__force void *) to, from, n);
6708780356eSDan Williams 	}
6718780356eSDan Williams 	return n;
6728780356eSDan Williams }
6738780356eSDan Williams 
674ec6347bbSDan Williams static unsigned long copy_mc_to_page(struct page *page, size_t offset,
6758780356eSDan Williams 		const char *from, size_t len)
6768780356eSDan Williams {
6778780356eSDan Williams 	unsigned long ret;
6788780356eSDan Williams 	char *to;
6798780356eSDan Williams 
6808780356eSDan Williams 	to = kmap_atomic(page);
681ec6347bbSDan Williams 	ret = copy_mc_to_kernel(to + offset, from, len);
6828780356eSDan Williams 	kunmap_atomic(to);
6838780356eSDan Williams 
6848780356eSDan Williams 	return ret;
6858780356eSDan Williams }
6868780356eSDan Williams 
687ec6347bbSDan Williams static size_t copy_mc_pipe_to_iter(const void *addr, size_t bytes,
688ca146f6fSDan Williams 				struct iov_iter *i)
689ca146f6fSDan Williams {
690ca146f6fSDan Williams 	struct pipe_inode_info *pipe = i->pipe;
6918cefc107SDavid Howells 	unsigned int p_mask = pipe->ring_size - 1;
6928cefc107SDavid Howells 	unsigned int i_head;
693ca146f6fSDan Williams 	size_t n, off, xfer = 0;
694ca146f6fSDan Williams 
695ca146f6fSDan Williams 	if (!sanity(i))
696ca146f6fSDan Williams 		return 0;
697ca146f6fSDan Williams 
6988cefc107SDavid Howells 	bytes = n = push_pipe(i, bytes, &i_head, &off);
699ca146f6fSDan Williams 	if (unlikely(!n))
700ca146f6fSDan Williams 		return 0;
7018cefc107SDavid Howells 	do {
702ca146f6fSDan Williams 		size_t chunk = min_t(size_t, n, PAGE_SIZE - off);
703ca146f6fSDan Williams 		unsigned long rem;
704ca146f6fSDan Williams 
705ec6347bbSDan Williams 		rem = copy_mc_to_page(pipe->bufs[i_head & p_mask].page,
7068cefc107SDavid Howells 					    off, addr, chunk);
7078cefc107SDavid Howells 		i->head = i_head;
708ca146f6fSDan Williams 		i->iov_offset = off + chunk - rem;
709ca146f6fSDan Williams 		xfer += chunk - rem;
710ca146f6fSDan Williams 		if (rem)
711ca146f6fSDan Williams 			break;
712ca146f6fSDan Williams 		n -= chunk;
713ca146f6fSDan Williams 		addr += chunk;
7148cefc107SDavid Howells 		off = 0;
7158cefc107SDavid Howells 		i_head++;
7168cefc107SDavid Howells 	} while (n);
717ca146f6fSDan Williams 	i->count -= xfer;
718ca146f6fSDan Williams 	return xfer;
719ca146f6fSDan Williams }
720ca146f6fSDan Williams 
721bf3eeb9bSDan Williams /**
722ec6347bbSDan Williams  * _copy_mc_to_iter - copy to iter with source memory error exception handling
723bf3eeb9bSDan Williams  * @addr: source kernel address
724bf3eeb9bSDan Williams  * @bytes: total transfer length
725bf3eeb9bSDan Williams  * @iter: destination iterator
726bf3eeb9bSDan Williams  *
727ec6347bbSDan Williams  * The pmem driver deploys this for the dax operation
728ec6347bbSDan Williams  * (dax_copy_to_iter()) for dax reads (bypass page-cache and the
729ec6347bbSDan Williams  * block-layer). Upon #MC read(2) aborts and returns EIO or the bytes
730ec6347bbSDan Williams  * successfully copied.
731bf3eeb9bSDan Williams  *
732ec6347bbSDan Williams  * The main differences between this and typical _copy_to_iter().
733bf3eeb9bSDan Williams  *
734bf3eeb9bSDan Williams  * * Typical tail/residue handling after a fault retries the copy
735bf3eeb9bSDan Williams  *   byte-by-byte until the fault happens again. Re-triggering machine
736bf3eeb9bSDan Williams  *   checks is potentially fatal so the implementation uses source
737bf3eeb9bSDan Williams  *   alignment and poison alignment assumptions to avoid re-triggering
738bf3eeb9bSDan Williams  *   hardware exceptions.
739bf3eeb9bSDan Williams  *
740bf3eeb9bSDan Williams  * * ITER_KVEC, ITER_PIPE, and ITER_BVEC can return short copies.
741bf3eeb9bSDan Williams  *   Compare to copy_to_iter() where only ITER_IOVEC attempts might return
742bf3eeb9bSDan Williams  *   a short copy.
743bf3eeb9bSDan Williams  */
744ec6347bbSDan Williams size_t _copy_mc_to_iter(const void *addr, size_t bytes, struct iov_iter *i)
7458780356eSDan Williams {
7468780356eSDan Williams 	const char *from = addr;
7478780356eSDan Williams 	unsigned long rem, curr_addr, s_addr = (unsigned long) addr;
7488780356eSDan Williams 
74900e23707SDavid Howells 	if (unlikely(iov_iter_is_pipe(i)))
750ec6347bbSDan Williams 		return copy_mc_pipe_to_iter(addr, bytes, i);
7518780356eSDan Williams 	if (iter_is_iovec(i))
7528780356eSDan Williams 		might_fault();
7538780356eSDan Williams 	iterate_and_advance(i, bytes, v,
754ec6347bbSDan Williams 		copyout_mc(v.iov_base, (from += v.iov_len) - v.iov_len,
755ec6347bbSDan Williams 			   v.iov_len),
7568780356eSDan Williams 		({
757ec6347bbSDan Williams 		rem = copy_mc_to_page(v.bv_page, v.bv_offset,
7588780356eSDan Williams 				      (from += v.bv_len) - v.bv_len, v.bv_len);
7598780356eSDan Williams 		if (rem) {
7608780356eSDan Williams 			curr_addr = (unsigned long) from;
7618780356eSDan Williams 			bytes = curr_addr - s_addr - rem;
7628780356eSDan Williams 			return bytes;
7638780356eSDan Williams 		}
7648780356eSDan Williams 		}),
7658780356eSDan Williams 		({
766ec6347bbSDan Williams 		rem = copy_mc_to_kernel(v.iov_base, (from += v.iov_len)
767ec6347bbSDan Williams 					- v.iov_len, v.iov_len);
7688780356eSDan Williams 		if (rem) {
7698780356eSDan Williams 			curr_addr = (unsigned long) from;
7708780356eSDan Williams 			bytes = curr_addr - s_addr - rem;
7718780356eSDan Williams 			return bytes;
7728780356eSDan Williams 		}
7737ff50620SDavid Howells 		}),
7747ff50620SDavid Howells 		({
7757ff50620SDavid Howells 		rem = copy_mc_to_page(v.bv_page, v.bv_offset,
7767ff50620SDavid Howells 				      (from += v.bv_len) - v.bv_len, v.bv_len);
7777ff50620SDavid Howells 		if (rem) {
7787ff50620SDavid Howells 			curr_addr = (unsigned long) from;
7797ff50620SDavid Howells 			bytes = curr_addr - s_addr - rem;
7807ff50620SDavid Howells 			rcu_read_unlock();
7813d14ec1fSDavid Howells 			i->iov_offset += bytes;
7823d14ec1fSDavid Howells 			i->count -= bytes;
7837ff50620SDavid Howells 			return bytes;
7847ff50620SDavid Howells 		}
7858780356eSDan Williams 		})
7868780356eSDan Williams 	)
7878780356eSDan Williams 
7888780356eSDan Williams 	return bytes;
7898780356eSDan Williams }
790ec6347bbSDan Williams EXPORT_SYMBOL_GPL(_copy_mc_to_iter);
791ec6347bbSDan Williams #endif /* CONFIG_ARCH_HAS_COPY_MC */
7928780356eSDan Williams 
793aa28de27SAl Viro size_t _copy_from_iter(void *addr, size_t bytes, struct iov_iter *i)
794d879cb83SAl Viro {
795d879cb83SAl Viro 	char *to = addr;
79600e23707SDavid Howells 	if (unlikely(iov_iter_is_pipe(i))) {
797241699cdSAl Viro 		WARN_ON(1);
798241699cdSAl Viro 		return 0;
799241699cdSAl Viro 	}
80009fc68dcSAl Viro 	if (iter_is_iovec(i))
80109fc68dcSAl Viro 		might_fault();
802d879cb83SAl Viro 	iterate_and_advance(i, bytes, v,
80309fc68dcSAl Viro 		copyin((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len),
804d879cb83SAl Viro 		memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
805d879cb83SAl Viro 				 v.bv_offset, v.bv_len),
8067ff50620SDavid Howells 		memcpy((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len),
8077ff50620SDavid Howells 		memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
8087ff50620SDavid Howells 				 v.bv_offset, v.bv_len)
809d879cb83SAl Viro 	)
810d879cb83SAl Viro 
811d879cb83SAl Viro 	return bytes;
812d879cb83SAl Viro }
813aa28de27SAl Viro EXPORT_SYMBOL(_copy_from_iter);
814d879cb83SAl Viro 
815aa28de27SAl Viro size_t _copy_from_iter_nocache(void *addr, size_t bytes, struct iov_iter *i)
816d879cb83SAl Viro {
817d879cb83SAl Viro 	char *to = addr;
81800e23707SDavid Howells 	if (unlikely(iov_iter_is_pipe(i))) {
819241699cdSAl Viro 		WARN_ON(1);
820241699cdSAl Viro 		return 0;
821241699cdSAl Viro 	}
822d879cb83SAl Viro 	iterate_and_advance(i, bytes, v,
8233f763453SAl Viro 		__copy_from_user_inatomic_nocache((to += v.iov_len) - v.iov_len,
824d879cb83SAl Viro 					 v.iov_base, v.iov_len),
825d879cb83SAl Viro 		memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
826d879cb83SAl Viro 				 v.bv_offset, v.bv_len),
8277ff50620SDavid Howells 		memcpy((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len),
8287ff50620SDavid Howells 		memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
8297ff50620SDavid Howells 				 v.bv_offset, v.bv_len)
830d879cb83SAl Viro 	)
831d879cb83SAl Viro 
832d879cb83SAl Viro 	return bytes;
833d879cb83SAl Viro }
834aa28de27SAl Viro EXPORT_SYMBOL(_copy_from_iter_nocache);
835d879cb83SAl Viro 
8360aed55afSDan Williams #ifdef CONFIG_ARCH_HAS_UACCESS_FLUSHCACHE
837abd08d7dSDan Williams /**
838abd08d7dSDan Williams  * _copy_from_iter_flushcache - write destination through cpu cache
839abd08d7dSDan Williams  * @addr: destination kernel address
840abd08d7dSDan Williams  * @bytes: total transfer length
841abd08d7dSDan Williams  * @iter: source iterator
842abd08d7dSDan Williams  *
843abd08d7dSDan Williams  * The pmem driver arranges for filesystem-dax to use this facility via
844abd08d7dSDan Williams  * dax_copy_from_iter() for ensuring that writes to persistent memory
845abd08d7dSDan Williams  * are flushed through the CPU cache. It is differentiated from
846abd08d7dSDan Williams  * _copy_from_iter_nocache() in that guarantees all data is flushed for
847abd08d7dSDan Williams  * all iterator types. The _copy_from_iter_nocache() only attempts to
848abd08d7dSDan Williams  * bypass the cache for the ITER_IOVEC case, and on some archs may use
849abd08d7dSDan Williams  * instructions that strand dirty-data in the cache.
850abd08d7dSDan Williams  */
8516a37e940SLinus Torvalds size_t _copy_from_iter_flushcache(void *addr, size_t bytes, struct iov_iter *i)
8520aed55afSDan Williams {
8530aed55afSDan Williams 	char *to = addr;
85400e23707SDavid Howells 	if (unlikely(iov_iter_is_pipe(i))) {
8550aed55afSDan Williams 		WARN_ON(1);
8560aed55afSDan Williams 		return 0;
8570aed55afSDan Williams 	}
8580aed55afSDan Williams 	iterate_and_advance(i, bytes, v,
8590aed55afSDan Williams 		__copy_from_user_flushcache((to += v.iov_len) - v.iov_len,
8600aed55afSDan Williams 					 v.iov_base, v.iov_len),
8610aed55afSDan Williams 		memcpy_page_flushcache((to += v.bv_len) - v.bv_len, v.bv_page,
8620aed55afSDan Williams 				 v.bv_offset, v.bv_len),
8630aed55afSDan Williams 		memcpy_flushcache((to += v.iov_len) - v.iov_len, v.iov_base,
8647ff50620SDavid Howells 			v.iov_len),
8657ff50620SDavid Howells 		memcpy_page_flushcache((to += v.bv_len) - v.bv_len, v.bv_page,
8667ff50620SDavid Howells 				 v.bv_offset, v.bv_len)
8670aed55afSDan Williams 	)
8680aed55afSDan Williams 
8690aed55afSDan Williams 	return bytes;
8700aed55afSDan Williams }
8716a37e940SLinus Torvalds EXPORT_SYMBOL_GPL(_copy_from_iter_flushcache);
8720aed55afSDan Williams #endif
8730aed55afSDan Williams 
87472e809edSAl Viro static inline bool page_copy_sane(struct page *page, size_t offset, size_t n)
87572e809edSAl Viro {
8766daef95bSEric Dumazet 	struct page *head;
8776daef95bSEric Dumazet 	size_t v = n + offset;
8786daef95bSEric Dumazet 
8796daef95bSEric Dumazet 	/*
8806daef95bSEric Dumazet 	 * The general case needs to access the page order in order
8816daef95bSEric Dumazet 	 * to compute the page size.
8826daef95bSEric Dumazet 	 * However, we mostly deal with order-0 pages and thus can
8836daef95bSEric Dumazet 	 * avoid a possible cache line miss for requests that fit all
8846daef95bSEric Dumazet 	 * page orders.
8856daef95bSEric Dumazet 	 */
8866daef95bSEric Dumazet 	if (n <= v && v <= PAGE_SIZE)
8876daef95bSEric Dumazet 		return true;
8886daef95bSEric Dumazet 
8896daef95bSEric Dumazet 	head = compound_head(page);
8906daef95bSEric Dumazet 	v += (page - head) << PAGE_SHIFT;
891a90bcb86SPetar Penkov 
892a50b854eSMatthew Wilcox (Oracle) 	if (likely(n <= v && v <= (page_size(head))))
89372e809edSAl Viro 		return true;
89472e809edSAl Viro 	WARN_ON(1);
89572e809edSAl Viro 	return false;
89672e809edSAl Viro }
897cbbd26b8SAl Viro 
89808aa6479SAl Viro static size_t __copy_page_to_iter(struct page *page, size_t offset, size_t bytes,
899d879cb83SAl Viro 			 struct iov_iter *i)
900d879cb83SAl Viro {
90128f38db7SAl Viro 	if (likely(iter_is_iovec(i)))
90228f38db7SAl Viro 		return copy_page_to_iter_iovec(page, offset, bytes, i);
90328f38db7SAl Viro 	if (iov_iter_is_bvec(i) || iov_iter_is_kvec(i) || iov_iter_is_xarray(i)) {
904d879cb83SAl Viro 		void *kaddr = kmap_atomic(page);
905d879cb83SAl Viro 		size_t wanted = copy_to_iter(kaddr + offset, bytes, i);
906d879cb83SAl Viro 		kunmap_atomic(kaddr);
907d879cb83SAl Viro 		return wanted;
90828f38db7SAl Viro 	}
90928f38db7SAl Viro 	if (iov_iter_is_pipe(i))
91028f38db7SAl Viro 		return copy_page_to_iter_pipe(page, offset, bytes, i);
91128f38db7SAl Viro 	if (unlikely(iov_iter_is_discard(i))) {
912a506abc7SAl Viro 		if (unlikely(i->count < bytes))
913a506abc7SAl Viro 			bytes = i->count;
914a506abc7SAl Viro 		i->count -= bytes;
9159ea9ce04SDavid Howells 		return bytes;
91628f38db7SAl Viro 	}
91728f38db7SAl Viro 	WARN_ON(1);
91828f38db7SAl Viro 	return 0;
919d879cb83SAl Viro }
92008aa6479SAl Viro 
92108aa6479SAl Viro size_t copy_page_to_iter(struct page *page, size_t offset, size_t bytes,
92208aa6479SAl Viro 			 struct iov_iter *i)
92308aa6479SAl Viro {
92408aa6479SAl Viro 	size_t res = 0;
92508aa6479SAl Viro 	if (unlikely(!page_copy_sane(page, offset, bytes)))
92608aa6479SAl Viro 		return 0;
92708aa6479SAl Viro 	page += offset / PAGE_SIZE; // first subpage
92808aa6479SAl Viro 	offset %= PAGE_SIZE;
92908aa6479SAl Viro 	while (1) {
93008aa6479SAl Viro 		size_t n = __copy_page_to_iter(page, offset,
93108aa6479SAl Viro 				min(bytes, (size_t)PAGE_SIZE - offset), i);
93208aa6479SAl Viro 		res += n;
93308aa6479SAl Viro 		bytes -= n;
93408aa6479SAl Viro 		if (!bytes || !n)
93508aa6479SAl Viro 			break;
93608aa6479SAl Viro 		offset += n;
93708aa6479SAl Viro 		if (offset == PAGE_SIZE) {
93808aa6479SAl Viro 			page++;
93908aa6479SAl Viro 			offset = 0;
94008aa6479SAl Viro 		}
94108aa6479SAl Viro 	}
94208aa6479SAl Viro 	return res;
94308aa6479SAl Viro }
944d879cb83SAl Viro EXPORT_SYMBOL(copy_page_to_iter);
945d879cb83SAl Viro 
946d879cb83SAl Viro size_t copy_page_from_iter(struct page *page, size_t offset, size_t bytes,
947d879cb83SAl Viro 			 struct iov_iter *i)
948d879cb83SAl Viro {
94972e809edSAl Viro 	if (unlikely(!page_copy_sane(page, offset, bytes)))
95072e809edSAl Viro 		return 0;
95128f38db7SAl Viro 	if (likely(iter_is_iovec(i)))
95228f38db7SAl Viro 		return copy_page_from_iter_iovec(page, offset, bytes, i);
95328f38db7SAl Viro 	if (iov_iter_is_bvec(i) || iov_iter_is_kvec(i) || iov_iter_is_xarray(i)) {
954d879cb83SAl Viro 		void *kaddr = kmap_atomic(page);
955aa28de27SAl Viro 		size_t wanted = _copy_from_iter(kaddr + offset, bytes, i);
956d879cb83SAl Viro 		kunmap_atomic(kaddr);
957d879cb83SAl Viro 		return wanted;
95828f38db7SAl Viro 	}
95928f38db7SAl Viro 	WARN_ON(1);
96028f38db7SAl Viro 	return 0;
961d879cb83SAl Viro }
962d879cb83SAl Viro EXPORT_SYMBOL(copy_page_from_iter);
963d879cb83SAl Viro 
964241699cdSAl Viro static size_t pipe_zero(size_t bytes, struct iov_iter *i)
965241699cdSAl Viro {
966241699cdSAl Viro 	struct pipe_inode_info *pipe = i->pipe;
9678cefc107SDavid Howells 	unsigned int p_mask = pipe->ring_size - 1;
9688cefc107SDavid Howells 	unsigned int i_head;
969241699cdSAl Viro 	size_t n, off;
970241699cdSAl Viro 
971241699cdSAl Viro 	if (!sanity(i))
972241699cdSAl Viro 		return 0;
973241699cdSAl Viro 
9748cefc107SDavid Howells 	bytes = n = push_pipe(i, bytes, &i_head, &off);
975241699cdSAl Viro 	if (unlikely(!n))
976241699cdSAl Viro 		return 0;
977241699cdSAl Viro 
9788cefc107SDavid Howells 	do {
979241699cdSAl Viro 		size_t chunk = min_t(size_t, n, PAGE_SIZE - off);
9808cefc107SDavid Howells 		memzero_page(pipe->bufs[i_head & p_mask].page, off, chunk);
9818cefc107SDavid Howells 		i->head = i_head;
982241699cdSAl Viro 		i->iov_offset = off + chunk;
983241699cdSAl Viro 		n -= chunk;
9848cefc107SDavid Howells 		off = 0;
9858cefc107SDavid Howells 		i_head++;
9868cefc107SDavid Howells 	} while (n);
987241699cdSAl Viro 	i->count -= bytes;
988241699cdSAl Viro 	return bytes;
989241699cdSAl Viro }
990241699cdSAl Viro 
991d879cb83SAl Viro size_t iov_iter_zero(size_t bytes, struct iov_iter *i)
992d879cb83SAl Viro {
99300e23707SDavid Howells 	if (unlikely(iov_iter_is_pipe(i)))
994241699cdSAl Viro 		return pipe_zero(bytes, i);
995d879cb83SAl Viro 	iterate_and_advance(i, bytes, v,
99609fc68dcSAl Viro 		clear_user(v.iov_base, v.iov_len),
997d879cb83SAl Viro 		memzero_page(v.bv_page, v.bv_offset, v.bv_len),
9987ff50620SDavid Howells 		memset(v.iov_base, 0, v.iov_len),
9997ff50620SDavid Howells 		memzero_page(v.bv_page, v.bv_offset, v.bv_len)
1000d879cb83SAl Viro 	)
1001d879cb83SAl Viro 
1002d879cb83SAl Viro 	return bytes;
1003d879cb83SAl Viro }
1004d879cb83SAl Viro EXPORT_SYMBOL(iov_iter_zero);
1005d879cb83SAl Viro 
1006d879cb83SAl Viro size_t iov_iter_copy_from_user_atomic(struct page *page,
1007d879cb83SAl Viro 		struct iov_iter *i, unsigned long offset, size_t bytes)
1008d879cb83SAl Viro {
1009d879cb83SAl Viro 	char *kaddr = kmap_atomic(page), *p = kaddr + offset;
101072e809edSAl Viro 	if (unlikely(!page_copy_sane(page, offset, bytes))) {
101172e809edSAl Viro 		kunmap_atomic(kaddr);
101272e809edSAl Viro 		return 0;
101372e809edSAl Viro 	}
10149ea9ce04SDavid Howells 	if (unlikely(iov_iter_is_pipe(i) || iov_iter_is_discard(i))) {
1015241699cdSAl Viro 		kunmap_atomic(kaddr);
1016241699cdSAl Viro 		WARN_ON(1);
1017241699cdSAl Viro 		return 0;
1018241699cdSAl Viro 	}
1019d879cb83SAl Viro 	iterate_all_kinds(i, bytes, v,
102009fc68dcSAl Viro 		copyin((p += v.iov_len) - v.iov_len, v.iov_base, v.iov_len),
1021d879cb83SAl Viro 		memcpy_from_page((p += v.bv_len) - v.bv_len, v.bv_page,
1022d879cb83SAl Viro 				 v.bv_offset, v.bv_len),
10237ff50620SDavid Howells 		memcpy((p += v.iov_len) - v.iov_len, v.iov_base, v.iov_len),
10247ff50620SDavid Howells 		memcpy_from_page((p += v.bv_len) - v.bv_len, v.bv_page,
10257ff50620SDavid Howells 				 v.bv_offset, v.bv_len)
1026d879cb83SAl Viro 	)
1027d879cb83SAl Viro 	kunmap_atomic(kaddr);
1028d879cb83SAl Viro 	return bytes;
1029d879cb83SAl Viro }
1030d879cb83SAl Viro EXPORT_SYMBOL(iov_iter_copy_from_user_atomic);
1031d879cb83SAl Viro 
1032b9dc6f65SAl Viro static inline void pipe_truncate(struct iov_iter *i)
1033241699cdSAl Viro {
1034241699cdSAl Viro 	struct pipe_inode_info *pipe = i->pipe;
10358cefc107SDavid Howells 	unsigned int p_tail = pipe->tail;
10368cefc107SDavid Howells 	unsigned int p_head = pipe->head;
10378cefc107SDavid Howells 	unsigned int p_mask = pipe->ring_size - 1;
10388cefc107SDavid Howells 
10398cefc107SDavid Howells 	if (!pipe_empty(p_head, p_tail)) {
10408cefc107SDavid Howells 		struct pipe_buffer *buf;
10418cefc107SDavid Howells 		unsigned int i_head = i->head;
1042b9dc6f65SAl Viro 		size_t off = i->iov_offset;
10438cefc107SDavid Howells 
1044b9dc6f65SAl Viro 		if (off) {
10458cefc107SDavid Howells 			buf = &pipe->bufs[i_head & p_mask];
10468cefc107SDavid Howells 			buf->len = off - buf->offset;
10478cefc107SDavid Howells 			i_head++;
1048b9dc6f65SAl Viro 		}
10498cefc107SDavid Howells 		while (p_head != i_head) {
10508cefc107SDavid Howells 			p_head--;
10518cefc107SDavid Howells 			pipe_buf_release(pipe, &pipe->bufs[p_head & p_mask]);
1052241699cdSAl Viro 		}
10538cefc107SDavid Howells 
10548cefc107SDavid Howells 		pipe->head = p_head;
1055241699cdSAl Viro 	}
1056b9dc6f65SAl Viro }
1057b9dc6f65SAl Viro 
1058b9dc6f65SAl Viro static void pipe_advance(struct iov_iter *i, size_t size)
1059b9dc6f65SAl Viro {
1060b9dc6f65SAl Viro 	struct pipe_inode_info *pipe = i->pipe;
1061b9dc6f65SAl Viro 	if (size) {
1062b9dc6f65SAl Viro 		struct pipe_buffer *buf;
10638cefc107SDavid Howells 		unsigned int p_mask = pipe->ring_size - 1;
10648cefc107SDavid Howells 		unsigned int i_head = i->head;
1065b9dc6f65SAl Viro 		size_t off = i->iov_offset, left = size;
10668cefc107SDavid Howells 
1067b9dc6f65SAl Viro 		if (off) /* make it relative to the beginning of buffer */
10688cefc107SDavid Howells 			left += off - pipe->bufs[i_head & p_mask].offset;
1069b9dc6f65SAl Viro 		while (1) {
10708cefc107SDavid Howells 			buf = &pipe->bufs[i_head & p_mask];
1071b9dc6f65SAl Viro 			if (left <= buf->len)
1072b9dc6f65SAl Viro 				break;
1073b9dc6f65SAl Viro 			left -= buf->len;
10748cefc107SDavid Howells 			i_head++;
1075b9dc6f65SAl Viro 		}
10768cefc107SDavid Howells 		i->head = i_head;
1077b9dc6f65SAl Viro 		i->iov_offset = buf->offset + left;
1078b9dc6f65SAl Viro 	}
1079b9dc6f65SAl Viro 	i->count -= size;
1080b9dc6f65SAl Viro 	/* ... and discard everything past that point */
1081b9dc6f65SAl Viro 	pipe_truncate(i);
1082241699cdSAl Viro }
1083241699cdSAl Viro 
108454c8195bSPavel Begunkov static void iov_iter_bvec_advance(struct iov_iter *i, size_t size)
108554c8195bSPavel Begunkov {
108654c8195bSPavel Begunkov 	struct bvec_iter bi;
108754c8195bSPavel Begunkov 
108854c8195bSPavel Begunkov 	bi.bi_size = i->count;
108954c8195bSPavel Begunkov 	bi.bi_bvec_done = i->iov_offset;
109054c8195bSPavel Begunkov 	bi.bi_idx = 0;
109154c8195bSPavel Begunkov 	bvec_iter_advance(i->bvec, &bi, size);
109254c8195bSPavel Begunkov 
109354c8195bSPavel Begunkov 	i->bvec += bi.bi_idx;
109454c8195bSPavel Begunkov 	i->nr_segs -= bi.bi_idx;
109554c8195bSPavel Begunkov 	i->count = bi.bi_size;
109654c8195bSPavel Begunkov 	i->iov_offset = bi.bi_bvec_done;
109754c8195bSPavel Begunkov }
109854c8195bSPavel Begunkov 
1099*185ac4d4SAl Viro static void iov_iter_iovec_advance(struct iov_iter *i, size_t size)
1100*185ac4d4SAl Viro {
1101*185ac4d4SAl Viro 	const struct iovec *iov, *end;
1102*185ac4d4SAl Viro 
1103*185ac4d4SAl Viro 	if (!i->count)
1104*185ac4d4SAl Viro 		return;
1105*185ac4d4SAl Viro 	i->count -= size;
1106*185ac4d4SAl Viro 
1107*185ac4d4SAl Viro 	size += i->iov_offset; // from beginning of current segment
1108*185ac4d4SAl Viro 	for (iov = i->iov, end = iov + i->nr_segs; iov < end; iov++) {
1109*185ac4d4SAl Viro 		if (likely(size < iov->iov_len))
1110*185ac4d4SAl Viro 			break;
1111*185ac4d4SAl Viro 		size -= iov->iov_len;
1112*185ac4d4SAl Viro 	}
1113*185ac4d4SAl Viro 	i->iov_offset = size;
1114*185ac4d4SAl Viro 	i->nr_segs -= iov - i->iov;
1115*185ac4d4SAl Viro 	i->iov = iov;
1116*185ac4d4SAl Viro }
1117*185ac4d4SAl Viro 
1118d879cb83SAl Viro void iov_iter_advance(struct iov_iter *i, size_t size)
1119d879cb83SAl Viro {
11203b3fc051SAl Viro 	if (unlikely(i->count < size))
11213b3fc051SAl Viro 		size = i->count;
1122*185ac4d4SAl Viro 	if (likely(iter_is_iovec(i) || iov_iter_is_kvec(i))) {
1123*185ac4d4SAl Viro 		/* iovec and kvec have identical layouts */
1124*185ac4d4SAl Viro 		iov_iter_iovec_advance(i, size);
1125*185ac4d4SAl Viro 	} else if (iov_iter_is_bvec(i)) {
1126*185ac4d4SAl Viro 		iov_iter_bvec_advance(i, size);
1127*185ac4d4SAl Viro 	} else if (iov_iter_is_pipe(i)) {
1128241699cdSAl Viro 		pipe_advance(i, size);
1129*185ac4d4SAl Viro 	} else if (unlikely(iov_iter_is_xarray(i))) {
11307ff50620SDavid Howells 		i->iov_offset += size;
11317ff50620SDavid Howells 		i->count -= size;
1132*185ac4d4SAl Viro 	} else if (iov_iter_is_discard(i)) {
1133*185ac4d4SAl Viro 		i->count -= size;
11347ff50620SDavid Howells 	}
1135d879cb83SAl Viro }
1136d879cb83SAl Viro EXPORT_SYMBOL(iov_iter_advance);
1137d879cb83SAl Viro 
113827c0e374SAl Viro void iov_iter_revert(struct iov_iter *i, size_t unroll)
113927c0e374SAl Viro {
114027c0e374SAl Viro 	if (!unroll)
114127c0e374SAl Viro 		return;
11425b47d59aSAl Viro 	if (WARN_ON(unroll > MAX_RW_COUNT))
11435b47d59aSAl Viro 		return;
114427c0e374SAl Viro 	i->count += unroll;
114500e23707SDavid Howells 	if (unlikely(iov_iter_is_pipe(i))) {
114627c0e374SAl Viro 		struct pipe_inode_info *pipe = i->pipe;
11478cefc107SDavid Howells 		unsigned int p_mask = pipe->ring_size - 1;
11488cefc107SDavid Howells 		unsigned int i_head = i->head;
114927c0e374SAl Viro 		size_t off = i->iov_offset;
115027c0e374SAl Viro 		while (1) {
11518cefc107SDavid Howells 			struct pipe_buffer *b = &pipe->bufs[i_head & p_mask];
11528cefc107SDavid Howells 			size_t n = off - b->offset;
115327c0e374SAl Viro 			if (unroll < n) {
11544fa55cefSAl Viro 				off -= unroll;
115527c0e374SAl Viro 				break;
115627c0e374SAl Viro 			}
115727c0e374SAl Viro 			unroll -= n;
11588cefc107SDavid Howells 			if (!unroll && i_head == i->start_head) {
115927c0e374SAl Viro 				off = 0;
116027c0e374SAl Viro 				break;
116127c0e374SAl Viro 			}
11628cefc107SDavid Howells 			i_head--;
11638cefc107SDavid Howells 			b = &pipe->bufs[i_head & p_mask];
11648cefc107SDavid Howells 			off = b->offset + b->len;
116527c0e374SAl Viro 		}
116627c0e374SAl Viro 		i->iov_offset = off;
11678cefc107SDavid Howells 		i->head = i_head;
116827c0e374SAl Viro 		pipe_truncate(i);
116927c0e374SAl Viro 		return;
117027c0e374SAl Viro 	}
11719ea9ce04SDavid Howells 	if (unlikely(iov_iter_is_discard(i)))
11729ea9ce04SDavid Howells 		return;
117327c0e374SAl Viro 	if (unroll <= i->iov_offset) {
117427c0e374SAl Viro 		i->iov_offset -= unroll;
117527c0e374SAl Viro 		return;
117627c0e374SAl Viro 	}
117727c0e374SAl Viro 	unroll -= i->iov_offset;
11787ff50620SDavid Howells 	if (iov_iter_is_xarray(i)) {
11797ff50620SDavid Howells 		BUG(); /* We should never go beyond the start of the specified
11807ff50620SDavid Howells 			* range since we might then be straying into pages that
11817ff50620SDavid Howells 			* aren't pinned.
11827ff50620SDavid Howells 			*/
11837ff50620SDavid Howells 	} else if (iov_iter_is_bvec(i)) {
118427c0e374SAl Viro 		const struct bio_vec *bvec = i->bvec;
118527c0e374SAl Viro 		while (1) {
118627c0e374SAl Viro 			size_t n = (--bvec)->bv_len;
118727c0e374SAl Viro 			i->nr_segs++;
118827c0e374SAl Viro 			if (unroll <= n) {
118927c0e374SAl Viro 				i->bvec = bvec;
119027c0e374SAl Viro 				i->iov_offset = n - unroll;
119127c0e374SAl Viro 				return;
119227c0e374SAl Viro 			}
119327c0e374SAl Viro 			unroll -= n;
119427c0e374SAl Viro 		}
119527c0e374SAl Viro 	} else { /* same logics for iovec and kvec */
119627c0e374SAl Viro 		const struct iovec *iov = i->iov;
119727c0e374SAl Viro 		while (1) {
119827c0e374SAl Viro 			size_t n = (--iov)->iov_len;
119927c0e374SAl Viro 			i->nr_segs++;
120027c0e374SAl Viro 			if (unroll <= n) {
120127c0e374SAl Viro 				i->iov = iov;
120227c0e374SAl Viro 				i->iov_offset = n - unroll;
120327c0e374SAl Viro 				return;
120427c0e374SAl Viro 			}
120527c0e374SAl Viro 			unroll -= n;
120627c0e374SAl Viro 		}
120727c0e374SAl Viro 	}
120827c0e374SAl Viro }
120927c0e374SAl Viro EXPORT_SYMBOL(iov_iter_revert);
121027c0e374SAl Viro 
1211d879cb83SAl Viro /*
1212d879cb83SAl Viro  * Return the count of just the current iov_iter segment.
1213d879cb83SAl Viro  */
1214d879cb83SAl Viro size_t iov_iter_single_seg_count(const struct iov_iter *i)
1215d879cb83SAl Viro {
121628f38db7SAl Viro 	if (i->nr_segs > 1) {
121728f38db7SAl Viro 		if (likely(iter_is_iovec(i) || iov_iter_is_kvec(i)))
121828f38db7SAl Viro 			return min(i->count, i->iov->iov_len - i->iov_offset);
12197ff50620SDavid Howells 		if (iov_iter_is_bvec(i))
1220d879cb83SAl Viro 			return min(i->count, i->bvec->bv_len - i->iov_offset);
122128f38db7SAl Viro 	}
122228f38db7SAl Viro 	return i->count;
1223d879cb83SAl Viro }
1224d879cb83SAl Viro EXPORT_SYMBOL(iov_iter_single_seg_count);
1225d879cb83SAl Viro 
1226aa563d7bSDavid Howells void iov_iter_kvec(struct iov_iter *i, unsigned int direction,
1227d879cb83SAl Viro 			const struct kvec *kvec, unsigned long nr_segs,
1228d879cb83SAl Viro 			size_t count)
1229d879cb83SAl Viro {
1230aa563d7bSDavid Howells 	WARN_ON(direction & ~(READ | WRITE));
12318cd54c1cSAl Viro 	*i = (struct iov_iter){
12328cd54c1cSAl Viro 		.iter_type = ITER_KVEC,
12338cd54c1cSAl Viro 		.data_source = direction,
12348cd54c1cSAl Viro 		.kvec = kvec,
12358cd54c1cSAl Viro 		.nr_segs = nr_segs,
12368cd54c1cSAl Viro 		.iov_offset = 0,
12378cd54c1cSAl Viro 		.count = count
12388cd54c1cSAl Viro 	};
1239d879cb83SAl Viro }
1240d879cb83SAl Viro EXPORT_SYMBOL(iov_iter_kvec);
1241d879cb83SAl Viro 
1242aa563d7bSDavid Howells void iov_iter_bvec(struct iov_iter *i, unsigned int direction,
1243d879cb83SAl Viro 			const struct bio_vec *bvec, unsigned long nr_segs,
1244d879cb83SAl Viro 			size_t count)
1245d879cb83SAl Viro {
1246aa563d7bSDavid Howells 	WARN_ON(direction & ~(READ | WRITE));
12478cd54c1cSAl Viro 	*i = (struct iov_iter){
12488cd54c1cSAl Viro 		.iter_type = ITER_BVEC,
12498cd54c1cSAl Viro 		.data_source = direction,
12508cd54c1cSAl Viro 		.bvec = bvec,
12518cd54c1cSAl Viro 		.nr_segs = nr_segs,
12528cd54c1cSAl Viro 		.iov_offset = 0,
12538cd54c1cSAl Viro 		.count = count
12548cd54c1cSAl Viro 	};
1255d879cb83SAl Viro }
1256d879cb83SAl Viro EXPORT_SYMBOL(iov_iter_bvec);
1257d879cb83SAl Viro 
1258aa563d7bSDavid Howells void iov_iter_pipe(struct iov_iter *i, unsigned int direction,
1259241699cdSAl Viro 			struct pipe_inode_info *pipe,
1260241699cdSAl Viro 			size_t count)
1261241699cdSAl Viro {
1262aa563d7bSDavid Howells 	BUG_ON(direction != READ);
12638cefc107SDavid Howells 	WARN_ON(pipe_full(pipe->head, pipe->tail, pipe->ring_size));
12648cd54c1cSAl Viro 	*i = (struct iov_iter){
12658cd54c1cSAl Viro 		.iter_type = ITER_PIPE,
12668cd54c1cSAl Viro 		.data_source = false,
12678cd54c1cSAl Viro 		.pipe = pipe,
12688cd54c1cSAl Viro 		.head = pipe->head,
12698cd54c1cSAl Viro 		.start_head = pipe->head,
12708cd54c1cSAl Viro 		.iov_offset = 0,
12718cd54c1cSAl Viro 		.count = count
12728cd54c1cSAl Viro 	};
1273241699cdSAl Viro }
1274241699cdSAl Viro EXPORT_SYMBOL(iov_iter_pipe);
1275241699cdSAl Viro 
12769ea9ce04SDavid Howells /**
12777ff50620SDavid Howells  * iov_iter_xarray - Initialise an I/O iterator to use the pages in an xarray
12787ff50620SDavid Howells  * @i: The iterator to initialise.
12797ff50620SDavid Howells  * @direction: The direction of the transfer.
12807ff50620SDavid Howells  * @xarray: The xarray to access.
12817ff50620SDavid Howells  * @start: The start file position.
12827ff50620SDavid Howells  * @count: The size of the I/O buffer in bytes.
12837ff50620SDavid Howells  *
12847ff50620SDavid Howells  * Set up an I/O iterator to either draw data out of the pages attached to an
12857ff50620SDavid Howells  * inode or to inject data into those pages.  The pages *must* be prevented
12867ff50620SDavid Howells  * from evaporation, either by taking a ref on them or locking them by the
12877ff50620SDavid Howells  * caller.
12887ff50620SDavid Howells  */
12897ff50620SDavid Howells void iov_iter_xarray(struct iov_iter *i, unsigned int direction,
12907ff50620SDavid Howells 		     struct xarray *xarray, loff_t start, size_t count)
12917ff50620SDavid Howells {
12927ff50620SDavid Howells 	BUG_ON(direction & ~1);
12938cd54c1cSAl Viro 	*i = (struct iov_iter) {
12948cd54c1cSAl Viro 		.iter_type = ITER_XARRAY,
12958cd54c1cSAl Viro 		.data_source = direction,
12968cd54c1cSAl Viro 		.xarray = xarray,
12978cd54c1cSAl Viro 		.xarray_start = start,
12988cd54c1cSAl Viro 		.count = count,
12998cd54c1cSAl Viro 		.iov_offset = 0
13008cd54c1cSAl Viro 	};
13017ff50620SDavid Howells }
13027ff50620SDavid Howells EXPORT_SYMBOL(iov_iter_xarray);
13037ff50620SDavid Howells 
13047ff50620SDavid Howells /**
13059ea9ce04SDavid Howells  * iov_iter_discard - Initialise an I/O iterator that discards data
13069ea9ce04SDavid Howells  * @i: The iterator to initialise.
13079ea9ce04SDavid Howells  * @direction: The direction of the transfer.
13089ea9ce04SDavid Howells  * @count: The size of the I/O buffer in bytes.
13099ea9ce04SDavid Howells  *
13109ea9ce04SDavid Howells  * Set up an I/O iterator that just discards everything that's written to it.
13119ea9ce04SDavid Howells  * It's only available as a READ iterator.
13129ea9ce04SDavid Howells  */
13139ea9ce04SDavid Howells void iov_iter_discard(struct iov_iter *i, unsigned int direction, size_t count)
13149ea9ce04SDavid Howells {
13159ea9ce04SDavid Howells 	BUG_ON(direction != READ);
13168cd54c1cSAl Viro 	*i = (struct iov_iter){
13178cd54c1cSAl Viro 		.iter_type = ITER_DISCARD,
13188cd54c1cSAl Viro 		.data_source = false,
13198cd54c1cSAl Viro 		.count = count,
13208cd54c1cSAl Viro 		.iov_offset = 0
13218cd54c1cSAl Viro 	};
13229ea9ce04SDavid Howells }
13239ea9ce04SDavid Howells EXPORT_SYMBOL(iov_iter_discard);
13249ea9ce04SDavid Howells 
1325d879cb83SAl Viro unsigned long iov_iter_alignment(const struct iov_iter *i)
1326d879cb83SAl Viro {
1327d879cb83SAl Viro 	unsigned long res = 0;
1328d879cb83SAl Viro 	size_t size = i->count;
1329d879cb83SAl Viro 
133000e23707SDavid Howells 	if (unlikely(iov_iter_is_pipe(i))) {
1331e0ff126eSJan Kara 		unsigned int p_mask = i->pipe->ring_size - 1;
1332e0ff126eSJan Kara 
13338cefc107SDavid Howells 		if (size && i->iov_offset && allocated(&i->pipe->bufs[i->head & p_mask]))
1334241699cdSAl Viro 			return size | i->iov_offset;
1335241699cdSAl Viro 		return size;
1336241699cdSAl Viro 	}
13373d14ec1fSDavid Howells 	if (unlikely(iov_iter_is_xarray(i)))
13383d14ec1fSDavid Howells 		return (i->xarray_start + i->iov_offset) | i->count;
1339d879cb83SAl Viro 	iterate_all_kinds(i, size, v,
1340d879cb83SAl Viro 		(res |= (unsigned long)v.iov_base | v.iov_len, 0),
1341d879cb83SAl Viro 		res |= v.bv_offset | v.bv_len,
13427ff50620SDavid Howells 		res |= (unsigned long)v.iov_base | v.iov_len,
13437ff50620SDavid Howells 		res |= v.bv_offset | v.bv_len
1344d879cb83SAl Viro 	)
1345d879cb83SAl Viro 	return res;
1346d879cb83SAl Viro }
1347d879cb83SAl Viro EXPORT_SYMBOL(iov_iter_alignment);
1348d879cb83SAl Viro 
1349357f435dSAl Viro unsigned long iov_iter_gap_alignment(const struct iov_iter *i)
1350357f435dSAl Viro {
1351357f435dSAl Viro 	unsigned long res = 0;
1352357f435dSAl Viro 	size_t size = i->count;
1353357f435dSAl Viro 
13549ea9ce04SDavid Howells 	if (unlikely(iov_iter_is_pipe(i) || iov_iter_is_discard(i))) {
1355241699cdSAl Viro 		WARN_ON(1);
1356241699cdSAl Viro 		return ~0U;
1357241699cdSAl Viro 	}
1358241699cdSAl Viro 
1359357f435dSAl Viro 	iterate_all_kinds(i, size, v,
1360357f435dSAl Viro 		(res |= (!res ? 0 : (unsigned long)v.iov_base) |
1361357f435dSAl Viro 			(size != v.iov_len ? size : 0), 0),
1362357f435dSAl Viro 		(res |= (!res ? 0 : (unsigned long)v.bv_offset) |
1363357f435dSAl Viro 			(size != v.bv_len ? size : 0)),
1364357f435dSAl Viro 		(res |= (!res ? 0 : (unsigned long)v.iov_base) |
13657ff50620SDavid Howells 			(size != v.iov_len ? size : 0)),
13667ff50620SDavid Howells 		(res |= (!res ? 0 : (unsigned long)v.bv_offset) |
13677ff50620SDavid Howells 			(size != v.bv_len ? size : 0))
1368357f435dSAl Viro 		);
1369357f435dSAl Viro 	return res;
1370357f435dSAl Viro }
1371357f435dSAl Viro EXPORT_SYMBOL(iov_iter_gap_alignment);
1372357f435dSAl Viro 
1373e76b6312SIlya Dryomov static inline ssize_t __pipe_get_pages(struct iov_iter *i,
1374241699cdSAl Viro 				size_t maxsize,
1375241699cdSAl Viro 				struct page **pages,
13768cefc107SDavid Howells 				int iter_head,
1377241699cdSAl Viro 				size_t *start)
1378241699cdSAl Viro {
1379241699cdSAl Viro 	struct pipe_inode_info *pipe = i->pipe;
13808cefc107SDavid Howells 	unsigned int p_mask = pipe->ring_size - 1;
13818cefc107SDavid Howells 	ssize_t n = push_pipe(i, maxsize, &iter_head, start);
1382241699cdSAl Viro 	if (!n)
1383241699cdSAl Viro 		return -EFAULT;
1384241699cdSAl Viro 
1385241699cdSAl Viro 	maxsize = n;
1386241699cdSAl Viro 	n += *start;
13871689c73aSAl Viro 	while (n > 0) {
13888cefc107SDavid Howells 		get_page(*pages++ = pipe->bufs[iter_head & p_mask].page);
13898cefc107SDavid Howells 		iter_head++;
1390241699cdSAl Viro 		n -= PAGE_SIZE;
1391241699cdSAl Viro 	}
1392241699cdSAl Viro 
1393241699cdSAl Viro 	return maxsize;
1394241699cdSAl Viro }
1395241699cdSAl Viro 
1396241699cdSAl Viro static ssize_t pipe_get_pages(struct iov_iter *i,
1397241699cdSAl Viro 		   struct page **pages, size_t maxsize, unsigned maxpages,
1398241699cdSAl Viro 		   size_t *start)
1399241699cdSAl Viro {
14008cefc107SDavid Howells 	unsigned int iter_head, npages;
1401241699cdSAl Viro 	size_t capacity;
1402241699cdSAl Viro 
140333844e66SAl Viro 	if (!maxsize)
140433844e66SAl Viro 		return 0;
140533844e66SAl Viro 
1406241699cdSAl Viro 	if (!sanity(i))
1407241699cdSAl Viro 		return -EFAULT;
1408241699cdSAl Viro 
14098cefc107SDavid Howells 	data_start(i, &iter_head, start);
14108cefc107SDavid Howells 	/* Amount of free space: some of this one + all after this one */
14118cefc107SDavid Howells 	npages = pipe_space_for_user(iter_head, i->pipe->tail, i->pipe);
1412241699cdSAl Viro 	capacity = min(npages, maxpages) * PAGE_SIZE - *start;
1413241699cdSAl Viro 
14148cefc107SDavid Howells 	return __pipe_get_pages(i, min(maxsize, capacity), pages, iter_head, start);
1415241699cdSAl Viro }
1416241699cdSAl Viro 
14177ff50620SDavid Howells static ssize_t iter_xarray_populate_pages(struct page **pages, struct xarray *xa,
14187ff50620SDavid Howells 					  pgoff_t index, unsigned int nr_pages)
14197ff50620SDavid Howells {
14207ff50620SDavid Howells 	XA_STATE(xas, xa, index);
14217ff50620SDavid Howells 	struct page *page;
14227ff50620SDavid Howells 	unsigned int ret = 0;
14237ff50620SDavid Howells 
14247ff50620SDavid Howells 	rcu_read_lock();
14257ff50620SDavid Howells 	for (page = xas_load(&xas); page; page = xas_next(&xas)) {
14267ff50620SDavid Howells 		if (xas_retry(&xas, page))
14277ff50620SDavid Howells 			continue;
14287ff50620SDavid Howells 
14297ff50620SDavid Howells 		/* Has the page moved or been split? */
14307ff50620SDavid Howells 		if (unlikely(page != xas_reload(&xas))) {
14317ff50620SDavid Howells 			xas_reset(&xas);
14327ff50620SDavid Howells 			continue;
14337ff50620SDavid Howells 		}
14347ff50620SDavid Howells 
14357ff50620SDavid Howells 		pages[ret] = find_subpage(page, xas.xa_index);
14367ff50620SDavid Howells 		get_page(pages[ret]);
14377ff50620SDavid Howells 		if (++ret == nr_pages)
14387ff50620SDavid Howells 			break;
14397ff50620SDavid Howells 	}
14407ff50620SDavid Howells 	rcu_read_unlock();
14417ff50620SDavid Howells 	return ret;
14427ff50620SDavid Howells }
14437ff50620SDavid Howells 
14447ff50620SDavid Howells static ssize_t iter_xarray_get_pages(struct iov_iter *i,
14457ff50620SDavid Howells 				     struct page **pages, size_t maxsize,
14467ff50620SDavid Howells 				     unsigned maxpages, size_t *_start_offset)
14477ff50620SDavid Howells {
14487ff50620SDavid Howells 	unsigned nr, offset;
14497ff50620SDavid Howells 	pgoff_t index, count;
14507ff50620SDavid Howells 	size_t size = maxsize, actual;
14517ff50620SDavid Howells 	loff_t pos;
14527ff50620SDavid Howells 
14537ff50620SDavid Howells 	if (!size || !maxpages)
14547ff50620SDavid Howells 		return 0;
14557ff50620SDavid Howells 
14567ff50620SDavid Howells 	pos = i->xarray_start + i->iov_offset;
14577ff50620SDavid Howells 	index = pos >> PAGE_SHIFT;
14587ff50620SDavid Howells 	offset = pos & ~PAGE_MASK;
14597ff50620SDavid Howells 	*_start_offset = offset;
14607ff50620SDavid Howells 
14617ff50620SDavid Howells 	count = 1;
14627ff50620SDavid Howells 	if (size > PAGE_SIZE - offset) {
14637ff50620SDavid Howells 		size -= PAGE_SIZE - offset;
14647ff50620SDavid Howells 		count += size >> PAGE_SHIFT;
14657ff50620SDavid Howells 		size &= ~PAGE_MASK;
14667ff50620SDavid Howells 		if (size)
14677ff50620SDavid Howells 			count++;
14687ff50620SDavid Howells 	}
14697ff50620SDavid Howells 
14707ff50620SDavid Howells 	if (count > maxpages)
14717ff50620SDavid Howells 		count = maxpages;
14727ff50620SDavid Howells 
14737ff50620SDavid Howells 	nr = iter_xarray_populate_pages(pages, i->xarray, index, count);
14747ff50620SDavid Howells 	if (nr == 0)
14757ff50620SDavid Howells 		return 0;
14767ff50620SDavid Howells 
14777ff50620SDavid Howells 	actual = PAGE_SIZE * nr;
14787ff50620SDavid Howells 	actual -= offset;
14797ff50620SDavid Howells 	if (nr == count && size > 0) {
14807ff50620SDavid Howells 		unsigned last_offset = (nr > 1) ? 0 : offset;
14817ff50620SDavid Howells 		actual -= PAGE_SIZE - (last_offset + size);
14827ff50620SDavid Howells 	}
14837ff50620SDavid Howells 	return actual;
14847ff50620SDavid Howells }
14857ff50620SDavid Howells 
1486d879cb83SAl Viro ssize_t iov_iter_get_pages(struct iov_iter *i,
1487d879cb83SAl Viro 		   struct page **pages, size_t maxsize, unsigned maxpages,
1488d879cb83SAl Viro 		   size_t *start)
1489d879cb83SAl Viro {
1490d879cb83SAl Viro 	if (maxsize > i->count)
1491d879cb83SAl Viro 		maxsize = i->count;
1492d879cb83SAl Viro 
149300e23707SDavid Howells 	if (unlikely(iov_iter_is_pipe(i)))
1494241699cdSAl Viro 		return pipe_get_pages(i, pages, maxsize, maxpages, start);
14957ff50620SDavid Howells 	if (unlikely(iov_iter_is_xarray(i)))
14967ff50620SDavid Howells 		return iter_xarray_get_pages(i, pages, maxsize, maxpages, start);
14979ea9ce04SDavid Howells 	if (unlikely(iov_iter_is_discard(i)))
14989ea9ce04SDavid Howells 		return -EFAULT;
14999ea9ce04SDavid Howells 
1500d879cb83SAl Viro 	iterate_all_kinds(i, maxsize, v, ({
1501d879cb83SAl Viro 		unsigned long addr = (unsigned long)v.iov_base;
1502d879cb83SAl Viro 		size_t len = v.iov_len + (*start = addr & (PAGE_SIZE - 1));
1503d879cb83SAl Viro 		int n;
1504d879cb83SAl Viro 		int res;
1505d879cb83SAl Viro 
1506d879cb83SAl Viro 		if (len > maxpages * PAGE_SIZE)
1507d879cb83SAl Viro 			len = maxpages * PAGE_SIZE;
1508d879cb83SAl Viro 		addr &= ~(PAGE_SIZE - 1);
1509d879cb83SAl Viro 		n = DIV_ROUND_UP(len, PAGE_SIZE);
151073b0140bSIra Weiny 		res = get_user_pages_fast(addr, n,
151173b0140bSIra Weiny 				iov_iter_rw(i) != WRITE ?  FOLL_WRITE : 0,
151273b0140bSIra Weiny 				pages);
1513d879cb83SAl Viro 		if (unlikely(res < 0))
1514d879cb83SAl Viro 			return res;
1515d879cb83SAl Viro 		return (res == n ? len : res * PAGE_SIZE) - *start;
1516d879cb83SAl Viro 	0;}),({
1517d879cb83SAl Viro 		/* can't be more than PAGE_SIZE */
1518d879cb83SAl Viro 		*start = v.bv_offset;
1519d879cb83SAl Viro 		get_page(*pages = v.bv_page);
1520d879cb83SAl Viro 		return v.bv_len;
1521d879cb83SAl Viro 	}),({
1522d879cb83SAl Viro 		return -EFAULT;
15237ff50620SDavid Howells 	}),
15247ff50620SDavid Howells 	0
1525d879cb83SAl Viro 	)
1526d879cb83SAl Viro 	return 0;
1527d879cb83SAl Viro }
1528d879cb83SAl Viro EXPORT_SYMBOL(iov_iter_get_pages);
1529d879cb83SAl Viro 
1530d879cb83SAl Viro static struct page **get_pages_array(size_t n)
1531d879cb83SAl Viro {
1532752ade68SMichal Hocko 	return kvmalloc_array(n, sizeof(struct page *), GFP_KERNEL);
1533d879cb83SAl Viro }
1534d879cb83SAl Viro 
1535241699cdSAl Viro static ssize_t pipe_get_pages_alloc(struct iov_iter *i,
1536241699cdSAl Viro 		   struct page ***pages, size_t maxsize,
1537241699cdSAl Viro 		   size_t *start)
1538241699cdSAl Viro {
1539241699cdSAl Viro 	struct page **p;
15408cefc107SDavid Howells 	unsigned int iter_head, npages;
1541d7760d63SIlya Dryomov 	ssize_t n;
1542241699cdSAl Viro 
154333844e66SAl Viro 	if (!maxsize)
154433844e66SAl Viro 		return 0;
154533844e66SAl Viro 
1546241699cdSAl Viro 	if (!sanity(i))
1547241699cdSAl Viro 		return -EFAULT;
1548241699cdSAl Viro 
15498cefc107SDavid Howells 	data_start(i, &iter_head, start);
15508cefc107SDavid Howells 	/* Amount of free space: some of this one + all after this one */
15518cefc107SDavid Howells 	npages = pipe_space_for_user(iter_head, i->pipe->tail, i->pipe);
1552241699cdSAl Viro 	n = npages * PAGE_SIZE - *start;
1553241699cdSAl Viro 	if (maxsize > n)
1554241699cdSAl Viro 		maxsize = n;
1555241699cdSAl Viro 	else
1556241699cdSAl Viro 		npages = DIV_ROUND_UP(maxsize + *start, PAGE_SIZE);
1557241699cdSAl Viro 	p = get_pages_array(npages);
1558241699cdSAl Viro 	if (!p)
1559241699cdSAl Viro 		return -ENOMEM;
15608cefc107SDavid Howells 	n = __pipe_get_pages(i, maxsize, p, iter_head, start);
1561241699cdSAl Viro 	if (n > 0)
1562241699cdSAl Viro 		*pages = p;
1563241699cdSAl Viro 	else
1564241699cdSAl Viro 		kvfree(p);
1565241699cdSAl Viro 	return n;
1566241699cdSAl Viro }
1567241699cdSAl Viro 
15687ff50620SDavid Howells static ssize_t iter_xarray_get_pages_alloc(struct iov_iter *i,
15697ff50620SDavid Howells 					   struct page ***pages, size_t maxsize,
15707ff50620SDavid Howells 					   size_t *_start_offset)
15717ff50620SDavid Howells {
15727ff50620SDavid Howells 	struct page **p;
15737ff50620SDavid Howells 	unsigned nr, offset;
15747ff50620SDavid Howells 	pgoff_t index, count;
15757ff50620SDavid Howells 	size_t size = maxsize, actual;
15767ff50620SDavid Howells 	loff_t pos;
15777ff50620SDavid Howells 
15787ff50620SDavid Howells 	if (!size)
15797ff50620SDavid Howells 		return 0;
15807ff50620SDavid Howells 
15817ff50620SDavid Howells 	pos = i->xarray_start + i->iov_offset;
15827ff50620SDavid Howells 	index = pos >> PAGE_SHIFT;
15837ff50620SDavid Howells 	offset = pos & ~PAGE_MASK;
15847ff50620SDavid Howells 	*_start_offset = offset;
15857ff50620SDavid Howells 
15867ff50620SDavid Howells 	count = 1;
15877ff50620SDavid Howells 	if (size > PAGE_SIZE - offset) {
15887ff50620SDavid Howells 		size -= PAGE_SIZE - offset;
15897ff50620SDavid Howells 		count += size >> PAGE_SHIFT;
15907ff50620SDavid Howells 		size &= ~PAGE_MASK;
15917ff50620SDavid Howells 		if (size)
15927ff50620SDavid Howells 			count++;
15937ff50620SDavid Howells 	}
15947ff50620SDavid Howells 
15957ff50620SDavid Howells 	p = get_pages_array(count);
15967ff50620SDavid Howells 	if (!p)
15977ff50620SDavid Howells 		return -ENOMEM;
15987ff50620SDavid Howells 	*pages = p;
15997ff50620SDavid Howells 
16007ff50620SDavid Howells 	nr = iter_xarray_populate_pages(p, i->xarray, index, count);
16017ff50620SDavid Howells 	if (nr == 0)
16027ff50620SDavid Howells 		return 0;
16037ff50620SDavid Howells 
16047ff50620SDavid Howells 	actual = PAGE_SIZE * nr;
16057ff50620SDavid Howells 	actual -= offset;
16067ff50620SDavid Howells 	if (nr == count && size > 0) {
16077ff50620SDavid Howells 		unsigned last_offset = (nr > 1) ? 0 : offset;
16087ff50620SDavid Howells 		actual -= PAGE_SIZE - (last_offset + size);
16097ff50620SDavid Howells 	}
16107ff50620SDavid Howells 	return actual;
16117ff50620SDavid Howells }
16127ff50620SDavid Howells 
1613d879cb83SAl Viro ssize_t iov_iter_get_pages_alloc(struct iov_iter *i,
1614d879cb83SAl Viro 		   struct page ***pages, size_t maxsize,
1615d879cb83SAl Viro 		   size_t *start)
1616d879cb83SAl Viro {
1617d879cb83SAl Viro 	struct page **p;
1618d879cb83SAl Viro 
1619d879cb83SAl Viro 	if (maxsize > i->count)
1620d879cb83SAl Viro 		maxsize = i->count;
1621d879cb83SAl Viro 
162200e23707SDavid Howells 	if (unlikely(iov_iter_is_pipe(i)))
1623241699cdSAl Viro 		return pipe_get_pages_alloc(i, pages, maxsize, start);
16247ff50620SDavid Howells 	if (unlikely(iov_iter_is_xarray(i)))
16257ff50620SDavid Howells 		return iter_xarray_get_pages_alloc(i, pages, maxsize, start);
16269ea9ce04SDavid Howells 	if (unlikely(iov_iter_is_discard(i)))
16279ea9ce04SDavid Howells 		return -EFAULT;
16289ea9ce04SDavid Howells 
1629d879cb83SAl Viro 	iterate_all_kinds(i, maxsize, v, ({
1630d879cb83SAl Viro 		unsigned long addr = (unsigned long)v.iov_base;
1631d879cb83SAl Viro 		size_t len = v.iov_len + (*start = addr & (PAGE_SIZE - 1));
1632d879cb83SAl Viro 		int n;
1633d879cb83SAl Viro 		int res;
1634d879cb83SAl Viro 
1635d879cb83SAl Viro 		addr &= ~(PAGE_SIZE - 1);
1636d879cb83SAl Viro 		n = DIV_ROUND_UP(len, PAGE_SIZE);
1637d879cb83SAl Viro 		p = get_pages_array(n);
1638d879cb83SAl Viro 		if (!p)
1639d879cb83SAl Viro 			return -ENOMEM;
164073b0140bSIra Weiny 		res = get_user_pages_fast(addr, n,
164173b0140bSIra Weiny 				iov_iter_rw(i) != WRITE ?  FOLL_WRITE : 0, p);
1642d879cb83SAl Viro 		if (unlikely(res < 0)) {
1643d879cb83SAl Viro 			kvfree(p);
1644d879cb83SAl Viro 			return res;
1645d879cb83SAl Viro 		}
1646d879cb83SAl Viro 		*pages = p;
1647d879cb83SAl Viro 		return (res == n ? len : res * PAGE_SIZE) - *start;
1648d879cb83SAl Viro 	0;}),({
1649d879cb83SAl Viro 		/* can't be more than PAGE_SIZE */
1650d879cb83SAl Viro 		*start = v.bv_offset;
1651d879cb83SAl Viro 		*pages = p = get_pages_array(1);
1652d879cb83SAl Viro 		if (!p)
1653d879cb83SAl Viro 			return -ENOMEM;
1654d879cb83SAl Viro 		get_page(*p = v.bv_page);
1655d879cb83SAl Viro 		return v.bv_len;
1656d879cb83SAl Viro 	}),({
1657d879cb83SAl Viro 		return -EFAULT;
16587ff50620SDavid Howells 	}), 0
1659d879cb83SAl Viro 	)
1660d879cb83SAl Viro 	return 0;
1661d879cb83SAl Viro }
1662d879cb83SAl Viro EXPORT_SYMBOL(iov_iter_get_pages_alloc);
1663d879cb83SAl Viro 
1664d879cb83SAl Viro size_t csum_and_copy_from_iter(void *addr, size_t bytes, __wsum *csum,
1665d879cb83SAl Viro 			       struct iov_iter *i)
1666d879cb83SAl Viro {
1667d879cb83SAl Viro 	char *to = addr;
1668d879cb83SAl Viro 	__wsum sum, next;
1669d879cb83SAl Viro 	size_t off = 0;
1670d879cb83SAl Viro 	sum = *csum;
16719ea9ce04SDavid Howells 	if (unlikely(iov_iter_is_pipe(i) || iov_iter_is_discard(i))) {
1672241699cdSAl Viro 		WARN_ON(1);
1673241699cdSAl Viro 		return 0;
1674241699cdSAl Viro 	}
1675d879cb83SAl Viro 	iterate_and_advance(i, bytes, v, ({
1676d879cb83SAl Viro 		next = csum_and_copy_from_user(v.iov_base,
1677d879cb83SAl Viro 					       (to += v.iov_len) - v.iov_len,
1678c693cc46SAl Viro 					       v.iov_len);
1679c693cc46SAl Viro 		if (next) {
1680d879cb83SAl Viro 			sum = csum_block_add(sum, next, off);
1681d879cb83SAl Viro 			off += v.iov_len;
1682d879cb83SAl Viro 		}
1683c693cc46SAl Viro 		next ? 0 : v.iov_len;
1684d879cb83SAl Viro 	}), ({
1685d879cb83SAl Viro 		char *p = kmap_atomic(v.bv_page);
1686f9152895SAl Viro 		sum = csum_and_memcpy((to += v.bv_len) - v.bv_len,
1687f9152895SAl Viro 				      p + v.bv_offset, v.bv_len,
1688f9152895SAl Viro 				      sum, off);
1689d879cb83SAl Viro 		kunmap_atomic(p);
1690d879cb83SAl Viro 		off += v.bv_len;
1691d879cb83SAl Viro 	}),({
1692f9152895SAl Viro 		sum = csum_and_memcpy((to += v.iov_len) - v.iov_len,
1693f9152895SAl Viro 				      v.iov_base, v.iov_len,
1694f9152895SAl Viro 				      sum, off);
1695d879cb83SAl Viro 		off += v.iov_len;
16967ff50620SDavid Howells 	}), ({
16977ff50620SDavid Howells 		char *p = kmap_atomic(v.bv_page);
16987ff50620SDavid Howells 		sum = csum_and_memcpy((to += v.bv_len) - v.bv_len,
16997ff50620SDavid Howells 				      p + v.bv_offset, v.bv_len,
17007ff50620SDavid Howells 				      sum, off);
17017ff50620SDavid Howells 		kunmap_atomic(p);
17027ff50620SDavid Howells 		off += v.bv_len;
1703d879cb83SAl Viro 	})
1704d879cb83SAl Viro 	)
1705d879cb83SAl Viro 	*csum = sum;
1706d879cb83SAl Viro 	return bytes;
1707d879cb83SAl Viro }
1708d879cb83SAl Viro EXPORT_SYMBOL(csum_and_copy_from_iter);
1709d879cb83SAl Viro 
171052cbd23aSWillem de Bruijn size_t csum_and_copy_to_iter(const void *addr, size_t bytes, void *_csstate,
1711d879cb83SAl Viro 			     struct iov_iter *i)
1712d879cb83SAl Viro {
171352cbd23aSWillem de Bruijn 	struct csum_state *csstate = _csstate;
171436f7a8a4SAl Viro 	const char *from = addr;
1715d879cb83SAl Viro 	__wsum sum, next;
171652cbd23aSWillem de Bruijn 	size_t off;
171778e1f386SAl Viro 
171878e1f386SAl Viro 	if (unlikely(iov_iter_is_pipe(i)))
171952cbd23aSWillem de Bruijn 		return csum_and_copy_to_pipe_iter(addr, bytes, _csstate, i);
172078e1f386SAl Viro 
172152cbd23aSWillem de Bruijn 	sum = csstate->csum;
172252cbd23aSWillem de Bruijn 	off = csstate->off;
172378e1f386SAl Viro 	if (unlikely(iov_iter_is_discard(i))) {
1724241699cdSAl Viro 		WARN_ON(1);	/* for now */
1725241699cdSAl Viro 		return 0;
1726241699cdSAl Viro 	}
1727d879cb83SAl Viro 	iterate_and_advance(i, bytes, v, ({
1728d879cb83SAl Viro 		next = csum_and_copy_to_user((from += v.iov_len) - v.iov_len,
1729d879cb83SAl Viro 					     v.iov_base,
1730c693cc46SAl Viro 					     v.iov_len);
1731c693cc46SAl Viro 		if (next) {
1732d879cb83SAl Viro 			sum = csum_block_add(sum, next, off);
1733d879cb83SAl Viro 			off += v.iov_len;
1734d879cb83SAl Viro 		}
1735c693cc46SAl Viro 		next ? 0 : v.iov_len;
1736d879cb83SAl Viro 	}), ({
1737d879cb83SAl Viro 		char *p = kmap_atomic(v.bv_page);
1738f9152895SAl Viro 		sum = csum_and_memcpy(p + v.bv_offset,
1739f9152895SAl Viro 				      (from += v.bv_len) - v.bv_len,
1740f9152895SAl Viro 				      v.bv_len, sum, off);
1741d879cb83SAl Viro 		kunmap_atomic(p);
1742d879cb83SAl Viro 		off += v.bv_len;
1743d879cb83SAl Viro 	}),({
1744f9152895SAl Viro 		sum = csum_and_memcpy(v.iov_base,
1745f9152895SAl Viro 				     (from += v.iov_len) - v.iov_len,
1746f9152895SAl Viro 				     v.iov_len, sum, off);
1747d879cb83SAl Viro 		off += v.iov_len;
17487ff50620SDavid Howells 	}), ({
17497ff50620SDavid Howells 		char *p = kmap_atomic(v.bv_page);
17507ff50620SDavid Howells 		sum = csum_and_memcpy(p + v.bv_offset,
17517ff50620SDavid Howells 				      (from += v.bv_len) - v.bv_len,
17527ff50620SDavid Howells 				      v.bv_len, sum, off);
17537ff50620SDavid Howells 		kunmap_atomic(p);
17547ff50620SDavid Howells 		off += v.bv_len;
1755d879cb83SAl Viro 	})
1756d879cb83SAl Viro 	)
175752cbd23aSWillem de Bruijn 	csstate->csum = sum;
175852cbd23aSWillem de Bruijn 	csstate->off = off;
1759d879cb83SAl Viro 	return bytes;
1760d879cb83SAl Viro }
1761d879cb83SAl Viro EXPORT_SYMBOL(csum_and_copy_to_iter);
1762d879cb83SAl Viro 
1763d05f4435SSagi Grimberg size_t hash_and_copy_to_iter(const void *addr, size_t bytes, void *hashp,
1764d05f4435SSagi Grimberg 		struct iov_iter *i)
1765d05f4435SSagi Grimberg {
17667999096fSHerbert Xu #ifdef CONFIG_CRYPTO_HASH
1767d05f4435SSagi Grimberg 	struct ahash_request *hash = hashp;
1768d05f4435SSagi Grimberg 	struct scatterlist sg;
1769d05f4435SSagi Grimberg 	size_t copied;
1770d05f4435SSagi Grimberg 
1771d05f4435SSagi Grimberg 	copied = copy_to_iter(addr, bytes, i);
1772d05f4435SSagi Grimberg 	sg_init_one(&sg, addr, copied);
1773d05f4435SSagi Grimberg 	ahash_request_set_crypt(hash, &sg, NULL, copied);
1774d05f4435SSagi Grimberg 	crypto_ahash_update(hash);
1775d05f4435SSagi Grimberg 	return copied;
177627fad74aSYueHaibing #else
177727fad74aSYueHaibing 	return 0;
177827fad74aSYueHaibing #endif
1779d05f4435SSagi Grimberg }
1780d05f4435SSagi Grimberg EXPORT_SYMBOL(hash_and_copy_to_iter);
1781d05f4435SSagi Grimberg 
1782d879cb83SAl Viro int iov_iter_npages(const struct iov_iter *i, int maxpages)
1783d879cb83SAl Viro {
1784d879cb83SAl Viro 	size_t size = i->count;
1785d879cb83SAl Viro 	int npages = 0;
1786d879cb83SAl Viro 
1787d879cb83SAl Viro 	if (!size)
1788d879cb83SAl Viro 		return 0;
17899ea9ce04SDavid Howells 	if (unlikely(iov_iter_is_discard(i)))
17909ea9ce04SDavid Howells 		return 0;
1791d879cb83SAl Viro 
179200e23707SDavid Howells 	if (unlikely(iov_iter_is_pipe(i))) {
1793241699cdSAl Viro 		struct pipe_inode_info *pipe = i->pipe;
17948cefc107SDavid Howells 		unsigned int iter_head;
1795241699cdSAl Viro 		size_t off;
1796241699cdSAl Viro 
1797241699cdSAl Viro 		if (!sanity(i))
1798241699cdSAl Viro 			return 0;
1799241699cdSAl Viro 
18008cefc107SDavid Howells 		data_start(i, &iter_head, &off);
1801241699cdSAl Viro 		/* some of this one + all after this one */
18028cefc107SDavid Howells 		npages = pipe_space_for_user(iter_head, pipe->tail, pipe);
1803241699cdSAl Viro 		if (npages >= maxpages)
1804241699cdSAl Viro 			return maxpages;
18057ff50620SDavid Howells 	} else if (unlikely(iov_iter_is_xarray(i))) {
18067ff50620SDavid Howells 		unsigned offset;
18077ff50620SDavid Howells 
18087ff50620SDavid Howells 		offset = (i->xarray_start + i->iov_offset) & ~PAGE_MASK;
18097ff50620SDavid Howells 
18107ff50620SDavid Howells 		npages = 1;
18117ff50620SDavid Howells 		if (size > PAGE_SIZE - offset) {
18127ff50620SDavid Howells 			size -= PAGE_SIZE - offset;
18137ff50620SDavid Howells 			npages += size >> PAGE_SHIFT;
18147ff50620SDavid Howells 			size &= ~PAGE_MASK;
18157ff50620SDavid Howells 			if (size)
18167ff50620SDavid Howells 				npages++;
18177ff50620SDavid Howells 		}
18187ff50620SDavid Howells 		if (npages >= maxpages)
18197ff50620SDavid Howells 			return maxpages;
1820241699cdSAl Viro 	} else iterate_all_kinds(i, size, v, ({
1821d879cb83SAl Viro 		unsigned long p = (unsigned long)v.iov_base;
1822d879cb83SAl Viro 		npages += DIV_ROUND_UP(p + v.iov_len, PAGE_SIZE)
1823d879cb83SAl Viro 			- p / PAGE_SIZE;
1824d879cb83SAl Viro 		if (npages >= maxpages)
1825d879cb83SAl Viro 			return maxpages;
1826d879cb83SAl Viro 	0;}),({
1827d879cb83SAl Viro 		npages++;
1828d879cb83SAl Viro 		if (npages >= maxpages)
1829d879cb83SAl Viro 			return maxpages;
1830d879cb83SAl Viro 	}),({
1831d879cb83SAl Viro 		unsigned long p = (unsigned long)v.iov_base;
1832d879cb83SAl Viro 		npages += DIV_ROUND_UP(p + v.iov_len, PAGE_SIZE)
1833d879cb83SAl Viro 			- p / PAGE_SIZE;
1834d879cb83SAl Viro 		if (npages >= maxpages)
1835d879cb83SAl Viro 			return maxpages;
18367ff50620SDavid Howells 	}),
18377ff50620SDavid Howells 	0
1838d879cb83SAl Viro 	)
1839d879cb83SAl Viro 	return npages;
1840d879cb83SAl Viro }
1841d879cb83SAl Viro EXPORT_SYMBOL(iov_iter_npages);
1842d879cb83SAl Viro 
1843d879cb83SAl Viro const void *dup_iter(struct iov_iter *new, struct iov_iter *old, gfp_t flags)
1844d879cb83SAl Viro {
1845d879cb83SAl Viro 	*new = *old;
184600e23707SDavid Howells 	if (unlikely(iov_iter_is_pipe(new))) {
1847241699cdSAl Viro 		WARN_ON(1);
1848241699cdSAl Viro 		return NULL;
1849241699cdSAl Viro 	}
18507ff50620SDavid Howells 	if (unlikely(iov_iter_is_discard(new) || iov_iter_is_xarray(new)))
18519ea9ce04SDavid Howells 		return NULL;
185200e23707SDavid Howells 	if (iov_iter_is_bvec(new))
1853d879cb83SAl Viro 		return new->bvec = kmemdup(new->bvec,
1854d879cb83SAl Viro 				    new->nr_segs * sizeof(struct bio_vec),
1855d879cb83SAl Viro 				    flags);
1856d879cb83SAl Viro 	else
1857d879cb83SAl Viro 		/* iovec and kvec have identical layout */
1858d879cb83SAl Viro 		return new->iov = kmemdup(new->iov,
1859d879cb83SAl Viro 				   new->nr_segs * sizeof(struct iovec),
1860d879cb83SAl Viro 				   flags);
1861d879cb83SAl Viro }
1862d879cb83SAl Viro EXPORT_SYMBOL(dup_iter);
1863bc917be8SAl Viro 
1864bfdc5970SChristoph Hellwig static int copy_compat_iovec_from_user(struct iovec *iov,
1865bfdc5970SChristoph Hellwig 		const struct iovec __user *uvec, unsigned long nr_segs)
1866bfdc5970SChristoph Hellwig {
1867bfdc5970SChristoph Hellwig 	const struct compat_iovec __user *uiov =
1868bfdc5970SChristoph Hellwig 		(const struct compat_iovec __user *)uvec;
1869bfdc5970SChristoph Hellwig 	int ret = -EFAULT, i;
1870bfdc5970SChristoph Hellwig 
1871a959a978SChristoph Hellwig 	if (!user_access_begin(uiov, nr_segs * sizeof(*uiov)))
1872bfdc5970SChristoph Hellwig 		return -EFAULT;
1873bfdc5970SChristoph Hellwig 
1874bfdc5970SChristoph Hellwig 	for (i = 0; i < nr_segs; i++) {
1875bfdc5970SChristoph Hellwig 		compat_uptr_t buf;
1876bfdc5970SChristoph Hellwig 		compat_ssize_t len;
1877bfdc5970SChristoph Hellwig 
1878bfdc5970SChristoph Hellwig 		unsafe_get_user(len, &uiov[i].iov_len, uaccess_end);
1879bfdc5970SChristoph Hellwig 		unsafe_get_user(buf, &uiov[i].iov_base, uaccess_end);
1880bfdc5970SChristoph Hellwig 
1881bfdc5970SChristoph Hellwig 		/* check for compat_size_t not fitting in compat_ssize_t .. */
1882bfdc5970SChristoph Hellwig 		if (len < 0) {
1883bfdc5970SChristoph Hellwig 			ret = -EINVAL;
1884bfdc5970SChristoph Hellwig 			goto uaccess_end;
1885bfdc5970SChristoph Hellwig 		}
1886bfdc5970SChristoph Hellwig 		iov[i].iov_base = compat_ptr(buf);
1887bfdc5970SChristoph Hellwig 		iov[i].iov_len = len;
1888bfdc5970SChristoph Hellwig 	}
1889bfdc5970SChristoph Hellwig 
1890bfdc5970SChristoph Hellwig 	ret = 0;
1891bfdc5970SChristoph Hellwig uaccess_end:
1892bfdc5970SChristoph Hellwig 	user_access_end();
1893bfdc5970SChristoph Hellwig 	return ret;
1894bfdc5970SChristoph Hellwig }
1895bfdc5970SChristoph Hellwig 
1896bfdc5970SChristoph Hellwig static int copy_iovec_from_user(struct iovec *iov,
1897bfdc5970SChristoph Hellwig 		const struct iovec __user *uvec, unsigned long nr_segs)
1898fb041b59SDavid Laight {
1899fb041b59SDavid Laight 	unsigned long seg;
1900bfdc5970SChristoph Hellwig 
1901bfdc5970SChristoph Hellwig 	if (copy_from_user(iov, uvec, nr_segs * sizeof(*uvec)))
1902bfdc5970SChristoph Hellwig 		return -EFAULT;
1903bfdc5970SChristoph Hellwig 	for (seg = 0; seg < nr_segs; seg++) {
1904bfdc5970SChristoph Hellwig 		if ((ssize_t)iov[seg].iov_len < 0)
1905bfdc5970SChristoph Hellwig 			return -EINVAL;
1906bfdc5970SChristoph Hellwig 	}
1907bfdc5970SChristoph Hellwig 
1908bfdc5970SChristoph Hellwig 	return 0;
1909bfdc5970SChristoph Hellwig }
1910bfdc5970SChristoph Hellwig 
1911bfdc5970SChristoph Hellwig struct iovec *iovec_from_user(const struct iovec __user *uvec,
1912bfdc5970SChristoph Hellwig 		unsigned long nr_segs, unsigned long fast_segs,
1913bfdc5970SChristoph Hellwig 		struct iovec *fast_iov, bool compat)
1914bfdc5970SChristoph Hellwig {
1915bfdc5970SChristoph Hellwig 	struct iovec *iov = fast_iov;
1916bfdc5970SChristoph Hellwig 	int ret;
1917fb041b59SDavid Laight 
1918fb041b59SDavid Laight 	/*
1919bfdc5970SChristoph Hellwig 	 * SuS says "The readv() function *may* fail if the iovcnt argument was
1920bfdc5970SChristoph Hellwig 	 * less than or equal to 0, or greater than {IOV_MAX}.  Linux has
1921fb041b59SDavid Laight 	 * traditionally returned zero for zero segments, so...
1922fb041b59SDavid Laight 	 */
1923bfdc5970SChristoph Hellwig 	if (nr_segs == 0)
1924bfdc5970SChristoph Hellwig 		return iov;
1925bfdc5970SChristoph Hellwig 	if (nr_segs > UIO_MAXIOV)
1926bfdc5970SChristoph Hellwig 		return ERR_PTR(-EINVAL);
1927fb041b59SDavid Laight 	if (nr_segs > fast_segs) {
1928fb041b59SDavid Laight 		iov = kmalloc_array(nr_segs, sizeof(struct iovec), GFP_KERNEL);
1929bfdc5970SChristoph Hellwig 		if (!iov)
1930bfdc5970SChristoph Hellwig 			return ERR_PTR(-ENOMEM);
1931fb041b59SDavid Laight 	}
1932bfdc5970SChristoph Hellwig 
1933bfdc5970SChristoph Hellwig 	if (compat)
1934bfdc5970SChristoph Hellwig 		ret = copy_compat_iovec_from_user(iov, uvec, nr_segs);
1935bfdc5970SChristoph Hellwig 	else
1936bfdc5970SChristoph Hellwig 		ret = copy_iovec_from_user(iov, uvec, nr_segs);
1937bfdc5970SChristoph Hellwig 	if (ret) {
1938bfdc5970SChristoph Hellwig 		if (iov != fast_iov)
1939bfdc5970SChristoph Hellwig 			kfree(iov);
1940bfdc5970SChristoph Hellwig 		return ERR_PTR(ret);
1941fb041b59SDavid Laight 	}
1942bfdc5970SChristoph Hellwig 
1943bfdc5970SChristoph Hellwig 	return iov;
1944bfdc5970SChristoph Hellwig }
1945bfdc5970SChristoph Hellwig 
1946bfdc5970SChristoph Hellwig ssize_t __import_iovec(int type, const struct iovec __user *uvec,
1947bfdc5970SChristoph Hellwig 		 unsigned nr_segs, unsigned fast_segs, struct iovec **iovp,
1948bfdc5970SChristoph Hellwig 		 struct iov_iter *i, bool compat)
1949bfdc5970SChristoph Hellwig {
1950bfdc5970SChristoph Hellwig 	ssize_t total_len = 0;
1951bfdc5970SChristoph Hellwig 	unsigned long seg;
1952bfdc5970SChristoph Hellwig 	struct iovec *iov;
1953bfdc5970SChristoph Hellwig 
1954bfdc5970SChristoph Hellwig 	iov = iovec_from_user(uvec, nr_segs, fast_segs, *iovp, compat);
1955bfdc5970SChristoph Hellwig 	if (IS_ERR(iov)) {
1956bfdc5970SChristoph Hellwig 		*iovp = NULL;
1957bfdc5970SChristoph Hellwig 		return PTR_ERR(iov);
1958fb041b59SDavid Laight 	}
1959fb041b59SDavid Laight 
1960fb041b59SDavid Laight 	/*
1961bfdc5970SChristoph Hellwig 	 * According to the Single Unix Specification we should return EINVAL if
1962bfdc5970SChristoph Hellwig 	 * an element length is < 0 when cast to ssize_t or if the total length
1963bfdc5970SChristoph Hellwig 	 * would overflow the ssize_t return value of the system call.
1964fb041b59SDavid Laight 	 *
1965fb041b59SDavid Laight 	 * Linux caps all read/write calls to MAX_RW_COUNT, and avoids the
1966fb041b59SDavid Laight 	 * overflow case.
1967fb041b59SDavid Laight 	 */
1968fb041b59SDavid Laight 	for (seg = 0; seg < nr_segs; seg++) {
1969fb041b59SDavid Laight 		ssize_t len = (ssize_t)iov[seg].iov_len;
1970fb041b59SDavid Laight 
1971bfdc5970SChristoph Hellwig 		if (!access_ok(iov[seg].iov_base, len)) {
1972bfdc5970SChristoph Hellwig 			if (iov != *iovp)
1973bfdc5970SChristoph Hellwig 				kfree(iov);
1974bfdc5970SChristoph Hellwig 			*iovp = NULL;
1975bfdc5970SChristoph Hellwig 			return -EFAULT;
1976fb041b59SDavid Laight 		}
1977bfdc5970SChristoph Hellwig 
1978bfdc5970SChristoph Hellwig 		if (len > MAX_RW_COUNT - total_len) {
1979bfdc5970SChristoph Hellwig 			len = MAX_RW_COUNT - total_len;
1980fb041b59SDavid Laight 			iov[seg].iov_len = len;
1981fb041b59SDavid Laight 		}
1982bfdc5970SChristoph Hellwig 		total_len += len;
1983fb041b59SDavid Laight 	}
1984bfdc5970SChristoph Hellwig 
1985bfdc5970SChristoph Hellwig 	iov_iter_init(i, type, iov, nr_segs, total_len);
1986bfdc5970SChristoph Hellwig 	if (iov == *iovp)
1987bfdc5970SChristoph Hellwig 		*iovp = NULL;
1988bfdc5970SChristoph Hellwig 	else
1989bfdc5970SChristoph Hellwig 		*iovp = iov;
1990bfdc5970SChristoph Hellwig 	return total_len;
1991fb041b59SDavid Laight }
1992fb041b59SDavid Laight 
1993ffecee4fSVegard Nossum /**
1994ffecee4fSVegard Nossum  * import_iovec() - Copy an array of &struct iovec from userspace
1995ffecee4fSVegard Nossum  *     into the kernel, check that it is valid, and initialize a new
1996ffecee4fSVegard Nossum  *     &struct iov_iter iterator to access it.
1997ffecee4fSVegard Nossum  *
1998ffecee4fSVegard Nossum  * @type: One of %READ or %WRITE.
1999bfdc5970SChristoph Hellwig  * @uvec: Pointer to the userspace array.
2000ffecee4fSVegard Nossum  * @nr_segs: Number of elements in userspace array.
2001ffecee4fSVegard Nossum  * @fast_segs: Number of elements in @iov.
2002bfdc5970SChristoph Hellwig  * @iovp: (input and output parameter) Pointer to pointer to (usually small
2003ffecee4fSVegard Nossum  *     on-stack) kernel array.
2004ffecee4fSVegard Nossum  * @i: Pointer to iterator that will be initialized on success.
2005ffecee4fSVegard Nossum  *
2006ffecee4fSVegard Nossum  * If the array pointed to by *@iov is large enough to hold all @nr_segs,
2007ffecee4fSVegard Nossum  * then this function places %NULL in *@iov on return. Otherwise, a new
2008ffecee4fSVegard Nossum  * array will be allocated and the result placed in *@iov. This means that
2009ffecee4fSVegard Nossum  * the caller may call kfree() on *@iov regardless of whether the small
2010ffecee4fSVegard Nossum  * on-stack array was used or not (and regardless of whether this function
2011ffecee4fSVegard Nossum  * returns an error or not).
2012ffecee4fSVegard Nossum  *
201387e5e6daSJens Axboe  * Return: Negative error code on error, bytes imported on success
2014ffecee4fSVegard Nossum  */
2015bfdc5970SChristoph Hellwig ssize_t import_iovec(int type, const struct iovec __user *uvec,
2016bc917be8SAl Viro 		 unsigned nr_segs, unsigned fast_segs,
2017bfdc5970SChristoph Hellwig 		 struct iovec **iovp, struct iov_iter *i)
2018bc917be8SAl Viro {
201989cd35c5SChristoph Hellwig 	return __import_iovec(type, uvec, nr_segs, fast_segs, iovp, i,
202089cd35c5SChristoph Hellwig 			      in_compat_syscall());
2021bc917be8SAl Viro }
2022bc917be8SAl Viro EXPORT_SYMBOL(import_iovec);
2023bc917be8SAl Viro 
2024bc917be8SAl Viro int import_single_range(int rw, void __user *buf, size_t len,
2025bc917be8SAl Viro 		 struct iovec *iov, struct iov_iter *i)
2026bc917be8SAl Viro {
2027bc917be8SAl Viro 	if (len > MAX_RW_COUNT)
2028bc917be8SAl Viro 		len = MAX_RW_COUNT;
202996d4f267SLinus Torvalds 	if (unlikely(!access_ok(buf, len)))
2030bc917be8SAl Viro 		return -EFAULT;
2031bc917be8SAl Viro 
2032bc917be8SAl Viro 	iov->iov_base = buf;
2033bc917be8SAl Viro 	iov->iov_len = len;
2034bc917be8SAl Viro 	iov_iter_init(i, rw, iov, 1, len);
2035bc917be8SAl Viro 	return 0;
2036bc917be8SAl Viro }
2037e1267585SAl Viro EXPORT_SYMBOL(import_single_range);
2038