blob: f0b2ccb1bb0182694733683501b55dc4d7dc2bb2 [file] [log] [blame]
Thomas Gleixner457c8992019-05-19 13:08:55 +01001// SPDX-License-Identifier: GPL-2.0-only
Herbert Xu79990962020-06-12 16:57:37 +10002#include <crypto/hash.h>
Al Viro4f18cd32014-02-05 19:11:33 -05003#include <linux/export.h>
Christoph Hellwig2f8b5442016-11-01 07:40:13 -06004#include <linux/bvec.h>
Albert van der Linde4d0e9df2020-10-15 20:13:50 -07005#include <linux/fault-inject-usercopy.h>
Al Viro4f18cd32014-02-05 19:11:33 -05006#include <linux/uio.h>
7#include <linux/pagemap.h>
Al Viro91f79c42014-03-21 04:58:33 -04008#include <linux/slab.h>
9#include <linux/vmalloc.h>
Al Viro241699c2016-09-22 16:33:12 -040010#include <linux/splice.h>
Christoph Hellwigbfdc5972020-09-25 06:51:40 +020011#include <linux/compat.h>
Al Viroa604ec72014-11-24 01:08:00 -050012#include <net/checksum.h>
Sagi Grimbergd05f4432018-12-03 17:52:09 -080013#include <linux/scatterlist.h>
Marco Elverd0ef4c32020-01-21 17:05:11 +010014#include <linux/instrumented.h>
Al Viro4f18cd32014-02-05 19:11:33 -050015
Al Viro241699c2016-09-22 16:33:12 -040016#define PIPE_PARANOIA /* for now */
17
Al Viro04a31162014-11-27 13:51:41 -050018#define iterate_iovec(i, n, __v, __p, skip, STEP) { \
19 size_t left; \
20 size_t wanted = n; \
21 __p = i->iov; \
22 __v.iov_len = min(n, __p->iov_len - skip); \
23 if (likely(__v.iov_len)) { \
24 __v.iov_base = __p->iov_base + skip; \
25 left = (STEP); \
26 __v.iov_len -= left; \
27 skip += __v.iov_len; \
28 n -= __v.iov_len; \
29 } else { \
30 left = 0; \
31 } \
32 while (unlikely(!left && n)) { \
33 __p++; \
34 __v.iov_len = min(n, __p->iov_len); \
35 if (unlikely(!__v.iov_len)) \
36 continue; \
37 __v.iov_base = __p->iov_base; \
38 left = (STEP); \
39 __v.iov_len -= left; \
40 skip = __v.iov_len; \
41 n -= __v.iov_len; \
42 } \
43 n = wanted - n; \
44}
45
Al Viroa2804552014-11-27 14:48:42 -050046#define iterate_kvec(i, n, __v, __p, skip, STEP) { \
47 size_t wanted = n; \
48 __p = i->kvec; \
49 __v.iov_len = min(n, __p->iov_len - skip); \
50 if (likely(__v.iov_len)) { \
51 __v.iov_base = __p->iov_base + skip; \
52 (void)(STEP); \
53 skip += __v.iov_len; \
54 n -= __v.iov_len; \
55 } \
56 while (unlikely(n)) { \
57 __p++; \
58 __v.iov_len = min(n, __p->iov_len); \
59 if (unlikely(!__v.iov_len)) \
60 continue; \
61 __v.iov_base = __p->iov_base; \
62 (void)(STEP); \
63 skip = __v.iov_len; \
64 n -= __v.iov_len; \
65 } \
66 n = wanted; \
67}
68
Ming Lei1bdc76a2016-05-30 21:34:32 +080069#define iterate_bvec(i, n, __v, __bi, skip, STEP) { \
70 struct bvec_iter __start; \
71 __start.bi_size = n; \
72 __start.bi_bvec_done = skip; \
73 __start.bi_idx = 0; \
74 for_each_bvec(__v, i->bvec, __bi, __start) { \
75 if (!__v.bv_len) \
Al Viro04a31162014-11-27 13:51:41 -050076 continue; \
Al Viro04a31162014-11-27 13:51:41 -050077 (void)(STEP); \
Al Viro04a31162014-11-27 13:51:41 -050078 } \
Al Viro04a31162014-11-27 13:51:41 -050079}
80
Al Viroa2804552014-11-27 14:48:42 -050081#define iterate_all_kinds(i, n, v, I, B, K) { \
Al Viro33844e62016-12-21 21:55:02 -050082 if (likely(n)) { \
83 size_t skip = i->iov_offset; \
84 if (unlikely(i->type & ITER_BVEC)) { \
85 struct bio_vec v; \
86 struct bvec_iter __bi; \
87 iterate_bvec(i, n, v, __bi, skip, (B)) \
88 } else if (unlikely(i->type & ITER_KVEC)) { \
89 const struct kvec *kvec; \
90 struct kvec v; \
91 iterate_kvec(i, n, v, kvec, skip, (K)) \
David Howells9ea9ce02018-10-20 00:57:56 +010092 } else if (unlikely(i->type & ITER_DISCARD)) { \
Al Viro33844e62016-12-21 21:55:02 -050093 } else { \
94 const struct iovec *iov; \
95 struct iovec v; \
96 iterate_iovec(i, n, v, iov, skip, (I)) \
97 } \
Al Viro04a31162014-11-27 13:51:41 -050098 } \
99}
100
Al Viroa2804552014-11-27 14:48:42 -0500101#define iterate_and_advance(i, n, v, I, B, K) { \
Al Virodd254f52016-05-09 11:54:48 -0400102 if (unlikely(i->count < n)) \
103 n = i->count; \
Al Viro19f18452016-05-25 17:36:19 -0400104 if (i->count) { \
Al Virodd254f52016-05-09 11:54:48 -0400105 size_t skip = i->iov_offset; \
106 if (unlikely(i->type & ITER_BVEC)) { \
Ming Lei1bdc76a2016-05-30 21:34:32 +0800107 const struct bio_vec *bvec = i->bvec; \
Al Virodd254f52016-05-09 11:54:48 -0400108 struct bio_vec v; \
Ming Lei1bdc76a2016-05-30 21:34:32 +0800109 struct bvec_iter __bi; \
110 iterate_bvec(i, n, v, __bi, skip, (B)) \
111 i->bvec = __bvec_iter_bvec(i->bvec, __bi); \
112 i->nr_segs -= i->bvec - bvec; \
113 skip = __bi.bi_bvec_done; \
Al Virodd254f52016-05-09 11:54:48 -0400114 } else if (unlikely(i->type & ITER_KVEC)) { \
115 const struct kvec *kvec; \
116 struct kvec v; \
117 iterate_kvec(i, n, v, kvec, skip, (K)) \
118 if (skip == kvec->iov_len) { \
119 kvec++; \
120 skip = 0; \
121 } \
122 i->nr_segs -= kvec - i->kvec; \
123 i->kvec = kvec; \
David Howells9ea9ce02018-10-20 00:57:56 +0100124 } else if (unlikely(i->type & ITER_DISCARD)) { \
125 skip += n; \
Al Virodd254f52016-05-09 11:54:48 -0400126 } else { \
127 const struct iovec *iov; \
128 struct iovec v; \
129 iterate_iovec(i, n, v, iov, skip, (I)) \
130 if (skip == iov->iov_len) { \
131 iov++; \
132 skip = 0; \
133 } \
134 i->nr_segs -= iov - i->iov; \
135 i->iov = iov; \
Al Viro7ce2a912014-11-27 13:59:45 -0500136 } \
Al Virodd254f52016-05-09 11:54:48 -0400137 i->count -= n; \
138 i->iov_offset = skip; \
Al Viro7ce2a912014-11-27 13:59:45 -0500139 } \
Al Viro7ce2a912014-11-27 13:59:45 -0500140}
141
Al Viro09fc68dc2017-06-29 22:25:14 -0400142static int copyout(void __user *to, const void *from, size_t n)
143{
Albert van der Linde4d0e9df2020-10-15 20:13:50 -0700144 if (should_fail_usercopy())
145 return n;
Linus Torvalds96d4f262019-01-03 18:57:57 -0800146 if (access_ok(to, n)) {
Marco Elverd0ef4c32020-01-21 17:05:11 +0100147 instrument_copy_to_user(to, from, n);
Al Viro09fc68dc2017-06-29 22:25:14 -0400148 n = raw_copy_to_user(to, from, n);
149 }
150 return n;
151}
152
153static int copyin(void *to, const void __user *from, size_t n)
154{
Albert van der Linde4d0e9df2020-10-15 20:13:50 -0700155 if (should_fail_usercopy())
156 return n;
Linus Torvalds96d4f262019-01-03 18:57:57 -0800157 if (access_ok(from, n)) {
Marco Elverd0ef4c32020-01-21 17:05:11 +0100158 instrument_copy_from_user(to, from, n);
Al Viro09fc68dc2017-06-29 22:25:14 -0400159 n = raw_copy_from_user(to, from, n);
160 }
161 return n;
162}
163
Al Viro62a80672014-04-04 23:12:29 -0400164static size_t copy_page_to_iter_iovec(struct page *page, size_t offset, size_t bytes,
Al Viro4f18cd32014-02-05 19:11:33 -0500165 struct iov_iter *i)
166{
167 size_t skip, copy, left, wanted;
168 const struct iovec *iov;
169 char __user *buf;
170 void *kaddr, *from;
171
172 if (unlikely(bytes > i->count))
173 bytes = i->count;
174
175 if (unlikely(!bytes))
176 return 0;
177
Al Viro09fc68dc2017-06-29 22:25:14 -0400178 might_fault();
Al Viro4f18cd32014-02-05 19:11:33 -0500179 wanted = bytes;
180 iov = i->iov;
181 skip = i->iov_offset;
182 buf = iov->iov_base + skip;
183 copy = min(bytes, iov->iov_len - skip);
184
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700185 if (IS_ENABLED(CONFIG_HIGHMEM) && !fault_in_pages_writeable(buf, copy)) {
Al Viro4f18cd32014-02-05 19:11:33 -0500186 kaddr = kmap_atomic(page);
187 from = kaddr + offset;
188
189 /* first chunk, usually the only one */
Al Viro09fc68dc2017-06-29 22:25:14 -0400190 left = copyout(buf, from, copy);
Al Viro4f18cd32014-02-05 19:11:33 -0500191 copy -= left;
192 skip += copy;
193 from += copy;
194 bytes -= copy;
195
196 while (unlikely(!left && bytes)) {
197 iov++;
198 buf = iov->iov_base;
199 copy = min(bytes, iov->iov_len);
Al Viro09fc68dc2017-06-29 22:25:14 -0400200 left = copyout(buf, from, copy);
Al Viro4f18cd32014-02-05 19:11:33 -0500201 copy -= left;
202 skip = copy;
203 from += copy;
204 bytes -= copy;
205 }
206 if (likely(!bytes)) {
207 kunmap_atomic(kaddr);
208 goto done;
209 }
210 offset = from - kaddr;
211 buf += copy;
212 kunmap_atomic(kaddr);
213 copy = min(bytes, iov->iov_len - skip);
214 }
215 /* Too bad - revert to non-atomic kmap */
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700216
Al Viro4f18cd32014-02-05 19:11:33 -0500217 kaddr = kmap(page);
218 from = kaddr + offset;
Al Viro09fc68dc2017-06-29 22:25:14 -0400219 left = copyout(buf, from, copy);
Al Viro4f18cd32014-02-05 19:11:33 -0500220 copy -= left;
221 skip += copy;
222 from += copy;
223 bytes -= copy;
224 while (unlikely(!left && bytes)) {
225 iov++;
226 buf = iov->iov_base;
227 copy = min(bytes, iov->iov_len);
Al Viro09fc68dc2017-06-29 22:25:14 -0400228 left = copyout(buf, from, copy);
Al Viro4f18cd32014-02-05 19:11:33 -0500229 copy -= left;
230 skip = copy;
231 from += copy;
232 bytes -= copy;
233 }
234 kunmap(page);
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700235
Al Viro4f18cd32014-02-05 19:11:33 -0500236done:
Al Viro81055e52014-04-04 19:23:46 -0400237 if (skip == iov->iov_len) {
238 iov++;
239 skip = 0;
240 }
Al Viro4f18cd32014-02-05 19:11:33 -0500241 i->count -= wanted - bytes;
242 i->nr_segs -= iov - i->iov;
243 i->iov = iov;
244 i->iov_offset = skip;
245 return wanted - bytes;
246}
Al Viro4f18cd32014-02-05 19:11:33 -0500247
Al Viro62a80672014-04-04 23:12:29 -0400248static size_t copy_page_from_iter_iovec(struct page *page, size_t offset, size_t bytes,
Al Virof0d1bec2014-04-03 15:05:18 -0400249 struct iov_iter *i)
250{
251 size_t skip, copy, left, wanted;
252 const struct iovec *iov;
253 char __user *buf;
254 void *kaddr, *to;
255
256 if (unlikely(bytes > i->count))
257 bytes = i->count;
258
259 if (unlikely(!bytes))
260 return 0;
261
Al Viro09fc68dc2017-06-29 22:25:14 -0400262 might_fault();
Al Virof0d1bec2014-04-03 15:05:18 -0400263 wanted = bytes;
264 iov = i->iov;
265 skip = i->iov_offset;
266 buf = iov->iov_base + skip;
267 copy = min(bytes, iov->iov_len - skip);
268
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700269 if (IS_ENABLED(CONFIG_HIGHMEM) && !fault_in_pages_readable(buf, copy)) {
Al Virof0d1bec2014-04-03 15:05:18 -0400270 kaddr = kmap_atomic(page);
271 to = kaddr + offset;
272
273 /* first chunk, usually the only one */
Al Viro09fc68dc2017-06-29 22:25:14 -0400274 left = copyin(to, buf, copy);
Al Virof0d1bec2014-04-03 15:05:18 -0400275 copy -= left;
276 skip += copy;
277 to += copy;
278 bytes -= copy;
279
280 while (unlikely(!left && bytes)) {
281 iov++;
282 buf = iov->iov_base;
283 copy = min(bytes, iov->iov_len);
Al Viro09fc68dc2017-06-29 22:25:14 -0400284 left = copyin(to, buf, copy);
Al Virof0d1bec2014-04-03 15:05:18 -0400285 copy -= left;
286 skip = copy;
287 to += copy;
288 bytes -= copy;
289 }
290 if (likely(!bytes)) {
291 kunmap_atomic(kaddr);
292 goto done;
293 }
294 offset = to - kaddr;
295 buf += copy;
296 kunmap_atomic(kaddr);
297 copy = min(bytes, iov->iov_len - skip);
298 }
299 /* Too bad - revert to non-atomic kmap */
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700300
Al Virof0d1bec2014-04-03 15:05:18 -0400301 kaddr = kmap(page);
302 to = kaddr + offset;
Al Viro09fc68dc2017-06-29 22:25:14 -0400303 left = copyin(to, buf, copy);
Al Virof0d1bec2014-04-03 15:05:18 -0400304 copy -= left;
305 skip += copy;
306 to += copy;
307 bytes -= copy;
308 while (unlikely(!left && bytes)) {
309 iov++;
310 buf = iov->iov_base;
311 copy = min(bytes, iov->iov_len);
Al Viro09fc68dc2017-06-29 22:25:14 -0400312 left = copyin(to, buf, copy);
Al Virof0d1bec2014-04-03 15:05:18 -0400313 copy -= left;
314 skip = copy;
315 to += copy;
316 bytes -= copy;
317 }
318 kunmap(page);
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700319
Al Virof0d1bec2014-04-03 15:05:18 -0400320done:
Al Viro81055e52014-04-04 19:23:46 -0400321 if (skip == iov->iov_len) {
322 iov++;
323 skip = 0;
324 }
Al Virof0d1bec2014-04-03 15:05:18 -0400325 i->count -= wanted - bytes;
326 i->nr_segs -= iov - i->iov;
327 i->iov = iov;
328 i->iov_offset = skip;
329 return wanted - bytes;
330}
Al Virof0d1bec2014-04-03 15:05:18 -0400331
Al Viro241699c2016-09-22 16:33:12 -0400332#ifdef PIPE_PARANOIA
333static bool sanity(const struct iov_iter *i)
334{
335 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000336 unsigned int p_head = pipe->head;
337 unsigned int p_tail = pipe->tail;
338 unsigned int p_mask = pipe->ring_size - 1;
339 unsigned int p_occupancy = pipe_occupancy(p_head, p_tail);
340 unsigned int i_head = i->head;
341 unsigned int idx;
342
Al Viro241699c2016-09-22 16:33:12 -0400343 if (i->iov_offset) {
344 struct pipe_buffer *p;
David Howells8cefc102019-11-15 13:30:32 +0000345 if (unlikely(p_occupancy == 0))
Al Viro241699c2016-09-22 16:33:12 -0400346 goto Bad; // pipe must be non-empty
David Howells8cefc102019-11-15 13:30:32 +0000347 if (unlikely(i_head != p_head - 1))
Al Viro241699c2016-09-22 16:33:12 -0400348 goto Bad; // must be at the last buffer...
349
David Howells8cefc102019-11-15 13:30:32 +0000350 p = &pipe->bufs[i_head & p_mask];
Al Viro241699c2016-09-22 16:33:12 -0400351 if (unlikely(p->offset + p->len != i->iov_offset))
352 goto Bad; // ... at the end of segment
353 } else {
David Howells8cefc102019-11-15 13:30:32 +0000354 if (i_head != p_head)
Al Viro241699c2016-09-22 16:33:12 -0400355 goto Bad; // must be right after the last buffer
356 }
357 return true;
358Bad:
David Howells8cefc102019-11-15 13:30:32 +0000359 printk(KERN_ERR "idx = %d, offset = %zd\n", i_head, i->iov_offset);
360 printk(KERN_ERR "head = %d, tail = %d, buffers = %d\n",
361 p_head, p_tail, pipe->ring_size);
362 for (idx = 0; idx < pipe->ring_size; idx++)
Al Viro241699c2016-09-22 16:33:12 -0400363 printk(KERN_ERR "[%p %p %d %d]\n",
364 pipe->bufs[idx].ops,
365 pipe->bufs[idx].page,
366 pipe->bufs[idx].offset,
367 pipe->bufs[idx].len);
368 WARN_ON(1);
369 return false;
370}
371#else
372#define sanity(i) true
373#endif
374
Al Viro241699c2016-09-22 16:33:12 -0400375static size_t copy_page_to_iter_pipe(struct page *page, size_t offset, size_t bytes,
376 struct iov_iter *i)
377{
378 struct pipe_inode_info *pipe = i->pipe;
379 struct pipe_buffer *buf;
David Howells8cefc102019-11-15 13:30:32 +0000380 unsigned int p_tail = pipe->tail;
381 unsigned int p_mask = pipe->ring_size - 1;
382 unsigned int i_head = i->head;
Al Viro241699c2016-09-22 16:33:12 -0400383 size_t off;
Al Viro241699c2016-09-22 16:33:12 -0400384
385 if (unlikely(bytes > i->count))
386 bytes = i->count;
387
388 if (unlikely(!bytes))
389 return 0;
390
391 if (!sanity(i))
392 return 0;
393
394 off = i->iov_offset;
David Howells8cefc102019-11-15 13:30:32 +0000395 buf = &pipe->bufs[i_head & p_mask];
Al Viro241699c2016-09-22 16:33:12 -0400396 if (off) {
397 if (offset == off && buf->page == page) {
398 /* merge with the last one */
399 buf->len += bytes;
400 i->iov_offset += bytes;
401 goto out;
402 }
David Howells8cefc102019-11-15 13:30:32 +0000403 i_head++;
404 buf = &pipe->bufs[i_head & p_mask];
Al Viro241699c2016-09-22 16:33:12 -0400405 }
David Howells6718b6f2019-10-16 16:47:32 +0100406 if (pipe_full(i_head, p_tail, pipe->max_usage))
Al Viro241699c2016-09-22 16:33:12 -0400407 return 0;
David Howells8cefc102019-11-15 13:30:32 +0000408
Al Viro241699c2016-09-22 16:33:12 -0400409 buf->ops = &page_cache_pipe_buf_ops;
David Howells8cefc102019-11-15 13:30:32 +0000410 get_page(page);
411 buf->page = page;
Al Viro241699c2016-09-22 16:33:12 -0400412 buf->offset = offset;
413 buf->len = bytes;
David Howells8cefc102019-11-15 13:30:32 +0000414
415 pipe->head = i_head + 1;
Al Viro241699c2016-09-22 16:33:12 -0400416 i->iov_offset = offset + bytes;
David Howells8cefc102019-11-15 13:30:32 +0000417 i->head = i_head;
Al Viro241699c2016-09-22 16:33:12 -0400418out:
419 i->count -= bytes;
420 return bytes;
421}
422
Al Viro4f18cd32014-02-05 19:11:33 -0500423/*
Anton Altaparmakov171a0202015-03-11 10:43:31 -0400424 * Fault in one or more iovecs of the given iov_iter, to a maximum length of
425 * bytes. For each iovec, fault in each page that constitutes the iovec.
426 *
427 * Return 0 on success, or non-zero if the memory could not be accessed (i.e.
428 * because it is an invalid address).
429 */
Al Virod4690f12016-09-16 00:11:45 +0100430int iov_iter_fault_in_readable(struct iov_iter *i, size_t bytes)
Anton Altaparmakov171a0202015-03-11 10:43:31 -0400431{
432 size_t skip = i->iov_offset;
433 const struct iovec *iov;
434 int err;
435 struct iovec v;
436
437 if (!(i->type & (ITER_BVEC|ITER_KVEC))) {
438 iterate_iovec(i, bytes, v, iov, skip, ({
Al Viro4bce9f6e2016-09-17 18:02:44 -0400439 err = fault_in_pages_readable(v.iov_base, v.iov_len);
Anton Altaparmakov171a0202015-03-11 10:43:31 -0400440 if (unlikely(err))
441 return err;
442 0;}))
443 }
444 return 0;
445}
Al Virod4690f12016-09-16 00:11:45 +0100446EXPORT_SYMBOL(iov_iter_fault_in_readable);
Anton Altaparmakov171a0202015-03-11 10:43:31 -0400447
David Howellsaa563d72018-10-20 00:57:56 +0100448void iov_iter_init(struct iov_iter *i, unsigned int direction,
Al Viro71d8e532014-03-05 19:28:09 -0500449 const struct iovec *iov, unsigned long nr_segs,
450 size_t count)
451{
David Howellsaa563d72018-10-20 00:57:56 +0100452 WARN_ON(direction & ~(READ | WRITE));
453 direction &= READ | WRITE;
454
Al Viro71d8e532014-03-05 19:28:09 -0500455 /* It will get better. Eventually... */
Al Virodb68ce12017-03-20 21:08:07 -0400456 if (uaccess_kernel()) {
David Howellsaa563d72018-10-20 00:57:56 +0100457 i->type = ITER_KVEC | direction;
Al Viroa2804552014-11-27 14:48:42 -0500458 i->kvec = (struct kvec *)iov;
459 } else {
David Howellsaa563d72018-10-20 00:57:56 +0100460 i->type = ITER_IOVEC | direction;
Al Viroa2804552014-11-27 14:48:42 -0500461 i->iov = iov;
462 }
Al Viro71d8e532014-03-05 19:28:09 -0500463 i->nr_segs = nr_segs;
464 i->iov_offset = 0;
465 i->count = count;
466}
467EXPORT_SYMBOL(iov_iter_init);
Al Viro7b2c99d2014-03-15 04:05:57 -0400468
Al Viro62a80672014-04-04 23:12:29 -0400469static void memcpy_from_page(char *to, struct page *page, size_t offset, size_t len)
470{
471 char *from = kmap_atomic(page);
472 memcpy(to, from + offset, len);
473 kunmap_atomic(from);
474}
475
Al Viro36f7a8a2015-12-06 16:49:22 -0500476static void memcpy_to_page(struct page *page, size_t offset, const char *from, size_t len)
Al Viro62a80672014-04-04 23:12:29 -0400477{
478 char *to = kmap_atomic(page);
479 memcpy(to + offset, from, len);
480 kunmap_atomic(to);
481}
482
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400483static void memzero_page(struct page *page, size_t offset, size_t len)
484{
485 char *addr = kmap_atomic(page);
486 memset(addr + offset, 0, len);
487 kunmap_atomic(addr);
488}
489
Al Viro241699c2016-09-22 16:33:12 -0400490static inline bool allocated(struct pipe_buffer *buf)
491{
492 return buf->ops == &default_pipe_buf_ops;
493}
494
David Howells8cefc102019-11-15 13:30:32 +0000495static inline void data_start(const struct iov_iter *i,
496 unsigned int *iter_headp, size_t *offp)
Al Viro241699c2016-09-22 16:33:12 -0400497{
David Howells8cefc102019-11-15 13:30:32 +0000498 unsigned int p_mask = i->pipe->ring_size - 1;
499 unsigned int iter_head = i->head;
Al Viro241699c2016-09-22 16:33:12 -0400500 size_t off = i->iov_offset;
David Howells8cefc102019-11-15 13:30:32 +0000501
502 if (off && (!allocated(&i->pipe->bufs[iter_head & p_mask]) ||
503 off == PAGE_SIZE)) {
504 iter_head++;
Al Viro241699c2016-09-22 16:33:12 -0400505 off = 0;
506 }
David Howells8cefc102019-11-15 13:30:32 +0000507 *iter_headp = iter_head;
Al Viro241699c2016-09-22 16:33:12 -0400508 *offp = off;
509}
510
511static size_t push_pipe(struct iov_iter *i, size_t size,
David Howells8cefc102019-11-15 13:30:32 +0000512 int *iter_headp, size_t *offp)
Al Viro241699c2016-09-22 16:33:12 -0400513{
514 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000515 unsigned int p_tail = pipe->tail;
516 unsigned int p_mask = pipe->ring_size - 1;
517 unsigned int iter_head;
Al Viro241699c2016-09-22 16:33:12 -0400518 size_t off;
Al Viro241699c2016-09-22 16:33:12 -0400519 ssize_t left;
520
521 if (unlikely(size > i->count))
522 size = i->count;
523 if (unlikely(!size))
524 return 0;
525
526 left = size;
David Howells8cefc102019-11-15 13:30:32 +0000527 data_start(i, &iter_head, &off);
528 *iter_headp = iter_head;
Al Viro241699c2016-09-22 16:33:12 -0400529 *offp = off;
530 if (off) {
531 left -= PAGE_SIZE - off;
532 if (left <= 0) {
David Howells8cefc102019-11-15 13:30:32 +0000533 pipe->bufs[iter_head & p_mask].len += size;
Al Viro241699c2016-09-22 16:33:12 -0400534 return size;
535 }
David Howells8cefc102019-11-15 13:30:32 +0000536 pipe->bufs[iter_head & p_mask].len = PAGE_SIZE;
537 iter_head++;
Al Viro241699c2016-09-22 16:33:12 -0400538 }
David Howells6718b6f2019-10-16 16:47:32 +0100539 while (!pipe_full(iter_head, p_tail, pipe->max_usage)) {
David Howells8cefc102019-11-15 13:30:32 +0000540 struct pipe_buffer *buf = &pipe->bufs[iter_head & p_mask];
Al Viro241699c2016-09-22 16:33:12 -0400541 struct page *page = alloc_page(GFP_USER);
542 if (!page)
543 break;
David Howells8cefc102019-11-15 13:30:32 +0000544
545 buf->ops = &default_pipe_buf_ops;
546 buf->page = page;
547 buf->offset = 0;
548 buf->len = min_t(ssize_t, left, PAGE_SIZE);
549 left -= buf->len;
550 iter_head++;
551 pipe->head = iter_head;
552
553 if (left == 0)
Al Viro241699c2016-09-22 16:33:12 -0400554 return size;
Al Viro241699c2016-09-22 16:33:12 -0400555 }
556 return size - left;
557}
558
559static size_t copy_pipe_to_iter(const void *addr, size_t bytes,
560 struct iov_iter *i)
561{
562 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000563 unsigned int p_mask = pipe->ring_size - 1;
564 unsigned int i_head;
Al Viro241699c2016-09-22 16:33:12 -0400565 size_t n, off;
Al Viro241699c2016-09-22 16:33:12 -0400566
567 if (!sanity(i))
568 return 0;
569
David Howells8cefc102019-11-15 13:30:32 +0000570 bytes = n = push_pipe(i, bytes, &i_head, &off);
Al Viro241699c2016-09-22 16:33:12 -0400571 if (unlikely(!n))
572 return 0;
David Howells8cefc102019-11-15 13:30:32 +0000573 do {
Al Viro241699c2016-09-22 16:33:12 -0400574 size_t chunk = min_t(size_t, n, PAGE_SIZE - off);
David Howells8cefc102019-11-15 13:30:32 +0000575 memcpy_to_page(pipe->bufs[i_head & p_mask].page, off, addr, chunk);
576 i->head = i_head;
Al Viro241699c2016-09-22 16:33:12 -0400577 i->iov_offset = off + chunk;
578 n -= chunk;
579 addr += chunk;
David Howells8cefc102019-11-15 13:30:32 +0000580 off = 0;
581 i_head++;
582 } while (n);
Al Viro241699c2016-09-22 16:33:12 -0400583 i->count -= bytes;
584 return bytes;
585}
586
Al Virof9152892018-11-27 22:32:59 -0500587static __wsum csum_and_memcpy(void *to, const void *from, size_t len,
588 __wsum sum, size_t off)
589{
Al Virocc44c172020-07-11 00:12:07 -0400590 __wsum next = csum_partial_copy_nocheck(from, to, len);
Al Virof9152892018-11-27 22:32:59 -0500591 return csum_block_add(sum, next, off);
592}
593
Al Viro78e1f382018-11-25 16:24:16 -0500594static size_t csum_and_copy_to_pipe_iter(const void *addr, size_t bytes,
Willem de Bruijn52cbd232021-02-03 14:29:52 -0500595 struct csum_state *csstate,
596 struct iov_iter *i)
Al Viro78e1f382018-11-25 16:24:16 -0500597{
598 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000599 unsigned int p_mask = pipe->ring_size - 1;
Willem de Bruijn52cbd232021-02-03 14:29:52 -0500600 __wsum sum = csstate->csum;
601 size_t off = csstate->off;
David Howells8cefc102019-11-15 13:30:32 +0000602 unsigned int i_head;
Al Viro78e1f382018-11-25 16:24:16 -0500603 size_t n, r;
Al Viro78e1f382018-11-25 16:24:16 -0500604
605 if (!sanity(i))
606 return 0;
607
David Howells8cefc102019-11-15 13:30:32 +0000608 bytes = n = push_pipe(i, bytes, &i_head, &r);
Al Viro78e1f382018-11-25 16:24:16 -0500609 if (unlikely(!n))
610 return 0;
David Howells8cefc102019-11-15 13:30:32 +0000611 do {
Al Viro78e1f382018-11-25 16:24:16 -0500612 size_t chunk = min_t(size_t, n, PAGE_SIZE - r);
David Howells8cefc102019-11-15 13:30:32 +0000613 char *p = kmap_atomic(pipe->bufs[i_head & p_mask].page);
Al Virof9152892018-11-27 22:32:59 -0500614 sum = csum_and_memcpy(p + r, addr, chunk, sum, off);
Al Viro78e1f382018-11-25 16:24:16 -0500615 kunmap_atomic(p);
David Howells8cefc102019-11-15 13:30:32 +0000616 i->head = i_head;
Al Viro78e1f382018-11-25 16:24:16 -0500617 i->iov_offset = r + chunk;
618 n -= chunk;
619 off += chunk;
620 addr += chunk;
David Howells8cefc102019-11-15 13:30:32 +0000621 r = 0;
622 i_head++;
623 } while (n);
Al Viro78e1f382018-11-25 16:24:16 -0500624 i->count -= bytes;
Willem de Bruijn52cbd232021-02-03 14:29:52 -0500625 csstate->csum = sum;
626 csstate->off = off;
Al Viro78e1f382018-11-25 16:24:16 -0500627 return bytes;
628}
629
Al Viroaa28de22017-06-29 21:45:10 -0400630size_t _copy_to_iter(const void *addr, size_t bytes, struct iov_iter *i)
Al Viro62a80672014-04-04 23:12:29 -0400631{
Al Viro36f7a8a2015-12-06 16:49:22 -0500632 const char *from = addr;
David Howells00e23702018-10-22 13:07:28 +0100633 if (unlikely(iov_iter_is_pipe(i)))
Al Viro241699c2016-09-22 16:33:12 -0400634 return copy_pipe_to_iter(addr, bytes, i);
Al Viro09fc68dc2017-06-29 22:25:14 -0400635 if (iter_is_iovec(i))
636 might_fault();
Al Viro3d4d3e42014-11-27 14:28:06 -0500637 iterate_and_advance(i, bytes, v,
Al Viro09fc68dc2017-06-29 22:25:14 -0400638 copyout(v.iov_base, (from += v.iov_len) - v.iov_len, v.iov_len),
Al Viro3d4d3e42014-11-27 14:28:06 -0500639 memcpy_to_page(v.bv_page, v.bv_offset,
Al Viroa2804552014-11-27 14:48:42 -0500640 (from += v.bv_len) - v.bv_len, v.bv_len),
641 memcpy(v.iov_base, (from += v.iov_len) - v.iov_len, v.iov_len)
Al Viro3d4d3e42014-11-27 14:28:06 -0500642 )
Al Viro62a80672014-04-04 23:12:29 -0400643
Al Viro3d4d3e42014-11-27 14:28:06 -0500644 return bytes;
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400645}
Al Viroaa28de22017-06-29 21:45:10 -0400646EXPORT_SYMBOL(_copy_to_iter);
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400647
Dan Williamsec6347b2020-10-05 20:40:16 -0700648#ifdef CONFIG_ARCH_HAS_COPY_MC
649static int copyout_mc(void __user *to, const void *from, size_t n)
Dan Williams87803562018-05-03 17:06:31 -0700650{
Linus Torvalds96d4f262019-01-03 18:57:57 -0800651 if (access_ok(to, n)) {
Marco Elverd0ef4c32020-01-21 17:05:11 +0100652 instrument_copy_to_user(to, from, n);
Dan Williamsec6347b2020-10-05 20:40:16 -0700653 n = copy_mc_to_user((__force void *) to, from, n);
Dan Williams87803562018-05-03 17:06:31 -0700654 }
655 return n;
656}
657
Dan Williamsec6347b2020-10-05 20:40:16 -0700658static unsigned long copy_mc_to_page(struct page *page, size_t offset,
Dan Williams87803562018-05-03 17:06:31 -0700659 const char *from, size_t len)
660{
661 unsigned long ret;
662 char *to;
663
664 to = kmap_atomic(page);
Dan Williamsec6347b2020-10-05 20:40:16 -0700665 ret = copy_mc_to_kernel(to + offset, from, len);
Dan Williams87803562018-05-03 17:06:31 -0700666 kunmap_atomic(to);
667
668 return ret;
669}
670
Dan Williamsec6347b2020-10-05 20:40:16 -0700671static size_t copy_mc_pipe_to_iter(const void *addr, size_t bytes,
Dan Williamsca146f62018-07-08 13:46:12 -0700672 struct iov_iter *i)
673{
674 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000675 unsigned int p_mask = pipe->ring_size - 1;
676 unsigned int i_head;
Dan Williamsca146f62018-07-08 13:46:12 -0700677 size_t n, off, xfer = 0;
Dan Williamsca146f62018-07-08 13:46:12 -0700678
679 if (!sanity(i))
680 return 0;
681
David Howells8cefc102019-11-15 13:30:32 +0000682 bytes = n = push_pipe(i, bytes, &i_head, &off);
Dan Williamsca146f62018-07-08 13:46:12 -0700683 if (unlikely(!n))
684 return 0;
David Howells8cefc102019-11-15 13:30:32 +0000685 do {
Dan Williamsca146f62018-07-08 13:46:12 -0700686 size_t chunk = min_t(size_t, n, PAGE_SIZE - off);
687 unsigned long rem;
688
Dan Williamsec6347b2020-10-05 20:40:16 -0700689 rem = copy_mc_to_page(pipe->bufs[i_head & p_mask].page,
David Howells8cefc102019-11-15 13:30:32 +0000690 off, addr, chunk);
691 i->head = i_head;
Dan Williamsca146f62018-07-08 13:46:12 -0700692 i->iov_offset = off + chunk - rem;
693 xfer += chunk - rem;
694 if (rem)
695 break;
696 n -= chunk;
697 addr += chunk;
David Howells8cefc102019-11-15 13:30:32 +0000698 off = 0;
699 i_head++;
700 } while (n);
Dan Williamsca146f62018-07-08 13:46:12 -0700701 i->count -= xfer;
702 return xfer;
703}
704
Dan Williamsbf3eeb92018-07-08 13:46:02 -0700705/**
Dan Williamsec6347b2020-10-05 20:40:16 -0700706 * _copy_mc_to_iter - copy to iter with source memory error exception handling
Dan Williamsbf3eeb92018-07-08 13:46:02 -0700707 * @addr: source kernel address
708 * @bytes: total transfer length
709 * @iter: destination iterator
710 *
Dan Williamsec6347b2020-10-05 20:40:16 -0700711 * The pmem driver deploys this for the dax operation
712 * (dax_copy_to_iter()) for dax reads (bypass page-cache and the
713 * block-layer). Upon #MC read(2) aborts and returns EIO or the bytes
714 * successfully copied.
Dan Williamsbf3eeb92018-07-08 13:46:02 -0700715 *
Dan Williamsec6347b2020-10-05 20:40:16 -0700716 * The main differences between this and typical _copy_to_iter().
Dan Williamsbf3eeb92018-07-08 13:46:02 -0700717 *
718 * * Typical tail/residue handling after a fault retries the copy
719 * byte-by-byte until the fault happens again. Re-triggering machine
720 * checks is potentially fatal so the implementation uses source
721 * alignment and poison alignment assumptions to avoid re-triggering
722 * hardware exceptions.
723 *
724 * * ITER_KVEC, ITER_PIPE, and ITER_BVEC can return short copies.
725 * Compare to copy_to_iter() where only ITER_IOVEC attempts might return
726 * a short copy.
Dan Williamsbf3eeb92018-07-08 13:46:02 -0700727 */
Dan Williamsec6347b2020-10-05 20:40:16 -0700728size_t _copy_mc_to_iter(const void *addr, size_t bytes, struct iov_iter *i)
Dan Williams87803562018-05-03 17:06:31 -0700729{
730 const char *from = addr;
731 unsigned long rem, curr_addr, s_addr = (unsigned long) addr;
732
David Howells00e23702018-10-22 13:07:28 +0100733 if (unlikely(iov_iter_is_pipe(i)))
Dan Williamsec6347b2020-10-05 20:40:16 -0700734 return copy_mc_pipe_to_iter(addr, bytes, i);
Dan Williams87803562018-05-03 17:06:31 -0700735 if (iter_is_iovec(i))
736 might_fault();
737 iterate_and_advance(i, bytes, v,
Dan Williamsec6347b2020-10-05 20:40:16 -0700738 copyout_mc(v.iov_base, (from += v.iov_len) - v.iov_len,
739 v.iov_len),
Dan Williams87803562018-05-03 17:06:31 -0700740 ({
Dan Williamsec6347b2020-10-05 20:40:16 -0700741 rem = copy_mc_to_page(v.bv_page, v.bv_offset,
742 (from += v.bv_len) - v.bv_len, v.bv_len);
Dan Williams87803562018-05-03 17:06:31 -0700743 if (rem) {
744 curr_addr = (unsigned long) from;
745 bytes = curr_addr - s_addr - rem;
746 return bytes;
747 }
748 }),
749 ({
Dan Williamsec6347b2020-10-05 20:40:16 -0700750 rem = copy_mc_to_kernel(v.iov_base, (from += v.iov_len)
751 - v.iov_len, v.iov_len);
Dan Williams87803562018-05-03 17:06:31 -0700752 if (rem) {
753 curr_addr = (unsigned long) from;
754 bytes = curr_addr - s_addr - rem;
755 return bytes;
756 }
757 })
758 )
759
760 return bytes;
761}
Dan Williamsec6347b2020-10-05 20:40:16 -0700762EXPORT_SYMBOL_GPL(_copy_mc_to_iter);
763#endif /* CONFIG_ARCH_HAS_COPY_MC */
Dan Williams87803562018-05-03 17:06:31 -0700764
Al Viroaa28de22017-06-29 21:45:10 -0400765size_t _copy_from_iter(void *addr, size_t bytes, struct iov_iter *i)
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400766{
Al Viro0dbca9a2014-11-27 14:26:43 -0500767 char *to = addr;
David Howells00e23702018-10-22 13:07:28 +0100768 if (unlikely(iov_iter_is_pipe(i))) {
Al Viro241699c2016-09-22 16:33:12 -0400769 WARN_ON(1);
770 return 0;
771 }
Al Viro09fc68dc2017-06-29 22:25:14 -0400772 if (iter_is_iovec(i))
773 might_fault();
Al Viro0dbca9a2014-11-27 14:26:43 -0500774 iterate_and_advance(i, bytes, v,
Al Viro09fc68dc2017-06-29 22:25:14 -0400775 copyin((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len),
Al Viro0dbca9a2014-11-27 14:26:43 -0500776 memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
Al Viroa2804552014-11-27 14:48:42 -0500777 v.bv_offset, v.bv_len),
778 memcpy((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
Al Viro0dbca9a2014-11-27 14:26:43 -0500779 )
780
781 return bytes;
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400782}
Al Viroaa28de22017-06-29 21:45:10 -0400783EXPORT_SYMBOL(_copy_from_iter);
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400784
Al Viroaa28de22017-06-29 21:45:10 -0400785bool _copy_from_iter_full(void *addr, size_t bytes, struct iov_iter *i)
Al Virocbbd26b2016-11-01 22:09:04 -0400786{
787 char *to = addr;
David Howells00e23702018-10-22 13:07:28 +0100788 if (unlikely(iov_iter_is_pipe(i))) {
Al Virocbbd26b2016-11-01 22:09:04 -0400789 WARN_ON(1);
790 return false;
791 }
Al Viro33844e62016-12-21 21:55:02 -0500792 if (unlikely(i->count < bytes))
Al Virocbbd26b2016-11-01 22:09:04 -0400793 return false;
794
Al Viro09fc68dc2017-06-29 22:25:14 -0400795 if (iter_is_iovec(i))
796 might_fault();
Al Virocbbd26b2016-11-01 22:09:04 -0400797 iterate_all_kinds(i, bytes, v, ({
Al Viro09fc68dc2017-06-29 22:25:14 -0400798 if (copyin((to += v.iov_len) - v.iov_len,
Al Virocbbd26b2016-11-01 22:09:04 -0400799 v.iov_base, v.iov_len))
800 return false;
801 0;}),
802 memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
803 v.bv_offset, v.bv_len),
804 memcpy((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
805 )
806
807 iov_iter_advance(i, bytes);
808 return true;
809}
Al Viroaa28de22017-06-29 21:45:10 -0400810EXPORT_SYMBOL(_copy_from_iter_full);
Al Virocbbd26b2016-11-01 22:09:04 -0400811
Al Viroaa28de22017-06-29 21:45:10 -0400812size_t _copy_from_iter_nocache(void *addr, size_t bytes, struct iov_iter *i)
Al Viroaa583092014-11-27 20:27:08 -0500813{
814 char *to = addr;
David Howells00e23702018-10-22 13:07:28 +0100815 if (unlikely(iov_iter_is_pipe(i))) {
Al Viro241699c2016-09-22 16:33:12 -0400816 WARN_ON(1);
817 return 0;
818 }
Al Viroaa583092014-11-27 20:27:08 -0500819 iterate_and_advance(i, bytes, v,
Al Viro3f763452017-03-25 18:47:28 -0400820 __copy_from_user_inatomic_nocache((to += v.iov_len) - v.iov_len,
Al Viroaa583092014-11-27 20:27:08 -0500821 v.iov_base, v.iov_len),
822 memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
823 v.bv_offset, v.bv_len),
824 memcpy((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
825 )
826
827 return bytes;
828}
Al Viroaa28de22017-06-29 21:45:10 -0400829EXPORT_SYMBOL(_copy_from_iter_nocache);
Al Viroaa583092014-11-27 20:27:08 -0500830
Dan Williams0aed55a2017-05-29 12:22:50 -0700831#ifdef CONFIG_ARCH_HAS_UACCESS_FLUSHCACHE
Dan Williamsabd08d72018-07-08 13:46:07 -0700832/**
833 * _copy_from_iter_flushcache - write destination through cpu cache
834 * @addr: destination kernel address
835 * @bytes: total transfer length
836 * @iter: source iterator
837 *
838 * The pmem driver arranges for filesystem-dax to use this facility via
839 * dax_copy_from_iter() for ensuring that writes to persistent memory
840 * are flushed through the CPU cache. It is differentiated from
841 * _copy_from_iter_nocache() in that guarantees all data is flushed for
842 * all iterator types. The _copy_from_iter_nocache() only attempts to
843 * bypass the cache for the ITER_IOVEC case, and on some archs may use
844 * instructions that strand dirty-data in the cache.
845 */
Linus Torvalds6a37e942017-07-07 20:39:20 -0700846size_t _copy_from_iter_flushcache(void *addr, size_t bytes, struct iov_iter *i)
Dan Williams0aed55a2017-05-29 12:22:50 -0700847{
848 char *to = addr;
David Howells00e23702018-10-22 13:07:28 +0100849 if (unlikely(iov_iter_is_pipe(i))) {
Dan Williams0aed55a2017-05-29 12:22:50 -0700850 WARN_ON(1);
851 return 0;
852 }
853 iterate_and_advance(i, bytes, v,
854 __copy_from_user_flushcache((to += v.iov_len) - v.iov_len,
855 v.iov_base, v.iov_len),
856 memcpy_page_flushcache((to += v.bv_len) - v.bv_len, v.bv_page,
857 v.bv_offset, v.bv_len),
858 memcpy_flushcache((to += v.iov_len) - v.iov_len, v.iov_base,
859 v.iov_len)
860 )
861
862 return bytes;
863}
Linus Torvalds6a37e942017-07-07 20:39:20 -0700864EXPORT_SYMBOL_GPL(_copy_from_iter_flushcache);
Dan Williams0aed55a2017-05-29 12:22:50 -0700865#endif
866
Al Viroaa28de22017-06-29 21:45:10 -0400867bool _copy_from_iter_full_nocache(void *addr, size_t bytes, struct iov_iter *i)
Al Virocbbd26b2016-11-01 22:09:04 -0400868{
869 char *to = addr;
David Howells00e23702018-10-22 13:07:28 +0100870 if (unlikely(iov_iter_is_pipe(i))) {
Al Virocbbd26b2016-11-01 22:09:04 -0400871 WARN_ON(1);
872 return false;
873 }
Al Viro33844e62016-12-21 21:55:02 -0500874 if (unlikely(i->count < bytes))
Al Virocbbd26b2016-11-01 22:09:04 -0400875 return false;
876 iterate_all_kinds(i, bytes, v, ({
Al Viro3f763452017-03-25 18:47:28 -0400877 if (__copy_from_user_inatomic_nocache((to += v.iov_len) - v.iov_len,
Al Virocbbd26b2016-11-01 22:09:04 -0400878 v.iov_base, v.iov_len))
879 return false;
880 0;}),
881 memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
882 v.bv_offset, v.bv_len),
883 memcpy((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
884 )
885
886 iov_iter_advance(i, bytes);
887 return true;
888}
Al Viroaa28de22017-06-29 21:45:10 -0400889EXPORT_SYMBOL(_copy_from_iter_full_nocache);
Al Virocbbd26b2016-11-01 22:09:04 -0400890
Al Viro72e809e2017-06-29 21:52:57 -0400891static inline bool page_copy_sane(struct page *page, size_t offset, size_t n)
892{
Eric Dumazet6daef952019-02-26 10:42:39 -0800893 struct page *head;
894 size_t v = n + offset;
895
896 /*
897 * The general case needs to access the page order in order
898 * to compute the page size.
899 * However, we mostly deal with order-0 pages and thus can
900 * avoid a possible cache line miss for requests that fit all
901 * page orders.
902 */
903 if (n <= v && v <= PAGE_SIZE)
904 return true;
905
906 head = compound_head(page);
907 v += (page - head) << PAGE_SHIFT;
Petar Penkova90bcb82017-08-29 11:20:32 -0700908
Matthew Wilcox (Oracle)a50b8542019-09-23 15:34:25 -0700909 if (likely(n <= v && v <= (page_size(head))))
Al Viro72e809e2017-06-29 21:52:57 -0400910 return true;
911 WARN_ON(1);
912 return false;
913}
Al Virod2715242014-11-27 14:22:37 -0500914
915size_t copy_page_to_iter(struct page *page, size_t offset, size_t bytes,
916 struct iov_iter *i)
917{
Al Viro72e809e2017-06-29 21:52:57 -0400918 if (unlikely(!page_copy_sane(page, offset, bytes)))
919 return 0;
Al Virod2715242014-11-27 14:22:37 -0500920 if (i->type & (ITER_BVEC|ITER_KVEC)) {
921 void *kaddr = kmap_atomic(page);
922 size_t wanted = copy_to_iter(kaddr + offset, bytes, i);
923 kunmap_atomic(kaddr);
924 return wanted;
David Howells9ea9ce02018-10-20 00:57:56 +0100925 } else if (unlikely(iov_iter_is_discard(i)))
926 return bytes;
927 else if (likely(!iov_iter_is_pipe(i)))
Al Virod2715242014-11-27 14:22:37 -0500928 return copy_page_to_iter_iovec(page, offset, bytes, i);
Al Viro241699c2016-09-22 16:33:12 -0400929 else
930 return copy_page_to_iter_pipe(page, offset, bytes, i);
Al Virod2715242014-11-27 14:22:37 -0500931}
932EXPORT_SYMBOL(copy_page_to_iter);
933
934size_t copy_page_from_iter(struct page *page, size_t offset, size_t bytes,
935 struct iov_iter *i)
936{
Al Viro72e809e2017-06-29 21:52:57 -0400937 if (unlikely(!page_copy_sane(page, offset, bytes)))
938 return 0;
David Howells9ea9ce02018-10-20 00:57:56 +0100939 if (unlikely(iov_iter_is_pipe(i) || iov_iter_is_discard(i))) {
Al Viro241699c2016-09-22 16:33:12 -0400940 WARN_ON(1);
941 return 0;
942 }
Al Virod2715242014-11-27 14:22:37 -0500943 if (i->type & (ITER_BVEC|ITER_KVEC)) {
944 void *kaddr = kmap_atomic(page);
Al Viroaa28de22017-06-29 21:45:10 -0400945 size_t wanted = _copy_from_iter(kaddr + offset, bytes, i);
Al Virod2715242014-11-27 14:22:37 -0500946 kunmap_atomic(kaddr);
947 return wanted;
948 } else
949 return copy_page_from_iter_iovec(page, offset, bytes, i);
950}
951EXPORT_SYMBOL(copy_page_from_iter);
952
Al Viro241699c2016-09-22 16:33:12 -0400953static size_t pipe_zero(size_t bytes, struct iov_iter *i)
954{
955 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000956 unsigned int p_mask = pipe->ring_size - 1;
957 unsigned int i_head;
Al Viro241699c2016-09-22 16:33:12 -0400958 size_t n, off;
Al Viro241699c2016-09-22 16:33:12 -0400959
960 if (!sanity(i))
961 return 0;
962
David Howells8cefc102019-11-15 13:30:32 +0000963 bytes = n = push_pipe(i, bytes, &i_head, &off);
Al Viro241699c2016-09-22 16:33:12 -0400964 if (unlikely(!n))
965 return 0;
966
David Howells8cefc102019-11-15 13:30:32 +0000967 do {
Al Viro241699c2016-09-22 16:33:12 -0400968 size_t chunk = min_t(size_t, n, PAGE_SIZE - off);
David Howells8cefc102019-11-15 13:30:32 +0000969 memzero_page(pipe->bufs[i_head & p_mask].page, off, chunk);
970 i->head = i_head;
Al Viro241699c2016-09-22 16:33:12 -0400971 i->iov_offset = off + chunk;
972 n -= chunk;
David Howells8cefc102019-11-15 13:30:32 +0000973 off = 0;
974 i_head++;
975 } while (n);
Al Viro241699c2016-09-22 16:33:12 -0400976 i->count -= bytes;
977 return bytes;
978}
979
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400980size_t iov_iter_zero(size_t bytes, struct iov_iter *i)
981{
David Howells00e23702018-10-22 13:07:28 +0100982 if (unlikely(iov_iter_is_pipe(i)))
Al Viro241699c2016-09-22 16:33:12 -0400983 return pipe_zero(bytes, i);
Al Viro8442fa42014-11-27 14:18:54 -0500984 iterate_and_advance(i, bytes, v,
Al Viro09fc68dc2017-06-29 22:25:14 -0400985 clear_user(v.iov_base, v.iov_len),
Al Viroa2804552014-11-27 14:48:42 -0500986 memzero_page(v.bv_page, v.bv_offset, v.bv_len),
987 memset(v.iov_base, 0, v.iov_len)
Al Viro8442fa42014-11-27 14:18:54 -0500988 )
989
990 return bytes;
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400991}
992EXPORT_SYMBOL(iov_iter_zero);
993
Al Viro62a80672014-04-04 23:12:29 -0400994size_t iov_iter_copy_from_user_atomic(struct page *page,
995 struct iov_iter *i, unsigned long offset, size_t bytes)
996{
Al Viro04a31162014-11-27 13:51:41 -0500997 char *kaddr = kmap_atomic(page), *p = kaddr + offset;
Al Viro72e809e2017-06-29 21:52:57 -0400998 if (unlikely(!page_copy_sane(page, offset, bytes))) {
999 kunmap_atomic(kaddr);
1000 return 0;
1001 }
David Howells9ea9ce02018-10-20 00:57:56 +01001002 if (unlikely(iov_iter_is_pipe(i) || iov_iter_is_discard(i))) {
Al Viro241699c2016-09-22 16:33:12 -04001003 kunmap_atomic(kaddr);
1004 WARN_ON(1);
1005 return 0;
1006 }
Al Viro04a31162014-11-27 13:51:41 -05001007 iterate_all_kinds(i, bytes, v,
Al Viro09fc68dc2017-06-29 22:25:14 -04001008 copyin((p += v.iov_len) - v.iov_len, v.iov_base, v.iov_len),
Al Viro04a31162014-11-27 13:51:41 -05001009 memcpy_from_page((p += v.bv_len) - v.bv_len, v.bv_page,
Al Viroa2804552014-11-27 14:48:42 -05001010 v.bv_offset, v.bv_len),
1011 memcpy((p += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
Al Viro04a31162014-11-27 13:51:41 -05001012 )
1013 kunmap_atomic(kaddr);
1014 return bytes;
Al Viro62a80672014-04-04 23:12:29 -04001015}
1016EXPORT_SYMBOL(iov_iter_copy_from_user_atomic);
1017
Al Virob9dc6f62017-01-14 19:33:08 -05001018static inline void pipe_truncate(struct iov_iter *i)
Al Viro241699c2016-09-22 16:33:12 -04001019{
1020 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +00001021 unsigned int p_tail = pipe->tail;
1022 unsigned int p_head = pipe->head;
1023 unsigned int p_mask = pipe->ring_size - 1;
1024
1025 if (!pipe_empty(p_head, p_tail)) {
1026 struct pipe_buffer *buf;
1027 unsigned int i_head = i->head;
Al Virob9dc6f62017-01-14 19:33:08 -05001028 size_t off = i->iov_offset;
David Howells8cefc102019-11-15 13:30:32 +00001029
Al Virob9dc6f62017-01-14 19:33:08 -05001030 if (off) {
David Howells8cefc102019-11-15 13:30:32 +00001031 buf = &pipe->bufs[i_head & p_mask];
1032 buf->len = off - buf->offset;
1033 i_head++;
Al Virob9dc6f62017-01-14 19:33:08 -05001034 }
David Howells8cefc102019-11-15 13:30:32 +00001035 while (p_head != i_head) {
1036 p_head--;
1037 pipe_buf_release(pipe, &pipe->bufs[p_head & p_mask]);
Al Viro241699c2016-09-22 16:33:12 -04001038 }
David Howells8cefc102019-11-15 13:30:32 +00001039
1040 pipe->head = p_head;
Al Viro241699c2016-09-22 16:33:12 -04001041 }
Al Virob9dc6f62017-01-14 19:33:08 -05001042}
1043
1044static void pipe_advance(struct iov_iter *i, size_t size)
1045{
1046 struct pipe_inode_info *pipe = i->pipe;
1047 if (unlikely(i->count < size))
1048 size = i->count;
1049 if (size) {
1050 struct pipe_buffer *buf;
David Howells8cefc102019-11-15 13:30:32 +00001051 unsigned int p_mask = pipe->ring_size - 1;
1052 unsigned int i_head = i->head;
Al Virob9dc6f62017-01-14 19:33:08 -05001053 size_t off = i->iov_offset, left = size;
David Howells8cefc102019-11-15 13:30:32 +00001054
Al Virob9dc6f62017-01-14 19:33:08 -05001055 if (off) /* make it relative to the beginning of buffer */
David Howells8cefc102019-11-15 13:30:32 +00001056 left += off - pipe->bufs[i_head & p_mask].offset;
Al Virob9dc6f62017-01-14 19:33:08 -05001057 while (1) {
David Howells8cefc102019-11-15 13:30:32 +00001058 buf = &pipe->bufs[i_head & p_mask];
Al Virob9dc6f62017-01-14 19:33:08 -05001059 if (left <= buf->len)
1060 break;
1061 left -= buf->len;
David Howells8cefc102019-11-15 13:30:32 +00001062 i_head++;
Al Virob9dc6f62017-01-14 19:33:08 -05001063 }
David Howells8cefc102019-11-15 13:30:32 +00001064 i->head = i_head;
Al Virob9dc6f62017-01-14 19:33:08 -05001065 i->iov_offset = buf->offset + left;
1066 }
1067 i->count -= size;
1068 /* ... and discard everything past that point */
1069 pipe_truncate(i);
Al Viro241699c2016-09-22 16:33:12 -04001070}
1071
Al Viro62a80672014-04-04 23:12:29 -04001072void iov_iter_advance(struct iov_iter *i, size_t size)
1073{
David Howells00e23702018-10-22 13:07:28 +01001074 if (unlikely(iov_iter_is_pipe(i))) {
Al Viro241699c2016-09-22 16:33:12 -04001075 pipe_advance(i, size);
1076 return;
1077 }
David Howells9ea9ce02018-10-20 00:57:56 +01001078 if (unlikely(iov_iter_is_discard(i))) {
1079 i->count -= size;
1080 return;
1081 }
Al Viroa2804552014-11-27 14:48:42 -05001082 iterate_and_advance(i, size, v, 0, 0, 0)
Al Viro62a80672014-04-04 23:12:29 -04001083}
1084EXPORT_SYMBOL(iov_iter_advance);
1085
Al Viro27c0e372017-02-17 18:42:24 -05001086void iov_iter_revert(struct iov_iter *i, size_t unroll)
1087{
1088 if (!unroll)
1089 return;
Al Viro5b47d592017-05-08 13:54:47 -04001090 if (WARN_ON(unroll > MAX_RW_COUNT))
1091 return;
Al Viro27c0e372017-02-17 18:42:24 -05001092 i->count += unroll;
David Howells00e23702018-10-22 13:07:28 +01001093 if (unlikely(iov_iter_is_pipe(i))) {
Al Viro27c0e372017-02-17 18:42:24 -05001094 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +00001095 unsigned int p_mask = pipe->ring_size - 1;
1096 unsigned int i_head = i->head;
Al Viro27c0e372017-02-17 18:42:24 -05001097 size_t off = i->iov_offset;
1098 while (1) {
David Howells8cefc102019-11-15 13:30:32 +00001099 struct pipe_buffer *b = &pipe->bufs[i_head & p_mask];
1100 size_t n = off - b->offset;
Al Viro27c0e372017-02-17 18:42:24 -05001101 if (unroll < n) {
Al Viro4fa55ce2017-04-29 16:42:30 -04001102 off -= unroll;
Al Viro27c0e372017-02-17 18:42:24 -05001103 break;
1104 }
1105 unroll -= n;
David Howells8cefc102019-11-15 13:30:32 +00001106 if (!unroll && i_head == i->start_head) {
Al Viro27c0e372017-02-17 18:42:24 -05001107 off = 0;
1108 break;
1109 }
David Howells8cefc102019-11-15 13:30:32 +00001110 i_head--;
1111 b = &pipe->bufs[i_head & p_mask];
1112 off = b->offset + b->len;
Al Viro27c0e372017-02-17 18:42:24 -05001113 }
1114 i->iov_offset = off;
David Howells8cefc102019-11-15 13:30:32 +00001115 i->head = i_head;
Al Viro27c0e372017-02-17 18:42:24 -05001116 pipe_truncate(i);
1117 return;
1118 }
David Howells9ea9ce02018-10-20 00:57:56 +01001119 if (unlikely(iov_iter_is_discard(i)))
1120 return;
Al Viro27c0e372017-02-17 18:42:24 -05001121 if (unroll <= i->iov_offset) {
1122 i->iov_offset -= unroll;
1123 return;
1124 }
1125 unroll -= i->iov_offset;
David Howells00e23702018-10-22 13:07:28 +01001126 if (iov_iter_is_bvec(i)) {
Al Viro27c0e372017-02-17 18:42:24 -05001127 const struct bio_vec *bvec = i->bvec;
1128 while (1) {
1129 size_t n = (--bvec)->bv_len;
1130 i->nr_segs++;
1131 if (unroll <= n) {
1132 i->bvec = bvec;
1133 i->iov_offset = n - unroll;
1134 return;
1135 }
1136 unroll -= n;
1137 }
1138 } else { /* same logics for iovec and kvec */
1139 const struct iovec *iov = i->iov;
1140 while (1) {
1141 size_t n = (--iov)->iov_len;
1142 i->nr_segs++;
1143 if (unroll <= n) {
1144 i->iov = iov;
1145 i->iov_offset = n - unroll;
1146 return;
1147 }
1148 unroll -= n;
1149 }
1150 }
1151}
1152EXPORT_SYMBOL(iov_iter_revert);
1153
Al Viro62a80672014-04-04 23:12:29 -04001154/*
1155 * Return the count of just the current iov_iter segment.
1156 */
1157size_t iov_iter_single_seg_count(const struct iov_iter *i)
1158{
David Howells00e23702018-10-22 13:07:28 +01001159 if (unlikely(iov_iter_is_pipe(i)))
Al Viro241699c2016-09-22 16:33:12 -04001160 return i->count; // it is a silly place, anyway
Al Viro62a80672014-04-04 23:12:29 -04001161 if (i->nr_segs == 1)
1162 return i->count;
David Howells9ea9ce02018-10-20 00:57:56 +01001163 if (unlikely(iov_iter_is_discard(i)))
1164 return i->count;
David Howells00e23702018-10-22 13:07:28 +01001165 else if (iov_iter_is_bvec(i))
Al Viro62a80672014-04-04 23:12:29 -04001166 return min(i->count, i->bvec->bv_len - i->iov_offset);
Paul Mackerrasad0eab92014-11-13 20:15:23 +11001167 else
1168 return min(i->count, i->iov->iov_len - i->iov_offset);
Al Viro62a80672014-04-04 23:12:29 -04001169}
1170EXPORT_SYMBOL(iov_iter_single_seg_count);
1171
David Howellsaa563d72018-10-20 00:57:56 +01001172void iov_iter_kvec(struct iov_iter *i, unsigned int direction,
Al Viro05afcb72015-01-23 01:08:07 -05001173 const struct kvec *kvec, unsigned long nr_segs,
Al Viroabb78f82014-11-24 14:46:11 -05001174 size_t count)
1175{
David Howellsaa563d72018-10-20 00:57:56 +01001176 WARN_ON(direction & ~(READ | WRITE));
1177 i->type = ITER_KVEC | (direction & (READ | WRITE));
Al Viro05afcb72015-01-23 01:08:07 -05001178 i->kvec = kvec;
Al Viroabb78f82014-11-24 14:46:11 -05001179 i->nr_segs = nr_segs;
1180 i->iov_offset = 0;
1181 i->count = count;
1182}
1183EXPORT_SYMBOL(iov_iter_kvec);
1184
David Howellsaa563d72018-10-20 00:57:56 +01001185void iov_iter_bvec(struct iov_iter *i, unsigned int direction,
Al Viro05afcb72015-01-23 01:08:07 -05001186 const struct bio_vec *bvec, unsigned long nr_segs,
1187 size_t count)
1188{
David Howellsaa563d72018-10-20 00:57:56 +01001189 WARN_ON(direction & ~(READ | WRITE));
1190 i->type = ITER_BVEC | (direction & (READ | WRITE));
Al Viro05afcb72015-01-23 01:08:07 -05001191 i->bvec = bvec;
1192 i->nr_segs = nr_segs;
1193 i->iov_offset = 0;
1194 i->count = count;
1195}
1196EXPORT_SYMBOL(iov_iter_bvec);
1197
David Howellsaa563d72018-10-20 00:57:56 +01001198void iov_iter_pipe(struct iov_iter *i, unsigned int direction,
Al Viro241699c2016-09-22 16:33:12 -04001199 struct pipe_inode_info *pipe,
1200 size_t count)
1201{
David Howellsaa563d72018-10-20 00:57:56 +01001202 BUG_ON(direction != READ);
David Howells8cefc102019-11-15 13:30:32 +00001203 WARN_ON(pipe_full(pipe->head, pipe->tail, pipe->ring_size));
David Howellsaa563d72018-10-20 00:57:56 +01001204 i->type = ITER_PIPE | READ;
Al Viro241699c2016-09-22 16:33:12 -04001205 i->pipe = pipe;
David Howells8cefc102019-11-15 13:30:32 +00001206 i->head = pipe->head;
Al Viro241699c2016-09-22 16:33:12 -04001207 i->iov_offset = 0;
1208 i->count = count;
David Howells8cefc102019-11-15 13:30:32 +00001209 i->start_head = i->head;
Al Viro241699c2016-09-22 16:33:12 -04001210}
1211EXPORT_SYMBOL(iov_iter_pipe);
1212
David Howells9ea9ce02018-10-20 00:57:56 +01001213/**
1214 * iov_iter_discard - Initialise an I/O iterator that discards data
1215 * @i: The iterator to initialise.
1216 * @direction: The direction of the transfer.
1217 * @count: The size of the I/O buffer in bytes.
1218 *
1219 * Set up an I/O iterator that just discards everything that's written to it.
1220 * It's only available as a READ iterator.
1221 */
1222void iov_iter_discard(struct iov_iter *i, unsigned int direction, size_t count)
1223{
1224 BUG_ON(direction != READ);
1225 i->type = ITER_DISCARD | READ;
1226 i->count = count;
1227 i->iov_offset = 0;
1228}
1229EXPORT_SYMBOL(iov_iter_discard);
1230
Al Viro62a80672014-04-04 23:12:29 -04001231unsigned long iov_iter_alignment(const struct iov_iter *i)
1232{
Al Viro04a31162014-11-27 13:51:41 -05001233 unsigned long res = 0;
1234 size_t size = i->count;
1235
David Howells00e23702018-10-22 13:07:28 +01001236 if (unlikely(iov_iter_is_pipe(i))) {
Jan Karae0ff1262019-12-16 11:54:32 +01001237 unsigned int p_mask = i->pipe->ring_size - 1;
1238
David Howells8cefc102019-11-15 13:30:32 +00001239 if (size && i->iov_offset && allocated(&i->pipe->bufs[i->head & p_mask]))
Al Viro241699c2016-09-22 16:33:12 -04001240 return size | i->iov_offset;
1241 return size;
1242 }
Al Viro04a31162014-11-27 13:51:41 -05001243 iterate_all_kinds(i, size, v,
1244 (res |= (unsigned long)v.iov_base | v.iov_len, 0),
Al Viroa2804552014-11-27 14:48:42 -05001245 res |= v.bv_offset | v.bv_len,
1246 res |= (unsigned long)v.iov_base | v.iov_len
Al Viro04a31162014-11-27 13:51:41 -05001247 )
1248 return res;
Al Viro62a80672014-04-04 23:12:29 -04001249}
1250EXPORT_SYMBOL(iov_iter_alignment);
1251
Al Viro357f4352016-04-08 19:05:19 -04001252unsigned long iov_iter_gap_alignment(const struct iov_iter *i)
1253{
Al Viro33844e62016-12-21 21:55:02 -05001254 unsigned long res = 0;
Al Viro357f4352016-04-08 19:05:19 -04001255 size_t size = i->count;
Al Viro357f4352016-04-08 19:05:19 -04001256
David Howells9ea9ce02018-10-20 00:57:56 +01001257 if (unlikely(iov_iter_is_pipe(i) || iov_iter_is_discard(i))) {
Al Viro241699c2016-09-22 16:33:12 -04001258 WARN_ON(1);
1259 return ~0U;
1260 }
1261
Al Viro357f4352016-04-08 19:05:19 -04001262 iterate_all_kinds(i, size, v,
1263 (res |= (!res ? 0 : (unsigned long)v.iov_base) |
1264 (size != v.iov_len ? size : 0), 0),
1265 (res |= (!res ? 0 : (unsigned long)v.bv_offset) |
1266 (size != v.bv_len ? size : 0)),
1267 (res |= (!res ? 0 : (unsigned long)v.iov_base) |
1268 (size != v.iov_len ? size : 0))
1269 );
Al Viro33844e62016-12-21 21:55:02 -05001270 return res;
Al Viro357f4352016-04-08 19:05:19 -04001271}
1272EXPORT_SYMBOL(iov_iter_gap_alignment);
1273
Ilya Dryomove76b63122018-05-02 20:16:56 +02001274static inline ssize_t __pipe_get_pages(struct iov_iter *i,
Al Viro241699c2016-09-22 16:33:12 -04001275 size_t maxsize,
1276 struct page **pages,
David Howells8cefc102019-11-15 13:30:32 +00001277 int iter_head,
Al Viro241699c2016-09-22 16:33:12 -04001278 size_t *start)
1279{
1280 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +00001281 unsigned int p_mask = pipe->ring_size - 1;
1282 ssize_t n = push_pipe(i, maxsize, &iter_head, start);
Al Viro241699c2016-09-22 16:33:12 -04001283 if (!n)
1284 return -EFAULT;
1285
1286 maxsize = n;
1287 n += *start;
Al Viro1689c732016-10-11 18:21:14 +01001288 while (n > 0) {
David Howells8cefc102019-11-15 13:30:32 +00001289 get_page(*pages++ = pipe->bufs[iter_head & p_mask].page);
1290 iter_head++;
Al Viro241699c2016-09-22 16:33:12 -04001291 n -= PAGE_SIZE;
1292 }
1293
1294 return maxsize;
1295}
1296
1297static ssize_t pipe_get_pages(struct iov_iter *i,
1298 struct page **pages, size_t maxsize, unsigned maxpages,
1299 size_t *start)
1300{
David Howells8cefc102019-11-15 13:30:32 +00001301 unsigned int iter_head, npages;
Al Viro241699c2016-09-22 16:33:12 -04001302 size_t capacity;
Al Viro241699c2016-09-22 16:33:12 -04001303
Al Viro33844e62016-12-21 21:55:02 -05001304 if (!maxsize)
1305 return 0;
1306
Al Viro241699c2016-09-22 16:33:12 -04001307 if (!sanity(i))
1308 return -EFAULT;
1309
David Howells8cefc102019-11-15 13:30:32 +00001310 data_start(i, &iter_head, start);
1311 /* Amount of free space: some of this one + all after this one */
1312 npages = pipe_space_for_user(iter_head, i->pipe->tail, i->pipe);
1313 capacity = min(npages, maxpages) * PAGE_SIZE - *start;
Al Viro241699c2016-09-22 16:33:12 -04001314
David Howells8cefc102019-11-15 13:30:32 +00001315 return __pipe_get_pages(i, min(maxsize, capacity), pages, iter_head, start);
Al Viro241699c2016-09-22 16:33:12 -04001316}
1317
Al Viro62a80672014-04-04 23:12:29 -04001318ssize_t iov_iter_get_pages(struct iov_iter *i,
Miklos Szeredi2c809292014-09-24 17:09:11 +02001319 struct page **pages, size_t maxsize, unsigned maxpages,
Al Viro62a80672014-04-04 23:12:29 -04001320 size_t *start)
1321{
Al Viroe5393fa2014-11-27 14:12:09 -05001322 if (maxsize > i->count)
1323 maxsize = i->count;
1324
David Howells00e23702018-10-22 13:07:28 +01001325 if (unlikely(iov_iter_is_pipe(i)))
Al Viro241699c2016-09-22 16:33:12 -04001326 return pipe_get_pages(i, pages, maxsize, maxpages, start);
David Howells9ea9ce02018-10-20 00:57:56 +01001327 if (unlikely(iov_iter_is_discard(i)))
1328 return -EFAULT;
1329
Al Viroe5393fa2014-11-27 14:12:09 -05001330 iterate_all_kinds(i, maxsize, v, ({
1331 unsigned long addr = (unsigned long)v.iov_base;
1332 size_t len = v.iov_len + (*start = addr & (PAGE_SIZE - 1));
1333 int n;
1334 int res;
1335
1336 if (len > maxpages * PAGE_SIZE)
1337 len = maxpages * PAGE_SIZE;
1338 addr &= ~(PAGE_SIZE - 1);
1339 n = DIV_ROUND_UP(len, PAGE_SIZE);
Ira Weiny73b01402019-05-13 17:17:11 -07001340 res = get_user_pages_fast(addr, n,
1341 iov_iter_rw(i) != WRITE ? FOLL_WRITE : 0,
1342 pages);
Al Viroe5393fa2014-11-27 14:12:09 -05001343 if (unlikely(res < 0))
1344 return res;
1345 return (res == n ? len : res * PAGE_SIZE) - *start;
1346 0;}),({
1347 /* can't be more than PAGE_SIZE */
1348 *start = v.bv_offset;
1349 get_page(*pages = v.bv_page);
1350 return v.bv_len;
Al Viroa2804552014-11-27 14:48:42 -05001351 }),({
1352 return -EFAULT;
Al Viroe5393fa2014-11-27 14:12:09 -05001353 })
1354 )
1355 return 0;
Al Viro62a80672014-04-04 23:12:29 -04001356}
1357EXPORT_SYMBOL(iov_iter_get_pages);
1358
Al Viro1b17f1f2014-11-27 14:14:31 -05001359static struct page **get_pages_array(size_t n)
1360{
Michal Hocko752ade62017-05-08 15:57:27 -07001361 return kvmalloc_array(n, sizeof(struct page *), GFP_KERNEL);
Al Viro1b17f1f2014-11-27 14:14:31 -05001362}
1363
Al Viro241699c2016-09-22 16:33:12 -04001364static ssize_t pipe_get_pages_alloc(struct iov_iter *i,
1365 struct page ***pages, size_t maxsize,
1366 size_t *start)
1367{
1368 struct page **p;
David Howells8cefc102019-11-15 13:30:32 +00001369 unsigned int iter_head, npages;
Ilya Dryomovd7760d62018-05-02 20:16:57 +02001370 ssize_t n;
Al Viro241699c2016-09-22 16:33:12 -04001371
Al Viro33844e62016-12-21 21:55:02 -05001372 if (!maxsize)
1373 return 0;
1374
Al Viro241699c2016-09-22 16:33:12 -04001375 if (!sanity(i))
1376 return -EFAULT;
1377
David Howells8cefc102019-11-15 13:30:32 +00001378 data_start(i, &iter_head, start);
1379 /* Amount of free space: some of this one + all after this one */
1380 npages = pipe_space_for_user(iter_head, i->pipe->tail, i->pipe);
Al Viro241699c2016-09-22 16:33:12 -04001381 n = npages * PAGE_SIZE - *start;
1382 if (maxsize > n)
1383 maxsize = n;
1384 else
1385 npages = DIV_ROUND_UP(maxsize + *start, PAGE_SIZE);
1386 p = get_pages_array(npages);
1387 if (!p)
1388 return -ENOMEM;
David Howells8cefc102019-11-15 13:30:32 +00001389 n = __pipe_get_pages(i, maxsize, p, iter_head, start);
Al Viro241699c2016-09-22 16:33:12 -04001390 if (n > 0)
1391 *pages = p;
1392 else
1393 kvfree(p);
1394 return n;
1395}
1396
Al Viro62a80672014-04-04 23:12:29 -04001397ssize_t iov_iter_get_pages_alloc(struct iov_iter *i,
1398 struct page ***pages, size_t maxsize,
1399 size_t *start)
1400{
Al Viro1b17f1f2014-11-27 14:14:31 -05001401 struct page **p;
1402
1403 if (maxsize > i->count)
1404 maxsize = i->count;
1405
David Howells00e23702018-10-22 13:07:28 +01001406 if (unlikely(iov_iter_is_pipe(i)))
Al Viro241699c2016-09-22 16:33:12 -04001407 return pipe_get_pages_alloc(i, pages, maxsize, start);
David Howells9ea9ce02018-10-20 00:57:56 +01001408 if (unlikely(iov_iter_is_discard(i)))
1409 return -EFAULT;
1410
Al Viro1b17f1f2014-11-27 14:14:31 -05001411 iterate_all_kinds(i, maxsize, v, ({
1412 unsigned long addr = (unsigned long)v.iov_base;
1413 size_t len = v.iov_len + (*start = addr & (PAGE_SIZE - 1));
1414 int n;
1415 int res;
1416
1417 addr &= ~(PAGE_SIZE - 1);
1418 n = DIV_ROUND_UP(len, PAGE_SIZE);
1419 p = get_pages_array(n);
1420 if (!p)
1421 return -ENOMEM;
Ira Weiny73b01402019-05-13 17:17:11 -07001422 res = get_user_pages_fast(addr, n,
1423 iov_iter_rw(i) != WRITE ? FOLL_WRITE : 0, p);
Al Viro1b17f1f2014-11-27 14:14:31 -05001424 if (unlikely(res < 0)) {
1425 kvfree(p);
1426 return res;
1427 }
1428 *pages = p;
1429 return (res == n ? len : res * PAGE_SIZE) - *start;
1430 0;}),({
1431 /* can't be more than PAGE_SIZE */
1432 *start = v.bv_offset;
1433 *pages = p = get_pages_array(1);
1434 if (!p)
1435 return -ENOMEM;
1436 get_page(*p = v.bv_page);
1437 return v.bv_len;
Al Viroa2804552014-11-27 14:48:42 -05001438 }),({
1439 return -EFAULT;
Al Viro1b17f1f2014-11-27 14:14:31 -05001440 })
1441 )
1442 return 0;
Al Viro62a80672014-04-04 23:12:29 -04001443}
1444EXPORT_SYMBOL(iov_iter_get_pages_alloc);
1445
Al Viroa604ec72014-11-24 01:08:00 -05001446size_t csum_and_copy_from_iter(void *addr, size_t bytes, __wsum *csum,
1447 struct iov_iter *i)
1448{
1449 char *to = addr;
1450 __wsum sum, next;
1451 size_t off = 0;
Al Viroa604ec72014-11-24 01:08:00 -05001452 sum = *csum;
David Howells9ea9ce02018-10-20 00:57:56 +01001453 if (unlikely(iov_iter_is_pipe(i) || iov_iter_is_discard(i))) {
Al Viro241699c2016-09-22 16:33:12 -04001454 WARN_ON(1);
1455 return 0;
1456 }
Al Viroa604ec72014-11-24 01:08:00 -05001457 iterate_and_advance(i, bytes, v, ({
Al Virocbbd26b2016-11-01 22:09:04 -04001458 next = csum_and_copy_from_user(v.iov_base,
Al Viroa604ec72014-11-24 01:08:00 -05001459 (to += v.iov_len) - v.iov_len,
Al Viroc693cc42020-07-11 00:27:49 -04001460 v.iov_len);
1461 if (next) {
Al Viroa604ec72014-11-24 01:08:00 -05001462 sum = csum_block_add(sum, next, off);
1463 off += v.iov_len;
1464 }
Al Viroc693cc42020-07-11 00:27:49 -04001465 next ? 0 : v.iov_len;
Al Viroa604ec72014-11-24 01:08:00 -05001466 }), ({
1467 char *p = kmap_atomic(v.bv_page);
Al Virof9152892018-11-27 22:32:59 -05001468 sum = csum_and_memcpy((to += v.bv_len) - v.bv_len,
1469 p + v.bv_offset, v.bv_len,
1470 sum, off);
Al Viroa604ec72014-11-24 01:08:00 -05001471 kunmap_atomic(p);
Al Viroa604ec72014-11-24 01:08:00 -05001472 off += v.bv_len;
1473 }),({
Al Virof9152892018-11-27 22:32:59 -05001474 sum = csum_and_memcpy((to += v.iov_len) - v.iov_len,
1475 v.iov_base, v.iov_len,
1476 sum, off);
Al Viroa604ec72014-11-24 01:08:00 -05001477 off += v.iov_len;
1478 })
1479 )
1480 *csum = sum;
1481 return bytes;
1482}
1483EXPORT_SYMBOL(csum_and_copy_from_iter);
1484
Al Virocbbd26b2016-11-01 22:09:04 -04001485bool csum_and_copy_from_iter_full(void *addr, size_t bytes, __wsum *csum,
1486 struct iov_iter *i)
1487{
1488 char *to = addr;
1489 __wsum sum, next;
1490 size_t off = 0;
1491 sum = *csum;
David Howells9ea9ce02018-10-20 00:57:56 +01001492 if (unlikely(iov_iter_is_pipe(i) || iov_iter_is_discard(i))) {
Al Virocbbd26b2016-11-01 22:09:04 -04001493 WARN_ON(1);
1494 return false;
1495 }
1496 if (unlikely(i->count < bytes))
1497 return false;
1498 iterate_all_kinds(i, bytes, v, ({
Al Virocbbd26b2016-11-01 22:09:04 -04001499 next = csum_and_copy_from_user(v.iov_base,
1500 (to += v.iov_len) - v.iov_len,
Al Viroc693cc42020-07-11 00:27:49 -04001501 v.iov_len);
1502 if (!next)
Al Virocbbd26b2016-11-01 22:09:04 -04001503 return false;
1504 sum = csum_block_add(sum, next, off);
1505 off += v.iov_len;
1506 0;
1507 }), ({
1508 char *p = kmap_atomic(v.bv_page);
Al Virof9152892018-11-27 22:32:59 -05001509 sum = csum_and_memcpy((to += v.bv_len) - v.bv_len,
1510 p + v.bv_offset, v.bv_len,
1511 sum, off);
Al Virocbbd26b2016-11-01 22:09:04 -04001512 kunmap_atomic(p);
Al Virocbbd26b2016-11-01 22:09:04 -04001513 off += v.bv_len;
1514 }),({
Al Virof9152892018-11-27 22:32:59 -05001515 sum = csum_and_memcpy((to += v.iov_len) - v.iov_len,
1516 v.iov_base, v.iov_len,
1517 sum, off);
Al Virocbbd26b2016-11-01 22:09:04 -04001518 off += v.iov_len;
1519 })
1520 )
1521 *csum = sum;
1522 iov_iter_advance(i, bytes);
1523 return true;
1524}
1525EXPORT_SYMBOL(csum_and_copy_from_iter_full);
1526
Willem de Bruijn52cbd232021-02-03 14:29:52 -05001527size_t csum_and_copy_to_iter(const void *addr, size_t bytes, void *_csstate,
Al Viroa604ec72014-11-24 01:08:00 -05001528 struct iov_iter *i)
1529{
Willem de Bruijn52cbd232021-02-03 14:29:52 -05001530 struct csum_state *csstate = _csstate;
Al Viro36f7a8a2015-12-06 16:49:22 -05001531 const char *from = addr;
Al Viroa604ec72014-11-24 01:08:00 -05001532 __wsum sum, next;
Willem de Bruijn52cbd232021-02-03 14:29:52 -05001533 size_t off;
Al Viro78e1f382018-11-25 16:24:16 -05001534
1535 if (unlikely(iov_iter_is_pipe(i)))
Willem de Bruijn52cbd232021-02-03 14:29:52 -05001536 return csum_and_copy_to_pipe_iter(addr, bytes, _csstate, i);
Al Viro78e1f382018-11-25 16:24:16 -05001537
Willem de Bruijn52cbd232021-02-03 14:29:52 -05001538 sum = csstate->csum;
1539 off = csstate->off;
Al Viro78e1f382018-11-25 16:24:16 -05001540 if (unlikely(iov_iter_is_discard(i))) {
Al Viro241699c2016-09-22 16:33:12 -04001541 WARN_ON(1); /* for now */
1542 return 0;
1543 }
Al Viroa604ec72014-11-24 01:08:00 -05001544 iterate_and_advance(i, bytes, v, ({
Al Viroa604ec72014-11-24 01:08:00 -05001545 next = csum_and_copy_to_user((from += v.iov_len) - v.iov_len,
Al Virocbbd26b2016-11-01 22:09:04 -04001546 v.iov_base,
Al Viroc693cc42020-07-11 00:27:49 -04001547 v.iov_len);
1548 if (next) {
Al Viroa604ec72014-11-24 01:08:00 -05001549 sum = csum_block_add(sum, next, off);
1550 off += v.iov_len;
1551 }
Al Viroc693cc42020-07-11 00:27:49 -04001552 next ? 0 : v.iov_len;
Al Viroa604ec72014-11-24 01:08:00 -05001553 }), ({
1554 char *p = kmap_atomic(v.bv_page);
Al Virof9152892018-11-27 22:32:59 -05001555 sum = csum_and_memcpy(p + v.bv_offset,
1556 (from += v.bv_len) - v.bv_len,
1557 v.bv_len, sum, off);
Al Viroa604ec72014-11-24 01:08:00 -05001558 kunmap_atomic(p);
Al Viroa604ec72014-11-24 01:08:00 -05001559 off += v.bv_len;
1560 }),({
Al Virof9152892018-11-27 22:32:59 -05001561 sum = csum_and_memcpy(v.iov_base,
1562 (from += v.iov_len) - v.iov_len,
1563 v.iov_len, sum, off);
Al Viroa604ec72014-11-24 01:08:00 -05001564 off += v.iov_len;
1565 })
1566 )
Willem de Bruijn52cbd232021-02-03 14:29:52 -05001567 csstate->csum = sum;
1568 csstate->off = off;
Al Viroa604ec72014-11-24 01:08:00 -05001569 return bytes;
1570}
1571EXPORT_SYMBOL(csum_and_copy_to_iter);
1572
Sagi Grimbergd05f4432018-12-03 17:52:09 -08001573size_t hash_and_copy_to_iter(const void *addr, size_t bytes, void *hashp,
1574 struct iov_iter *i)
1575{
Herbert Xu79990962020-06-12 16:57:37 +10001576#ifdef CONFIG_CRYPTO_HASH
Sagi Grimbergd05f4432018-12-03 17:52:09 -08001577 struct ahash_request *hash = hashp;
1578 struct scatterlist sg;
1579 size_t copied;
1580
1581 copied = copy_to_iter(addr, bytes, i);
1582 sg_init_one(&sg, addr, copied);
1583 ahash_request_set_crypt(hash, &sg, NULL, copied);
1584 crypto_ahash_update(hash);
1585 return copied;
YueHaibing27fad742019-04-04 10:31:14 +08001586#else
1587 return 0;
1588#endif
Sagi Grimbergd05f4432018-12-03 17:52:09 -08001589}
1590EXPORT_SYMBOL(hash_and_copy_to_iter);
1591
Al Viro62a80672014-04-04 23:12:29 -04001592int iov_iter_npages(const struct iov_iter *i, int maxpages)
1593{
Al Viroe0f2dc42014-11-27 14:09:46 -05001594 size_t size = i->count;
1595 int npages = 0;
1596
1597 if (!size)
1598 return 0;
David Howells9ea9ce02018-10-20 00:57:56 +01001599 if (unlikely(iov_iter_is_discard(i)))
1600 return 0;
Al Viroe0f2dc42014-11-27 14:09:46 -05001601
David Howells00e23702018-10-22 13:07:28 +01001602 if (unlikely(iov_iter_is_pipe(i))) {
Al Viro241699c2016-09-22 16:33:12 -04001603 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +00001604 unsigned int iter_head;
Al Viro241699c2016-09-22 16:33:12 -04001605 size_t off;
Al Viro241699c2016-09-22 16:33:12 -04001606
1607 if (!sanity(i))
1608 return 0;
1609
David Howells8cefc102019-11-15 13:30:32 +00001610 data_start(i, &iter_head, &off);
Al Viro241699c2016-09-22 16:33:12 -04001611 /* some of this one + all after this one */
David Howells8cefc102019-11-15 13:30:32 +00001612 npages = pipe_space_for_user(iter_head, pipe->tail, pipe);
Al Viro241699c2016-09-22 16:33:12 -04001613 if (npages >= maxpages)
1614 return maxpages;
1615 } else iterate_all_kinds(i, size, v, ({
Al Viroe0f2dc42014-11-27 14:09:46 -05001616 unsigned long p = (unsigned long)v.iov_base;
1617 npages += DIV_ROUND_UP(p + v.iov_len, PAGE_SIZE)
1618 - p / PAGE_SIZE;
1619 if (npages >= maxpages)
1620 return maxpages;
1621 0;}),({
1622 npages++;
1623 if (npages >= maxpages)
1624 return maxpages;
Al Viroa2804552014-11-27 14:48:42 -05001625 }),({
1626 unsigned long p = (unsigned long)v.iov_base;
1627 npages += DIV_ROUND_UP(p + v.iov_len, PAGE_SIZE)
1628 - p / PAGE_SIZE;
1629 if (npages >= maxpages)
1630 return maxpages;
Al Viroe0f2dc42014-11-27 14:09:46 -05001631 })
1632 )
1633 return npages;
Al Viro62a80672014-04-04 23:12:29 -04001634}
Al Virof67da302014-03-19 01:16:16 -04001635EXPORT_SYMBOL(iov_iter_npages);
Al Viro4b8164b2015-01-31 20:08:47 -05001636
1637const void *dup_iter(struct iov_iter *new, struct iov_iter *old, gfp_t flags)
1638{
1639 *new = *old;
David Howells00e23702018-10-22 13:07:28 +01001640 if (unlikely(iov_iter_is_pipe(new))) {
Al Viro241699c2016-09-22 16:33:12 -04001641 WARN_ON(1);
1642 return NULL;
1643 }
David Howells9ea9ce02018-10-20 00:57:56 +01001644 if (unlikely(iov_iter_is_discard(new)))
1645 return NULL;
David Howells00e23702018-10-22 13:07:28 +01001646 if (iov_iter_is_bvec(new))
Al Viro4b8164b2015-01-31 20:08:47 -05001647 return new->bvec = kmemdup(new->bvec,
1648 new->nr_segs * sizeof(struct bio_vec),
1649 flags);
1650 else
1651 /* iovec and kvec have identical layout */
1652 return new->iov = kmemdup(new->iov,
1653 new->nr_segs * sizeof(struct iovec),
1654 flags);
1655}
1656EXPORT_SYMBOL(dup_iter);
Al Virobc917be2015-03-21 17:45:43 -04001657
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001658static int copy_compat_iovec_from_user(struct iovec *iov,
1659 const struct iovec __user *uvec, unsigned long nr_segs)
1660{
1661 const struct compat_iovec __user *uiov =
1662 (const struct compat_iovec __user *)uvec;
1663 int ret = -EFAULT, i;
1664
Christoph Hellwiga959a972021-01-11 18:19:26 +01001665 if (!user_access_begin(uiov, nr_segs * sizeof(*uiov)))
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001666 return -EFAULT;
1667
1668 for (i = 0; i < nr_segs; i++) {
1669 compat_uptr_t buf;
1670 compat_ssize_t len;
1671
1672 unsafe_get_user(len, &uiov[i].iov_len, uaccess_end);
1673 unsafe_get_user(buf, &uiov[i].iov_base, uaccess_end);
1674
1675 /* check for compat_size_t not fitting in compat_ssize_t .. */
1676 if (len < 0) {
1677 ret = -EINVAL;
1678 goto uaccess_end;
1679 }
1680 iov[i].iov_base = compat_ptr(buf);
1681 iov[i].iov_len = len;
1682 }
1683
1684 ret = 0;
1685uaccess_end:
1686 user_access_end();
1687 return ret;
1688}
1689
1690static int copy_iovec_from_user(struct iovec *iov,
1691 const struct iovec __user *uvec, unsigned long nr_segs)
David Laightfb041b52020-09-25 06:51:39 +02001692{
1693 unsigned long seg;
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001694
1695 if (copy_from_user(iov, uvec, nr_segs * sizeof(*uvec)))
1696 return -EFAULT;
1697 for (seg = 0; seg < nr_segs; seg++) {
1698 if ((ssize_t)iov[seg].iov_len < 0)
1699 return -EINVAL;
1700 }
1701
1702 return 0;
1703}
1704
1705struct iovec *iovec_from_user(const struct iovec __user *uvec,
1706 unsigned long nr_segs, unsigned long fast_segs,
1707 struct iovec *fast_iov, bool compat)
1708{
1709 struct iovec *iov = fast_iov;
1710 int ret;
David Laightfb041b52020-09-25 06:51:39 +02001711
1712 /*
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001713 * SuS says "The readv() function *may* fail if the iovcnt argument was
1714 * less than or equal to 0, or greater than {IOV_MAX}. Linux has
David Laightfb041b52020-09-25 06:51:39 +02001715 * traditionally returned zero for zero segments, so...
1716 */
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001717 if (nr_segs == 0)
1718 return iov;
1719 if (nr_segs > UIO_MAXIOV)
1720 return ERR_PTR(-EINVAL);
David Laightfb041b52020-09-25 06:51:39 +02001721 if (nr_segs > fast_segs) {
1722 iov = kmalloc_array(nr_segs, sizeof(struct iovec), GFP_KERNEL);
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001723 if (!iov)
1724 return ERR_PTR(-ENOMEM);
David Laightfb041b52020-09-25 06:51:39 +02001725 }
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001726
1727 if (compat)
1728 ret = copy_compat_iovec_from_user(iov, uvec, nr_segs);
1729 else
1730 ret = copy_iovec_from_user(iov, uvec, nr_segs);
1731 if (ret) {
1732 if (iov != fast_iov)
1733 kfree(iov);
1734 return ERR_PTR(ret);
1735 }
1736
1737 return iov;
1738}
1739
1740ssize_t __import_iovec(int type, const struct iovec __user *uvec,
1741 unsigned nr_segs, unsigned fast_segs, struct iovec **iovp,
1742 struct iov_iter *i, bool compat)
1743{
1744 ssize_t total_len = 0;
1745 unsigned long seg;
1746 struct iovec *iov;
1747
1748 iov = iovec_from_user(uvec, nr_segs, fast_segs, *iovp, compat);
1749 if (IS_ERR(iov)) {
1750 *iovp = NULL;
1751 return PTR_ERR(iov);
David Laightfb041b52020-09-25 06:51:39 +02001752 }
1753
1754 /*
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001755 * According to the Single Unix Specification we should return EINVAL if
1756 * an element length is < 0 when cast to ssize_t or if the total length
1757 * would overflow the ssize_t return value of the system call.
David Laightfb041b52020-09-25 06:51:39 +02001758 *
1759 * Linux caps all read/write calls to MAX_RW_COUNT, and avoids the
1760 * overflow case.
1761 */
David Laightfb041b52020-09-25 06:51:39 +02001762 for (seg = 0; seg < nr_segs; seg++) {
David Laightfb041b52020-09-25 06:51:39 +02001763 ssize_t len = (ssize_t)iov[seg].iov_len;
1764
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001765 if (!access_ok(iov[seg].iov_base, len)) {
1766 if (iov != *iovp)
1767 kfree(iov);
1768 *iovp = NULL;
1769 return -EFAULT;
David Laightfb041b52020-09-25 06:51:39 +02001770 }
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001771
1772 if (len > MAX_RW_COUNT - total_len) {
1773 len = MAX_RW_COUNT - total_len;
David Laightfb041b52020-09-25 06:51:39 +02001774 iov[seg].iov_len = len;
1775 }
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001776 total_len += len;
David Laightfb041b52020-09-25 06:51:39 +02001777 }
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001778
1779 iov_iter_init(i, type, iov, nr_segs, total_len);
1780 if (iov == *iovp)
1781 *iovp = NULL;
1782 else
1783 *iovp = iov;
1784 return total_len;
David Laightfb041b52020-09-25 06:51:39 +02001785}
1786
Vegard Nossumffecee42016-10-08 11:18:07 +02001787/**
1788 * import_iovec() - Copy an array of &struct iovec from userspace
1789 * into the kernel, check that it is valid, and initialize a new
1790 * &struct iov_iter iterator to access it.
1791 *
1792 * @type: One of %READ or %WRITE.
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001793 * @uvec: Pointer to the userspace array.
Vegard Nossumffecee42016-10-08 11:18:07 +02001794 * @nr_segs: Number of elements in userspace array.
1795 * @fast_segs: Number of elements in @iov.
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001796 * @iovp: (input and output parameter) Pointer to pointer to (usually small
Vegard Nossumffecee42016-10-08 11:18:07 +02001797 * on-stack) kernel array.
1798 * @i: Pointer to iterator that will be initialized on success.
1799 *
1800 * If the array pointed to by *@iov is large enough to hold all @nr_segs,
1801 * then this function places %NULL in *@iov on return. Otherwise, a new
1802 * array will be allocated and the result placed in *@iov. This means that
1803 * the caller may call kfree() on *@iov regardless of whether the small
1804 * on-stack array was used or not (and regardless of whether this function
1805 * returns an error or not).
1806 *
Jens Axboe87e5e6d2019-05-14 16:02:22 -06001807 * Return: Negative error code on error, bytes imported on success
Vegard Nossumffecee42016-10-08 11:18:07 +02001808 */
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001809ssize_t import_iovec(int type, const struct iovec __user *uvec,
Al Virobc917be2015-03-21 17:45:43 -04001810 unsigned nr_segs, unsigned fast_segs,
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001811 struct iovec **iovp, struct iov_iter *i)
Al Virobc917be2015-03-21 17:45:43 -04001812{
Christoph Hellwig89cd35c2020-09-25 06:51:41 +02001813 return __import_iovec(type, uvec, nr_segs, fast_segs, iovp, i,
1814 in_compat_syscall());
Al Virobc917be2015-03-21 17:45:43 -04001815}
1816EXPORT_SYMBOL(import_iovec);
1817
Al Virobc917be2015-03-21 17:45:43 -04001818int import_single_range(int rw, void __user *buf, size_t len,
1819 struct iovec *iov, struct iov_iter *i)
1820{
1821 if (len > MAX_RW_COUNT)
1822 len = MAX_RW_COUNT;
Linus Torvalds96d4f262019-01-03 18:57:57 -08001823 if (unlikely(!access_ok(buf, len)))
Al Virobc917be2015-03-21 17:45:43 -04001824 return -EFAULT;
1825
1826 iov->iov_base = buf;
1827 iov->iov_len = len;
1828 iov_iter_init(i, rw, iov, 1, len);
1829 return 0;
1830}
Al Viroe1267582015-12-06 20:38:56 -05001831EXPORT_SYMBOL(import_single_range);
Al Viro09cf6982017-02-18 01:44:03 -05001832
1833int iov_iter_for_each_range(struct iov_iter *i, size_t bytes,
1834 int (*f)(struct kvec *vec, void *context),
1835 void *context)
1836{
1837 struct kvec w;
1838 int err = -EINVAL;
1839 if (!bytes)
1840 return 0;
1841
1842 iterate_all_kinds(i, bytes, v, -EINVAL, ({
1843 w.iov_base = kmap(v.bv_page) + v.bv_offset;
1844 w.iov_len = v.bv_len;
1845 err = f(&w, context);
1846 kunmap(v.bv_page);
1847 err;}), ({
1848 w = v;
1849 err = f(&w, context);})
1850 )
1851 return err;
1852}
1853EXPORT_SYMBOL(iov_iter_for_each_range);