blob: 51595bf3af8505d4350f42bc323c7b73dc4232e6 [file] [log] [blame]
Thomas Gleixner457c8992019-05-19 13:08:55 +01001// SPDX-License-Identifier: GPL-2.0-only
Al Viro4f18cd32014-02-05 19:11:33 -05002#include <linux/export.h>
Christoph Hellwig2f8b5442016-11-01 07:40:13 -06003#include <linux/bvec.h>
Al Viro4f18cd32014-02-05 19:11:33 -05004#include <linux/uio.h>
5#include <linux/pagemap.h>
Al Viro91f79c42014-03-21 04:58:33 -04006#include <linux/slab.h>
7#include <linux/vmalloc.h>
Al Viro241699c2016-09-22 16:33:12 -04008#include <linux/splice.h>
Al Viroa604ec72014-11-24 01:08:00 -05009#include <net/checksum.h>
Sagi Grimbergd05f4432018-12-03 17:52:09 -080010#include <linux/scatterlist.h>
Al Viro4f18cd32014-02-05 19:11:33 -050011
Al Viro241699c2016-09-22 16:33:12 -040012#define PIPE_PARANOIA /* for now */
13
Al Viro04a31162014-11-27 13:51:41 -050014#define iterate_iovec(i, n, __v, __p, skip, STEP) { \
15 size_t left; \
16 size_t wanted = n; \
17 __p = i->iov; \
18 __v.iov_len = min(n, __p->iov_len - skip); \
19 if (likely(__v.iov_len)) { \
20 __v.iov_base = __p->iov_base + skip; \
21 left = (STEP); \
22 __v.iov_len -= left; \
23 skip += __v.iov_len; \
24 n -= __v.iov_len; \
25 } else { \
26 left = 0; \
27 } \
28 while (unlikely(!left && n)) { \
29 __p++; \
30 __v.iov_len = min(n, __p->iov_len); \
31 if (unlikely(!__v.iov_len)) \
32 continue; \
33 __v.iov_base = __p->iov_base; \
34 left = (STEP); \
35 __v.iov_len -= left; \
36 skip = __v.iov_len; \
37 n -= __v.iov_len; \
38 } \
39 n = wanted - n; \
40}
41
Al Viroa2804552014-11-27 14:48:42 -050042#define iterate_kvec(i, n, __v, __p, skip, STEP) { \
43 size_t wanted = n; \
44 __p = i->kvec; \
45 __v.iov_len = min(n, __p->iov_len - skip); \
46 if (likely(__v.iov_len)) { \
47 __v.iov_base = __p->iov_base + skip; \
48 (void)(STEP); \
49 skip += __v.iov_len; \
50 n -= __v.iov_len; \
51 } \
52 while (unlikely(n)) { \
53 __p++; \
54 __v.iov_len = min(n, __p->iov_len); \
55 if (unlikely(!__v.iov_len)) \
56 continue; \
57 __v.iov_base = __p->iov_base; \
58 (void)(STEP); \
59 skip = __v.iov_len; \
60 n -= __v.iov_len; \
61 } \
62 n = wanted; \
63}
64
Ming Lei1bdc76a2016-05-30 21:34:32 +080065#define iterate_bvec(i, n, __v, __bi, skip, STEP) { \
66 struct bvec_iter __start; \
67 __start.bi_size = n; \
68 __start.bi_bvec_done = skip; \
69 __start.bi_idx = 0; \
70 for_each_bvec(__v, i->bvec, __bi, __start) { \
71 if (!__v.bv_len) \
Al Viro04a31162014-11-27 13:51:41 -050072 continue; \
Al Viro04a31162014-11-27 13:51:41 -050073 (void)(STEP); \
Al Viro04a31162014-11-27 13:51:41 -050074 } \
Al Viro04a31162014-11-27 13:51:41 -050075}
76
Al Viroa2804552014-11-27 14:48:42 -050077#define iterate_all_kinds(i, n, v, I, B, K) { \
Al Viro33844e62016-12-21 21:55:02 -050078 if (likely(n)) { \
79 size_t skip = i->iov_offset; \
80 if (unlikely(i->type & ITER_BVEC)) { \
81 struct bio_vec v; \
82 struct bvec_iter __bi; \
83 iterate_bvec(i, n, v, __bi, skip, (B)) \
84 } else if (unlikely(i->type & ITER_KVEC)) { \
85 const struct kvec *kvec; \
86 struct kvec v; \
87 iterate_kvec(i, n, v, kvec, skip, (K)) \
David Howells9ea9ce02018-10-20 00:57:56 +010088 } else if (unlikely(i->type & ITER_DISCARD)) { \
Al Viro33844e62016-12-21 21:55:02 -050089 } else { \
90 const struct iovec *iov; \
91 struct iovec v; \
92 iterate_iovec(i, n, v, iov, skip, (I)) \
93 } \
Al Viro04a31162014-11-27 13:51:41 -050094 } \
95}
96
Al Viroa2804552014-11-27 14:48:42 -050097#define iterate_and_advance(i, n, v, I, B, K) { \
Al Virodd254f52016-05-09 11:54:48 -040098 if (unlikely(i->count < n)) \
99 n = i->count; \
Al Viro19f18452016-05-25 17:36:19 -0400100 if (i->count) { \
Al Virodd254f52016-05-09 11:54:48 -0400101 size_t skip = i->iov_offset; \
102 if (unlikely(i->type & ITER_BVEC)) { \
Ming Lei1bdc76a2016-05-30 21:34:32 +0800103 const struct bio_vec *bvec = i->bvec; \
Al Virodd254f52016-05-09 11:54:48 -0400104 struct bio_vec v; \
Ming Lei1bdc76a2016-05-30 21:34:32 +0800105 struct bvec_iter __bi; \
106 iterate_bvec(i, n, v, __bi, skip, (B)) \
107 i->bvec = __bvec_iter_bvec(i->bvec, __bi); \
108 i->nr_segs -= i->bvec - bvec; \
109 skip = __bi.bi_bvec_done; \
Al Virodd254f52016-05-09 11:54:48 -0400110 } else if (unlikely(i->type & ITER_KVEC)) { \
111 const struct kvec *kvec; \
112 struct kvec v; \
113 iterate_kvec(i, n, v, kvec, skip, (K)) \
114 if (skip == kvec->iov_len) { \
115 kvec++; \
116 skip = 0; \
117 } \
118 i->nr_segs -= kvec - i->kvec; \
119 i->kvec = kvec; \
David Howells9ea9ce02018-10-20 00:57:56 +0100120 } else if (unlikely(i->type & ITER_DISCARD)) { \
121 skip += n; \
Al Virodd254f52016-05-09 11:54:48 -0400122 } else { \
123 const struct iovec *iov; \
124 struct iovec v; \
125 iterate_iovec(i, n, v, iov, skip, (I)) \
126 if (skip == iov->iov_len) { \
127 iov++; \
128 skip = 0; \
129 } \
130 i->nr_segs -= iov - i->iov; \
131 i->iov = iov; \
Al Viro7ce2a912014-11-27 13:59:45 -0500132 } \
Al Virodd254f52016-05-09 11:54:48 -0400133 i->count -= n; \
134 i->iov_offset = skip; \
Al Viro7ce2a912014-11-27 13:59:45 -0500135 } \
Al Viro7ce2a912014-11-27 13:59:45 -0500136}
137
Al Viro09fc68dc2017-06-29 22:25:14 -0400138static int copyout(void __user *to, const void *from, size_t n)
139{
Linus Torvalds96d4f262019-01-03 18:57:57 -0800140 if (access_ok(to, n)) {
Al Viro09fc68dc2017-06-29 22:25:14 -0400141 kasan_check_read(from, n);
142 n = raw_copy_to_user(to, from, n);
143 }
144 return n;
145}
146
147static int copyin(void *to, const void __user *from, size_t n)
148{
Linus Torvalds96d4f262019-01-03 18:57:57 -0800149 if (access_ok(from, n)) {
Al Viro09fc68dc2017-06-29 22:25:14 -0400150 kasan_check_write(to, n);
151 n = raw_copy_from_user(to, from, n);
152 }
153 return n;
154}
155
Al Viro62a80672014-04-04 23:12:29 -0400156static size_t copy_page_to_iter_iovec(struct page *page, size_t offset, size_t bytes,
Al Viro4f18cd32014-02-05 19:11:33 -0500157 struct iov_iter *i)
158{
159 size_t skip, copy, left, wanted;
160 const struct iovec *iov;
161 char __user *buf;
162 void *kaddr, *from;
163
164 if (unlikely(bytes > i->count))
165 bytes = i->count;
166
167 if (unlikely(!bytes))
168 return 0;
169
Al Viro09fc68dc2017-06-29 22:25:14 -0400170 might_fault();
Al Viro4f18cd32014-02-05 19:11:33 -0500171 wanted = bytes;
172 iov = i->iov;
173 skip = i->iov_offset;
174 buf = iov->iov_base + skip;
175 copy = min(bytes, iov->iov_len - skip);
176
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700177 if (IS_ENABLED(CONFIG_HIGHMEM) && !fault_in_pages_writeable(buf, copy)) {
Al Viro4f18cd32014-02-05 19:11:33 -0500178 kaddr = kmap_atomic(page);
179 from = kaddr + offset;
180
181 /* first chunk, usually the only one */
Al Viro09fc68dc2017-06-29 22:25:14 -0400182 left = copyout(buf, from, copy);
Al Viro4f18cd32014-02-05 19:11:33 -0500183 copy -= left;
184 skip += copy;
185 from += copy;
186 bytes -= copy;
187
188 while (unlikely(!left && bytes)) {
189 iov++;
190 buf = iov->iov_base;
191 copy = min(bytes, iov->iov_len);
Al Viro09fc68dc2017-06-29 22:25:14 -0400192 left = copyout(buf, from, copy);
Al Viro4f18cd32014-02-05 19:11:33 -0500193 copy -= left;
194 skip = copy;
195 from += copy;
196 bytes -= copy;
197 }
198 if (likely(!bytes)) {
199 kunmap_atomic(kaddr);
200 goto done;
201 }
202 offset = from - kaddr;
203 buf += copy;
204 kunmap_atomic(kaddr);
205 copy = min(bytes, iov->iov_len - skip);
206 }
207 /* Too bad - revert to non-atomic kmap */
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700208
Al Viro4f18cd32014-02-05 19:11:33 -0500209 kaddr = kmap(page);
210 from = kaddr + offset;
Al Viro09fc68dc2017-06-29 22:25:14 -0400211 left = copyout(buf, from, copy);
Al Viro4f18cd32014-02-05 19:11:33 -0500212 copy -= left;
213 skip += copy;
214 from += copy;
215 bytes -= copy;
216 while (unlikely(!left && bytes)) {
217 iov++;
218 buf = iov->iov_base;
219 copy = min(bytes, iov->iov_len);
Al Viro09fc68dc2017-06-29 22:25:14 -0400220 left = copyout(buf, from, copy);
Al Viro4f18cd32014-02-05 19:11:33 -0500221 copy -= left;
222 skip = copy;
223 from += copy;
224 bytes -= copy;
225 }
226 kunmap(page);
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700227
Al Viro4f18cd32014-02-05 19:11:33 -0500228done:
Al Viro81055e52014-04-04 19:23:46 -0400229 if (skip == iov->iov_len) {
230 iov++;
231 skip = 0;
232 }
Al Viro4f18cd32014-02-05 19:11:33 -0500233 i->count -= wanted - bytes;
234 i->nr_segs -= iov - i->iov;
235 i->iov = iov;
236 i->iov_offset = skip;
237 return wanted - bytes;
238}
Al Viro4f18cd32014-02-05 19:11:33 -0500239
Al Viro62a80672014-04-04 23:12:29 -0400240static size_t copy_page_from_iter_iovec(struct page *page, size_t offset, size_t bytes,
Al Virof0d1bec2014-04-03 15:05:18 -0400241 struct iov_iter *i)
242{
243 size_t skip, copy, left, wanted;
244 const struct iovec *iov;
245 char __user *buf;
246 void *kaddr, *to;
247
248 if (unlikely(bytes > i->count))
249 bytes = i->count;
250
251 if (unlikely(!bytes))
252 return 0;
253
Al Viro09fc68dc2017-06-29 22:25:14 -0400254 might_fault();
Al Virof0d1bec2014-04-03 15:05:18 -0400255 wanted = bytes;
256 iov = i->iov;
257 skip = i->iov_offset;
258 buf = iov->iov_base + skip;
259 copy = min(bytes, iov->iov_len - skip);
260
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700261 if (IS_ENABLED(CONFIG_HIGHMEM) && !fault_in_pages_readable(buf, copy)) {
Al Virof0d1bec2014-04-03 15:05:18 -0400262 kaddr = kmap_atomic(page);
263 to = kaddr + offset;
264
265 /* first chunk, usually the only one */
Al Viro09fc68dc2017-06-29 22:25:14 -0400266 left = copyin(to, buf, copy);
Al Virof0d1bec2014-04-03 15:05:18 -0400267 copy -= left;
268 skip += copy;
269 to += copy;
270 bytes -= copy;
271
272 while (unlikely(!left && bytes)) {
273 iov++;
274 buf = iov->iov_base;
275 copy = min(bytes, iov->iov_len);
Al Viro09fc68dc2017-06-29 22:25:14 -0400276 left = copyin(to, buf, copy);
Al Virof0d1bec2014-04-03 15:05:18 -0400277 copy -= left;
278 skip = copy;
279 to += copy;
280 bytes -= copy;
281 }
282 if (likely(!bytes)) {
283 kunmap_atomic(kaddr);
284 goto done;
285 }
286 offset = to - kaddr;
287 buf += copy;
288 kunmap_atomic(kaddr);
289 copy = min(bytes, iov->iov_len - skip);
290 }
291 /* Too bad - revert to non-atomic kmap */
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700292
Al Virof0d1bec2014-04-03 15:05:18 -0400293 kaddr = kmap(page);
294 to = kaddr + offset;
Al Viro09fc68dc2017-06-29 22:25:14 -0400295 left = copyin(to, buf, copy);
Al Virof0d1bec2014-04-03 15:05:18 -0400296 copy -= left;
297 skip += copy;
298 to += copy;
299 bytes -= copy;
300 while (unlikely(!left && bytes)) {
301 iov++;
302 buf = iov->iov_base;
303 copy = min(bytes, iov->iov_len);
Al Viro09fc68dc2017-06-29 22:25:14 -0400304 left = copyin(to, buf, copy);
Al Virof0d1bec2014-04-03 15:05:18 -0400305 copy -= left;
306 skip = copy;
307 to += copy;
308 bytes -= copy;
309 }
310 kunmap(page);
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700311
Al Virof0d1bec2014-04-03 15:05:18 -0400312done:
Al Viro81055e52014-04-04 19:23:46 -0400313 if (skip == iov->iov_len) {
314 iov++;
315 skip = 0;
316 }
Al Virof0d1bec2014-04-03 15:05:18 -0400317 i->count -= wanted - bytes;
318 i->nr_segs -= iov - i->iov;
319 i->iov = iov;
320 i->iov_offset = skip;
321 return wanted - bytes;
322}
Al Virof0d1bec2014-04-03 15:05:18 -0400323
Al Viro241699c2016-09-22 16:33:12 -0400324#ifdef PIPE_PARANOIA
325static bool sanity(const struct iov_iter *i)
326{
327 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000328 unsigned int p_head = pipe->head;
329 unsigned int p_tail = pipe->tail;
330 unsigned int p_mask = pipe->ring_size - 1;
331 unsigned int p_occupancy = pipe_occupancy(p_head, p_tail);
332 unsigned int i_head = i->head;
333 unsigned int idx;
334
Al Viro241699c2016-09-22 16:33:12 -0400335 if (i->iov_offset) {
336 struct pipe_buffer *p;
David Howells8cefc102019-11-15 13:30:32 +0000337 if (unlikely(p_occupancy == 0))
Al Viro241699c2016-09-22 16:33:12 -0400338 goto Bad; // pipe must be non-empty
David Howells8cefc102019-11-15 13:30:32 +0000339 if (unlikely(i_head != p_head - 1))
Al Viro241699c2016-09-22 16:33:12 -0400340 goto Bad; // must be at the last buffer...
341
David Howells8cefc102019-11-15 13:30:32 +0000342 p = &pipe->bufs[i_head & p_mask];
Al Viro241699c2016-09-22 16:33:12 -0400343 if (unlikely(p->offset + p->len != i->iov_offset))
344 goto Bad; // ... at the end of segment
345 } else {
David Howells8cefc102019-11-15 13:30:32 +0000346 if (i_head != p_head)
Al Viro241699c2016-09-22 16:33:12 -0400347 goto Bad; // must be right after the last buffer
348 }
349 return true;
350Bad:
David Howells8cefc102019-11-15 13:30:32 +0000351 printk(KERN_ERR "idx = %d, offset = %zd\n", i_head, i->iov_offset);
352 printk(KERN_ERR "head = %d, tail = %d, buffers = %d\n",
353 p_head, p_tail, pipe->ring_size);
354 for (idx = 0; idx < pipe->ring_size; idx++)
Al Viro241699c2016-09-22 16:33:12 -0400355 printk(KERN_ERR "[%p %p %d %d]\n",
356 pipe->bufs[idx].ops,
357 pipe->bufs[idx].page,
358 pipe->bufs[idx].offset,
359 pipe->bufs[idx].len);
360 WARN_ON(1);
361 return false;
362}
363#else
364#define sanity(i) true
365#endif
366
Al Viro241699c2016-09-22 16:33:12 -0400367static size_t copy_page_to_iter_pipe(struct page *page, size_t offset, size_t bytes,
368 struct iov_iter *i)
369{
370 struct pipe_inode_info *pipe = i->pipe;
371 struct pipe_buffer *buf;
David Howells8cefc102019-11-15 13:30:32 +0000372 unsigned int p_tail = pipe->tail;
373 unsigned int p_mask = pipe->ring_size - 1;
374 unsigned int i_head = i->head;
Al Viro241699c2016-09-22 16:33:12 -0400375 size_t off;
Al Viro241699c2016-09-22 16:33:12 -0400376
377 if (unlikely(bytes > i->count))
378 bytes = i->count;
379
380 if (unlikely(!bytes))
381 return 0;
382
383 if (!sanity(i))
384 return 0;
385
386 off = i->iov_offset;
David Howells8cefc102019-11-15 13:30:32 +0000387 buf = &pipe->bufs[i_head & p_mask];
Al Viro241699c2016-09-22 16:33:12 -0400388 if (off) {
389 if (offset == off && buf->page == page) {
390 /* merge with the last one */
391 buf->len += bytes;
392 i->iov_offset += bytes;
393 goto out;
394 }
David Howells8cefc102019-11-15 13:30:32 +0000395 i_head++;
396 buf = &pipe->bufs[i_head & p_mask];
Al Viro241699c2016-09-22 16:33:12 -0400397 }
David Howells6718b6f2019-10-16 16:47:32 +0100398 if (pipe_full(i_head, p_tail, pipe->max_usage))
Al Viro241699c2016-09-22 16:33:12 -0400399 return 0;
David Howells8cefc102019-11-15 13:30:32 +0000400
Al Viro241699c2016-09-22 16:33:12 -0400401 buf->ops = &page_cache_pipe_buf_ops;
David Howells8cefc102019-11-15 13:30:32 +0000402 get_page(page);
403 buf->page = page;
Al Viro241699c2016-09-22 16:33:12 -0400404 buf->offset = offset;
405 buf->len = bytes;
David Howells8cefc102019-11-15 13:30:32 +0000406
407 pipe->head = i_head + 1;
Al Viro241699c2016-09-22 16:33:12 -0400408 i->iov_offset = offset + bytes;
David Howells8cefc102019-11-15 13:30:32 +0000409 i->head = i_head;
Al Viro241699c2016-09-22 16:33:12 -0400410out:
411 i->count -= bytes;
412 return bytes;
413}
414
Al Viro4f18cd32014-02-05 19:11:33 -0500415/*
Anton Altaparmakov171a0202015-03-11 10:43:31 -0400416 * Fault in one or more iovecs of the given iov_iter, to a maximum length of
417 * bytes. For each iovec, fault in each page that constitutes the iovec.
418 *
419 * Return 0 on success, or non-zero if the memory could not be accessed (i.e.
420 * because it is an invalid address).
421 */
Al Virod4690f12016-09-16 00:11:45 +0100422int iov_iter_fault_in_readable(struct iov_iter *i, size_t bytes)
Anton Altaparmakov171a0202015-03-11 10:43:31 -0400423{
424 size_t skip = i->iov_offset;
425 const struct iovec *iov;
426 int err;
427 struct iovec v;
428
429 if (!(i->type & (ITER_BVEC|ITER_KVEC))) {
430 iterate_iovec(i, bytes, v, iov, skip, ({
Al Viro4bce9f6e2016-09-17 18:02:44 -0400431 err = fault_in_pages_readable(v.iov_base, v.iov_len);
Anton Altaparmakov171a0202015-03-11 10:43:31 -0400432 if (unlikely(err))
433 return err;
434 0;}))
435 }
436 return 0;
437}
Al Virod4690f12016-09-16 00:11:45 +0100438EXPORT_SYMBOL(iov_iter_fault_in_readable);
Anton Altaparmakov171a0202015-03-11 10:43:31 -0400439
David Howellsaa563d72018-10-20 00:57:56 +0100440void iov_iter_init(struct iov_iter *i, unsigned int direction,
Al Viro71d8e532014-03-05 19:28:09 -0500441 const struct iovec *iov, unsigned long nr_segs,
442 size_t count)
443{
David Howellsaa563d72018-10-20 00:57:56 +0100444 WARN_ON(direction & ~(READ | WRITE));
445 direction &= READ | WRITE;
446
Al Viro71d8e532014-03-05 19:28:09 -0500447 /* It will get better. Eventually... */
Al Virodb68ce12017-03-20 21:08:07 -0400448 if (uaccess_kernel()) {
David Howellsaa563d72018-10-20 00:57:56 +0100449 i->type = ITER_KVEC | direction;
Al Viroa2804552014-11-27 14:48:42 -0500450 i->kvec = (struct kvec *)iov;
451 } else {
David Howellsaa563d72018-10-20 00:57:56 +0100452 i->type = ITER_IOVEC | direction;
Al Viroa2804552014-11-27 14:48:42 -0500453 i->iov = iov;
454 }
Al Viro71d8e532014-03-05 19:28:09 -0500455 i->nr_segs = nr_segs;
456 i->iov_offset = 0;
457 i->count = count;
458}
459EXPORT_SYMBOL(iov_iter_init);
Al Viro7b2c99d2014-03-15 04:05:57 -0400460
Al Viro62a80672014-04-04 23:12:29 -0400461static void memcpy_from_page(char *to, struct page *page, size_t offset, size_t len)
462{
463 char *from = kmap_atomic(page);
464 memcpy(to, from + offset, len);
465 kunmap_atomic(from);
466}
467
Al Viro36f7a8a2015-12-06 16:49:22 -0500468static void memcpy_to_page(struct page *page, size_t offset, const char *from, size_t len)
Al Viro62a80672014-04-04 23:12:29 -0400469{
470 char *to = kmap_atomic(page);
471 memcpy(to + offset, from, len);
472 kunmap_atomic(to);
473}
474
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400475static void memzero_page(struct page *page, size_t offset, size_t len)
476{
477 char *addr = kmap_atomic(page);
478 memset(addr + offset, 0, len);
479 kunmap_atomic(addr);
480}
481
Al Viro241699c2016-09-22 16:33:12 -0400482static inline bool allocated(struct pipe_buffer *buf)
483{
484 return buf->ops == &default_pipe_buf_ops;
485}
486
David Howells8cefc102019-11-15 13:30:32 +0000487static inline void data_start(const struct iov_iter *i,
488 unsigned int *iter_headp, size_t *offp)
Al Viro241699c2016-09-22 16:33:12 -0400489{
David Howells8cefc102019-11-15 13:30:32 +0000490 unsigned int p_mask = i->pipe->ring_size - 1;
491 unsigned int iter_head = i->head;
Al Viro241699c2016-09-22 16:33:12 -0400492 size_t off = i->iov_offset;
David Howells8cefc102019-11-15 13:30:32 +0000493
494 if (off && (!allocated(&i->pipe->bufs[iter_head & p_mask]) ||
495 off == PAGE_SIZE)) {
496 iter_head++;
Al Viro241699c2016-09-22 16:33:12 -0400497 off = 0;
498 }
David Howells8cefc102019-11-15 13:30:32 +0000499 *iter_headp = iter_head;
Al Viro241699c2016-09-22 16:33:12 -0400500 *offp = off;
501}
502
503static size_t push_pipe(struct iov_iter *i, size_t size,
David Howells8cefc102019-11-15 13:30:32 +0000504 int *iter_headp, size_t *offp)
Al Viro241699c2016-09-22 16:33:12 -0400505{
506 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000507 unsigned int p_tail = pipe->tail;
508 unsigned int p_mask = pipe->ring_size - 1;
509 unsigned int iter_head;
Al Viro241699c2016-09-22 16:33:12 -0400510 size_t off;
Al Viro241699c2016-09-22 16:33:12 -0400511 ssize_t left;
512
513 if (unlikely(size > i->count))
514 size = i->count;
515 if (unlikely(!size))
516 return 0;
517
518 left = size;
David Howells8cefc102019-11-15 13:30:32 +0000519 data_start(i, &iter_head, &off);
520 *iter_headp = iter_head;
Al Viro241699c2016-09-22 16:33:12 -0400521 *offp = off;
522 if (off) {
523 left -= PAGE_SIZE - off;
524 if (left <= 0) {
David Howells8cefc102019-11-15 13:30:32 +0000525 pipe->bufs[iter_head & p_mask].len += size;
Al Viro241699c2016-09-22 16:33:12 -0400526 return size;
527 }
David Howells8cefc102019-11-15 13:30:32 +0000528 pipe->bufs[iter_head & p_mask].len = PAGE_SIZE;
529 iter_head++;
Al Viro241699c2016-09-22 16:33:12 -0400530 }
David Howells6718b6f2019-10-16 16:47:32 +0100531 while (!pipe_full(iter_head, p_tail, pipe->max_usage)) {
David Howells8cefc102019-11-15 13:30:32 +0000532 struct pipe_buffer *buf = &pipe->bufs[iter_head & p_mask];
Al Viro241699c2016-09-22 16:33:12 -0400533 struct page *page = alloc_page(GFP_USER);
534 if (!page)
535 break;
David Howells8cefc102019-11-15 13:30:32 +0000536
537 buf->ops = &default_pipe_buf_ops;
538 buf->page = page;
539 buf->offset = 0;
540 buf->len = min_t(ssize_t, left, PAGE_SIZE);
541 left -= buf->len;
542 iter_head++;
543 pipe->head = iter_head;
544
545 if (left == 0)
Al Viro241699c2016-09-22 16:33:12 -0400546 return size;
Al Viro241699c2016-09-22 16:33:12 -0400547 }
548 return size - left;
549}
550
551static size_t copy_pipe_to_iter(const void *addr, size_t bytes,
552 struct iov_iter *i)
553{
554 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000555 unsigned int p_mask = pipe->ring_size - 1;
556 unsigned int i_head;
Al Viro241699c2016-09-22 16:33:12 -0400557 size_t n, off;
Al Viro241699c2016-09-22 16:33:12 -0400558
559 if (!sanity(i))
560 return 0;
561
David Howells8cefc102019-11-15 13:30:32 +0000562 bytes = n = push_pipe(i, bytes, &i_head, &off);
Al Viro241699c2016-09-22 16:33:12 -0400563 if (unlikely(!n))
564 return 0;
David Howells8cefc102019-11-15 13:30:32 +0000565 do {
Al Viro241699c2016-09-22 16:33:12 -0400566 size_t chunk = min_t(size_t, n, PAGE_SIZE - off);
David Howells8cefc102019-11-15 13:30:32 +0000567 memcpy_to_page(pipe->bufs[i_head & p_mask].page, off, addr, chunk);
568 i->head = i_head;
Al Viro241699c2016-09-22 16:33:12 -0400569 i->iov_offset = off + chunk;
570 n -= chunk;
571 addr += chunk;
David Howells8cefc102019-11-15 13:30:32 +0000572 off = 0;
573 i_head++;
574 } while (n);
Al Viro241699c2016-09-22 16:33:12 -0400575 i->count -= bytes;
576 return bytes;
577}
578
Al Virof9152892018-11-27 22:32:59 -0500579static __wsum csum_and_memcpy(void *to, const void *from, size_t len,
580 __wsum sum, size_t off)
581{
582 __wsum next = csum_partial_copy_nocheck(from, to, len, 0);
583 return csum_block_add(sum, next, off);
584}
585
Al Viro78e1f382018-11-25 16:24:16 -0500586static size_t csum_and_copy_to_pipe_iter(const void *addr, size_t bytes,
587 __wsum *csum, struct iov_iter *i)
588{
589 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000590 unsigned int p_mask = pipe->ring_size - 1;
591 unsigned int i_head;
Al Viro78e1f382018-11-25 16:24:16 -0500592 size_t n, r;
593 size_t off = 0;
Al Virof9152892018-11-27 22:32:59 -0500594 __wsum sum = *csum;
Al Viro78e1f382018-11-25 16:24:16 -0500595
596 if (!sanity(i))
597 return 0;
598
David Howells8cefc102019-11-15 13:30:32 +0000599 bytes = n = push_pipe(i, bytes, &i_head, &r);
Al Viro78e1f382018-11-25 16:24:16 -0500600 if (unlikely(!n))
601 return 0;
David Howells8cefc102019-11-15 13:30:32 +0000602 do {
Al Viro78e1f382018-11-25 16:24:16 -0500603 size_t chunk = min_t(size_t, n, PAGE_SIZE - r);
David Howells8cefc102019-11-15 13:30:32 +0000604 char *p = kmap_atomic(pipe->bufs[i_head & p_mask].page);
Al Virof9152892018-11-27 22:32:59 -0500605 sum = csum_and_memcpy(p + r, addr, chunk, sum, off);
Al Viro78e1f382018-11-25 16:24:16 -0500606 kunmap_atomic(p);
David Howells8cefc102019-11-15 13:30:32 +0000607 i->head = i_head;
Al Viro78e1f382018-11-25 16:24:16 -0500608 i->iov_offset = r + chunk;
609 n -= chunk;
610 off += chunk;
611 addr += chunk;
David Howells8cefc102019-11-15 13:30:32 +0000612 r = 0;
613 i_head++;
614 } while (n);
Al Viro78e1f382018-11-25 16:24:16 -0500615 i->count -= bytes;
616 *csum = sum;
617 return bytes;
618}
619
Al Viroaa28de22017-06-29 21:45:10 -0400620size_t _copy_to_iter(const void *addr, size_t bytes, struct iov_iter *i)
Al Viro62a80672014-04-04 23:12:29 -0400621{
Al Viro36f7a8a2015-12-06 16:49:22 -0500622 const char *from = addr;
David Howells00e23702018-10-22 13:07:28 +0100623 if (unlikely(iov_iter_is_pipe(i)))
Al Viro241699c2016-09-22 16:33:12 -0400624 return copy_pipe_to_iter(addr, bytes, i);
Al Viro09fc68dc2017-06-29 22:25:14 -0400625 if (iter_is_iovec(i))
626 might_fault();
Al Viro3d4d3e42014-11-27 14:28:06 -0500627 iterate_and_advance(i, bytes, v,
Al Viro09fc68dc2017-06-29 22:25:14 -0400628 copyout(v.iov_base, (from += v.iov_len) - v.iov_len, v.iov_len),
Al Viro3d4d3e42014-11-27 14:28:06 -0500629 memcpy_to_page(v.bv_page, v.bv_offset,
Al Viroa2804552014-11-27 14:48:42 -0500630 (from += v.bv_len) - v.bv_len, v.bv_len),
631 memcpy(v.iov_base, (from += v.iov_len) - v.iov_len, v.iov_len)
Al Viro3d4d3e42014-11-27 14:28:06 -0500632 )
Al Viro62a80672014-04-04 23:12:29 -0400633
Al Viro3d4d3e42014-11-27 14:28:06 -0500634 return bytes;
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400635}
Al Viroaa28de22017-06-29 21:45:10 -0400636EXPORT_SYMBOL(_copy_to_iter);
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400637
Dan Williams87803562018-05-03 17:06:31 -0700638#ifdef CONFIG_ARCH_HAS_UACCESS_MCSAFE
639static int copyout_mcsafe(void __user *to, const void *from, size_t n)
640{
Linus Torvalds96d4f262019-01-03 18:57:57 -0800641 if (access_ok(to, n)) {
Dan Williams87803562018-05-03 17:06:31 -0700642 kasan_check_read(from, n);
643 n = copy_to_user_mcsafe((__force void *) to, from, n);
644 }
645 return n;
646}
647
648static unsigned long memcpy_mcsafe_to_page(struct page *page, size_t offset,
649 const char *from, size_t len)
650{
651 unsigned long ret;
652 char *to;
653
654 to = kmap_atomic(page);
655 ret = memcpy_mcsafe(to + offset, from, len);
656 kunmap_atomic(to);
657
658 return ret;
659}
660
Dan Williamsca146f62018-07-08 13:46:12 -0700661static size_t copy_pipe_to_iter_mcsafe(const void *addr, size_t bytes,
662 struct iov_iter *i)
663{
664 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000665 unsigned int p_mask = pipe->ring_size - 1;
666 unsigned int i_head;
Dan Williamsca146f62018-07-08 13:46:12 -0700667 size_t n, off, xfer = 0;
Dan Williamsca146f62018-07-08 13:46:12 -0700668
669 if (!sanity(i))
670 return 0;
671
David Howells8cefc102019-11-15 13:30:32 +0000672 bytes = n = push_pipe(i, bytes, &i_head, &off);
Dan Williamsca146f62018-07-08 13:46:12 -0700673 if (unlikely(!n))
674 return 0;
David Howells8cefc102019-11-15 13:30:32 +0000675 do {
Dan Williamsca146f62018-07-08 13:46:12 -0700676 size_t chunk = min_t(size_t, n, PAGE_SIZE - off);
677 unsigned long rem;
678
David Howells8cefc102019-11-15 13:30:32 +0000679 rem = memcpy_mcsafe_to_page(pipe->bufs[i_head & p_mask].page,
680 off, addr, chunk);
681 i->head = i_head;
Dan Williamsca146f62018-07-08 13:46:12 -0700682 i->iov_offset = off + chunk - rem;
683 xfer += chunk - rem;
684 if (rem)
685 break;
686 n -= chunk;
687 addr += chunk;
David Howells8cefc102019-11-15 13:30:32 +0000688 off = 0;
689 i_head++;
690 } while (n);
Dan Williamsca146f62018-07-08 13:46:12 -0700691 i->count -= xfer;
692 return xfer;
693}
694
Dan Williamsbf3eeb92018-07-08 13:46:02 -0700695/**
696 * _copy_to_iter_mcsafe - copy to user with source-read error exception handling
697 * @addr: source kernel address
698 * @bytes: total transfer length
699 * @iter: destination iterator
700 *
701 * The pmem driver arranges for filesystem-dax to use this facility via
702 * dax_copy_to_iter() for protecting read/write to persistent memory.
703 * Unless / until an architecture can guarantee identical performance
704 * between _copy_to_iter_mcsafe() and _copy_to_iter() it would be a
705 * performance regression to switch more users to the mcsafe version.
706 *
707 * Otherwise, the main differences between this and typical _copy_to_iter().
708 *
709 * * Typical tail/residue handling after a fault retries the copy
710 * byte-by-byte until the fault happens again. Re-triggering machine
711 * checks is potentially fatal so the implementation uses source
712 * alignment and poison alignment assumptions to avoid re-triggering
713 * hardware exceptions.
714 *
715 * * ITER_KVEC, ITER_PIPE, and ITER_BVEC can return short copies.
716 * Compare to copy_to_iter() where only ITER_IOVEC attempts might return
717 * a short copy.
718 *
719 * See MCSAFE_TEST for self-test.
720 */
Dan Williams87803562018-05-03 17:06:31 -0700721size_t _copy_to_iter_mcsafe(const void *addr, size_t bytes, struct iov_iter *i)
722{
723 const char *from = addr;
724 unsigned long rem, curr_addr, s_addr = (unsigned long) addr;
725
David Howells00e23702018-10-22 13:07:28 +0100726 if (unlikely(iov_iter_is_pipe(i)))
Dan Williamsca146f62018-07-08 13:46:12 -0700727 return copy_pipe_to_iter_mcsafe(addr, bytes, i);
Dan Williams87803562018-05-03 17:06:31 -0700728 if (iter_is_iovec(i))
729 might_fault();
730 iterate_and_advance(i, bytes, v,
731 copyout_mcsafe(v.iov_base, (from += v.iov_len) - v.iov_len, v.iov_len),
732 ({
733 rem = memcpy_mcsafe_to_page(v.bv_page, v.bv_offset,
734 (from += v.bv_len) - v.bv_len, v.bv_len);
735 if (rem) {
736 curr_addr = (unsigned long) from;
737 bytes = curr_addr - s_addr - rem;
738 return bytes;
739 }
740 }),
741 ({
742 rem = memcpy_mcsafe(v.iov_base, (from += v.iov_len) - v.iov_len,
743 v.iov_len);
744 if (rem) {
745 curr_addr = (unsigned long) from;
746 bytes = curr_addr - s_addr - rem;
747 return bytes;
748 }
749 })
750 )
751
752 return bytes;
753}
754EXPORT_SYMBOL_GPL(_copy_to_iter_mcsafe);
755#endif /* CONFIG_ARCH_HAS_UACCESS_MCSAFE */
756
Al Viroaa28de22017-06-29 21:45:10 -0400757size_t _copy_from_iter(void *addr, size_t bytes, struct iov_iter *i)
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400758{
Al Viro0dbca9a2014-11-27 14:26:43 -0500759 char *to = addr;
David Howells00e23702018-10-22 13:07:28 +0100760 if (unlikely(iov_iter_is_pipe(i))) {
Al Viro241699c2016-09-22 16:33:12 -0400761 WARN_ON(1);
762 return 0;
763 }
Al Viro09fc68dc2017-06-29 22:25:14 -0400764 if (iter_is_iovec(i))
765 might_fault();
Al Viro0dbca9a2014-11-27 14:26:43 -0500766 iterate_and_advance(i, bytes, v,
Al Viro09fc68dc2017-06-29 22:25:14 -0400767 copyin((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len),
Al Viro0dbca9a2014-11-27 14:26:43 -0500768 memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
Al Viroa2804552014-11-27 14:48:42 -0500769 v.bv_offset, v.bv_len),
770 memcpy((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
Al Viro0dbca9a2014-11-27 14:26:43 -0500771 )
772
773 return bytes;
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400774}
Al Viroaa28de22017-06-29 21:45:10 -0400775EXPORT_SYMBOL(_copy_from_iter);
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400776
Al Viroaa28de22017-06-29 21:45:10 -0400777bool _copy_from_iter_full(void *addr, size_t bytes, struct iov_iter *i)
Al Virocbbd26b2016-11-01 22:09:04 -0400778{
779 char *to = addr;
David Howells00e23702018-10-22 13:07:28 +0100780 if (unlikely(iov_iter_is_pipe(i))) {
Al Virocbbd26b2016-11-01 22:09:04 -0400781 WARN_ON(1);
782 return false;
783 }
Al Viro33844e62016-12-21 21:55:02 -0500784 if (unlikely(i->count < bytes))
Al Virocbbd26b2016-11-01 22:09:04 -0400785 return false;
786
Al Viro09fc68dc2017-06-29 22:25:14 -0400787 if (iter_is_iovec(i))
788 might_fault();
Al Virocbbd26b2016-11-01 22:09:04 -0400789 iterate_all_kinds(i, bytes, v, ({
Al Viro09fc68dc2017-06-29 22:25:14 -0400790 if (copyin((to += v.iov_len) - v.iov_len,
Al Virocbbd26b2016-11-01 22:09:04 -0400791 v.iov_base, v.iov_len))
792 return false;
793 0;}),
794 memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
795 v.bv_offset, v.bv_len),
796 memcpy((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
797 )
798
799 iov_iter_advance(i, bytes);
800 return true;
801}
Al Viroaa28de22017-06-29 21:45:10 -0400802EXPORT_SYMBOL(_copy_from_iter_full);
Al Virocbbd26b2016-11-01 22:09:04 -0400803
Al Viroaa28de22017-06-29 21:45:10 -0400804size_t _copy_from_iter_nocache(void *addr, size_t bytes, struct iov_iter *i)
Al Viroaa583092014-11-27 20:27:08 -0500805{
806 char *to = addr;
David Howells00e23702018-10-22 13:07:28 +0100807 if (unlikely(iov_iter_is_pipe(i))) {
Al Viro241699c2016-09-22 16:33:12 -0400808 WARN_ON(1);
809 return 0;
810 }
Al Viroaa583092014-11-27 20:27:08 -0500811 iterate_and_advance(i, bytes, v,
Al Viro3f763452017-03-25 18:47:28 -0400812 __copy_from_user_inatomic_nocache((to += v.iov_len) - v.iov_len,
Al Viroaa583092014-11-27 20:27:08 -0500813 v.iov_base, v.iov_len),
814 memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
815 v.bv_offset, v.bv_len),
816 memcpy((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
817 )
818
819 return bytes;
820}
Al Viroaa28de22017-06-29 21:45:10 -0400821EXPORT_SYMBOL(_copy_from_iter_nocache);
Al Viroaa583092014-11-27 20:27:08 -0500822
Dan Williams0aed55a2017-05-29 12:22:50 -0700823#ifdef CONFIG_ARCH_HAS_UACCESS_FLUSHCACHE
Dan Williamsabd08d72018-07-08 13:46:07 -0700824/**
825 * _copy_from_iter_flushcache - write destination through cpu cache
826 * @addr: destination kernel address
827 * @bytes: total transfer length
828 * @iter: source iterator
829 *
830 * The pmem driver arranges for filesystem-dax to use this facility via
831 * dax_copy_from_iter() for ensuring that writes to persistent memory
832 * are flushed through the CPU cache. It is differentiated from
833 * _copy_from_iter_nocache() in that guarantees all data is flushed for
834 * all iterator types. The _copy_from_iter_nocache() only attempts to
835 * bypass the cache for the ITER_IOVEC case, and on some archs may use
836 * instructions that strand dirty-data in the cache.
837 */
Linus Torvalds6a37e942017-07-07 20:39:20 -0700838size_t _copy_from_iter_flushcache(void *addr, size_t bytes, struct iov_iter *i)
Dan Williams0aed55a2017-05-29 12:22:50 -0700839{
840 char *to = addr;
David Howells00e23702018-10-22 13:07:28 +0100841 if (unlikely(iov_iter_is_pipe(i))) {
Dan Williams0aed55a2017-05-29 12:22:50 -0700842 WARN_ON(1);
843 return 0;
844 }
845 iterate_and_advance(i, bytes, v,
846 __copy_from_user_flushcache((to += v.iov_len) - v.iov_len,
847 v.iov_base, v.iov_len),
848 memcpy_page_flushcache((to += v.bv_len) - v.bv_len, v.bv_page,
849 v.bv_offset, v.bv_len),
850 memcpy_flushcache((to += v.iov_len) - v.iov_len, v.iov_base,
851 v.iov_len)
852 )
853
854 return bytes;
855}
Linus Torvalds6a37e942017-07-07 20:39:20 -0700856EXPORT_SYMBOL_GPL(_copy_from_iter_flushcache);
Dan Williams0aed55a2017-05-29 12:22:50 -0700857#endif
858
Al Viroaa28de22017-06-29 21:45:10 -0400859bool _copy_from_iter_full_nocache(void *addr, size_t bytes, struct iov_iter *i)
Al Virocbbd26b2016-11-01 22:09:04 -0400860{
861 char *to = addr;
David Howells00e23702018-10-22 13:07:28 +0100862 if (unlikely(iov_iter_is_pipe(i))) {
Al Virocbbd26b2016-11-01 22:09:04 -0400863 WARN_ON(1);
864 return false;
865 }
Al Viro33844e62016-12-21 21:55:02 -0500866 if (unlikely(i->count < bytes))
Al Virocbbd26b2016-11-01 22:09:04 -0400867 return false;
868 iterate_all_kinds(i, bytes, v, ({
Al Viro3f763452017-03-25 18:47:28 -0400869 if (__copy_from_user_inatomic_nocache((to += v.iov_len) - v.iov_len,
Al Virocbbd26b2016-11-01 22:09:04 -0400870 v.iov_base, v.iov_len))
871 return false;
872 0;}),
873 memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
874 v.bv_offset, v.bv_len),
875 memcpy((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
876 )
877
878 iov_iter_advance(i, bytes);
879 return true;
880}
Al Viroaa28de22017-06-29 21:45:10 -0400881EXPORT_SYMBOL(_copy_from_iter_full_nocache);
Al Virocbbd26b2016-11-01 22:09:04 -0400882
Al Viro72e809e2017-06-29 21:52:57 -0400883static inline bool page_copy_sane(struct page *page, size_t offset, size_t n)
884{
Eric Dumazet6daef952019-02-26 10:42:39 -0800885 struct page *head;
886 size_t v = n + offset;
887
888 /*
889 * The general case needs to access the page order in order
890 * to compute the page size.
891 * However, we mostly deal with order-0 pages and thus can
892 * avoid a possible cache line miss for requests that fit all
893 * page orders.
894 */
895 if (n <= v && v <= PAGE_SIZE)
896 return true;
897
898 head = compound_head(page);
899 v += (page - head) << PAGE_SHIFT;
Petar Penkova90bcb82017-08-29 11:20:32 -0700900
Matthew Wilcox (Oracle)a50b8542019-09-23 15:34:25 -0700901 if (likely(n <= v && v <= (page_size(head))))
Al Viro72e809e2017-06-29 21:52:57 -0400902 return true;
903 WARN_ON(1);
904 return false;
905}
Al Virod2715242014-11-27 14:22:37 -0500906
907size_t copy_page_to_iter(struct page *page, size_t offset, size_t bytes,
908 struct iov_iter *i)
909{
Al Viro72e809e2017-06-29 21:52:57 -0400910 if (unlikely(!page_copy_sane(page, offset, bytes)))
911 return 0;
Al Virod2715242014-11-27 14:22:37 -0500912 if (i->type & (ITER_BVEC|ITER_KVEC)) {
913 void *kaddr = kmap_atomic(page);
914 size_t wanted = copy_to_iter(kaddr + offset, bytes, i);
915 kunmap_atomic(kaddr);
916 return wanted;
David Howells9ea9ce02018-10-20 00:57:56 +0100917 } else if (unlikely(iov_iter_is_discard(i)))
918 return bytes;
919 else if (likely(!iov_iter_is_pipe(i)))
Al Virod2715242014-11-27 14:22:37 -0500920 return copy_page_to_iter_iovec(page, offset, bytes, i);
Al Viro241699c2016-09-22 16:33:12 -0400921 else
922 return copy_page_to_iter_pipe(page, offset, bytes, i);
Al Virod2715242014-11-27 14:22:37 -0500923}
924EXPORT_SYMBOL(copy_page_to_iter);
925
926size_t copy_page_from_iter(struct page *page, size_t offset, size_t bytes,
927 struct iov_iter *i)
928{
Al Viro72e809e2017-06-29 21:52:57 -0400929 if (unlikely(!page_copy_sane(page, offset, bytes)))
930 return 0;
David Howells9ea9ce02018-10-20 00:57:56 +0100931 if (unlikely(iov_iter_is_pipe(i) || iov_iter_is_discard(i))) {
Al Viro241699c2016-09-22 16:33:12 -0400932 WARN_ON(1);
933 return 0;
934 }
Al Virod2715242014-11-27 14:22:37 -0500935 if (i->type & (ITER_BVEC|ITER_KVEC)) {
936 void *kaddr = kmap_atomic(page);
Al Viroaa28de22017-06-29 21:45:10 -0400937 size_t wanted = _copy_from_iter(kaddr + offset, bytes, i);
Al Virod2715242014-11-27 14:22:37 -0500938 kunmap_atomic(kaddr);
939 return wanted;
940 } else
941 return copy_page_from_iter_iovec(page, offset, bytes, i);
942}
943EXPORT_SYMBOL(copy_page_from_iter);
944
Al Viro241699c2016-09-22 16:33:12 -0400945static size_t pipe_zero(size_t bytes, struct iov_iter *i)
946{
947 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000948 unsigned int p_mask = pipe->ring_size - 1;
949 unsigned int i_head;
Al Viro241699c2016-09-22 16:33:12 -0400950 size_t n, off;
Al Viro241699c2016-09-22 16:33:12 -0400951
952 if (!sanity(i))
953 return 0;
954
David Howells8cefc102019-11-15 13:30:32 +0000955 bytes = n = push_pipe(i, bytes, &i_head, &off);
Al Viro241699c2016-09-22 16:33:12 -0400956 if (unlikely(!n))
957 return 0;
958
David Howells8cefc102019-11-15 13:30:32 +0000959 do {
Al Viro241699c2016-09-22 16:33:12 -0400960 size_t chunk = min_t(size_t, n, PAGE_SIZE - off);
David Howells8cefc102019-11-15 13:30:32 +0000961 memzero_page(pipe->bufs[i_head & p_mask].page, off, chunk);
962 i->head = i_head;
Al Viro241699c2016-09-22 16:33:12 -0400963 i->iov_offset = off + chunk;
964 n -= chunk;
David Howells8cefc102019-11-15 13:30:32 +0000965 off = 0;
966 i_head++;
967 } while (n);
Al Viro241699c2016-09-22 16:33:12 -0400968 i->count -= bytes;
969 return bytes;
970}
971
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400972size_t iov_iter_zero(size_t bytes, struct iov_iter *i)
973{
David Howells00e23702018-10-22 13:07:28 +0100974 if (unlikely(iov_iter_is_pipe(i)))
Al Viro241699c2016-09-22 16:33:12 -0400975 return pipe_zero(bytes, i);
Al Viro8442fa42014-11-27 14:18:54 -0500976 iterate_and_advance(i, bytes, v,
Al Viro09fc68dc2017-06-29 22:25:14 -0400977 clear_user(v.iov_base, v.iov_len),
Al Viroa2804552014-11-27 14:48:42 -0500978 memzero_page(v.bv_page, v.bv_offset, v.bv_len),
979 memset(v.iov_base, 0, v.iov_len)
Al Viro8442fa42014-11-27 14:18:54 -0500980 )
981
982 return bytes;
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400983}
984EXPORT_SYMBOL(iov_iter_zero);
985
Al Viro62a80672014-04-04 23:12:29 -0400986size_t iov_iter_copy_from_user_atomic(struct page *page,
987 struct iov_iter *i, unsigned long offset, size_t bytes)
988{
Al Viro04a31162014-11-27 13:51:41 -0500989 char *kaddr = kmap_atomic(page), *p = kaddr + offset;
Al Viro72e809e2017-06-29 21:52:57 -0400990 if (unlikely(!page_copy_sane(page, offset, bytes))) {
991 kunmap_atomic(kaddr);
992 return 0;
993 }
David Howells9ea9ce02018-10-20 00:57:56 +0100994 if (unlikely(iov_iter_is_pipe(i) || iov_iter_is_discard(i))) {
Al Viro241699c2016-09-22 16:33:12 -0400995 kunmap_atomic(kaddr);
996 WARN_ON(1);
997 return 0;
998 }
Al Viro04a31162014-11-27 13:51:41 -0500999 iterate_all_kinds(i, bytes, v,
Al Viro09fc68dc2017-06-29 22:25:14 -04001000 copyin((p += v.iov_len) - v.iov_len, v.iov_base, v.iov_len),
Al Viro04a31162014-11-27 13:51:41 -05001001 memcpy_from_page((p += v.bv_len) - v.bv_len, v.bv_page,
Al Viroa2804552014-11-27 14:48:42 -05001002 v.bv_offset, v.bv_len),
1003 memcpy((p += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
Al Viro04a31162014-11-27 13:51:41 -05001004 )
1005 kunmap_atomic(kaddr);
1006 return bytes;
Al Viro62a80672014-04-04 23:12:29 -04001007}
1008EXPORT_SYMBOL(iov_iter_copy_from_user_atomic);
1009
Al Virob9dc6f62017-01-14 19:33:08 -05001010static inline void pipe_truncate(struct iov_iter *i)
Al Viro241699c2016-09-22 16:33:12 -04001011{
1012 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +00001013 unsigned int p_tail = pipe->tail;
1014 unsigned int p_head = pipe->head;
1015 unsigned int p_mask = pipe->ring_size - 1;
1016
1017 if (!pipe_empty(p_head, p_tail)) {
1018 struct pipe_buffer *buf;
1019 unsigned int i_head = i->head;
Al Virob9dc6f62017-01-14 19:33:08 -05001020 size_t off = i->iov_offset;
David Howells8cefc102019-11-15 13:30:32 +00001021
Al Virob9dc6f62017-01-14 19:33:08 -05001022 if (off) {
David Howells8cefc102019-11-15 13:30:32 +00001023 buf = &pipe->bufs[i_head & p_mask];
1024 buf->len = off - buf->offset;
1025 i_head++;
Al Virob9dc6f62017-01-14 19:33:08 -05001026 }
David Howells8cefc102019-11-15 13:30:32 +00001027 while (p_head != i_head) {
1028 p_head--;
1029 pipe_buf_release(pipe, &pipe->bufs[p_head & p_mask]);
Al Viro241699c2016-09-22 16:33:12 -04001030 }
David Howells8cefc102019-11-15 13:30:32 +00001031
1032 pipe->head = p_head;
Al Viro241699c2016-09-22 16:33:12 -04001033 }
Al Virob9dc6f62017-01-14 19:33:08 -05001034}
1035
1036static void pipe_advance(struct iov_iter *i, size_t size)
1037{
1038 struct pipe_inode_info *pipe = i->pipe;
1039 if (unlikely(i->count < size))
1040 size = i->count;
1041 if (size) {
1042 struct pipe_buffer *buf;
David Howells8cefc102019-11-15 13:30:32 +00001043 unsigned int p_mask = pipe->ring_size - 1;
1044 unsigned int i_head = i->head;
Al Virob9dc6f62017-01-14 19:33:08 -05001045 size_t off = i->iov_offset, left = size;
David Howells8cefc102019-11-15 13:30:32 +00001046
Al Virob9dc6f62017-01-14 19:33:08 -05001047 if (off) /* make it relative to the beginning of buffer */
David Howells8cefc102019-11-15 13:30:32 +00001048 left += off - pipe->bufs[i_head & p_mask].offset;
Al Virob9dc6f62017-01-14 19:33:08 -05001049 while (1) {
David Howells8cefc102019-11-15 13:30:32 +00001050 buf = &pipe->bufs[i_head & p_mask];
Al Virob9dc6f62017-01-14 19:33:08 -05001051 if (left <= buf->len)
1052 break;
1053 left -= buf->len;
David Howells8cefc102019-11-15 13:30:32 +00001054 i_head++;
Al Virob9dc6f62017-01-14 19:33:08 -05001055 }
David Howells8cefc102019-11-15 13:30:32 +00001056 i->head = i_head;
Al Virob9dc6f62017-01-14 19:33:08 -05001057 i->iov_offset = buf->offset + left;
1058 }
1059 i->count -= size;
1060 /* ... and discard everything past that point */
1061 pipe_truncate(i);
Al Viro241699c2016-09-22 16:33:12 -04001062}
1063
Al Viro62a80672014-04-04 23:12:29 -04001064void iov_iter_advance(struct iov_iter *i, size_t size)
1065{
David Howells00e23702018-10-22 13:07:28 +01001066 if (unlikely(iov_iter_is_pipe(i))) {
Al Viro241699c2016-09-22 16:33:12 -04001067 pipe_advance(i, size);
1068 return;
1069 }
David Howells9ea9ce02018-10-20 00:57:56 +01001070 if (unlikely(iov_iter_is_discard(i))) {
1071 i->count -= size;
1072 return;
1073 }
Al Viroa2804552014-11-27 14:48:42 -05001074 iterate_and_advance(i, size, v, 0, 0, 0)
Al Viro62a80672014-04-04 23:12:29 -04001075}
1076EXPORT_SYMBOL(iov_iter_advance);
1077
Al Viro27c0e372017-02-17 18:42:24 -05001078void iov_iter_revert(struct iov_iter *i, size_t unroll)
1079{
1080 if (!unroll)
1081 return;
Al Viro5b47d592017-05-08 13:54:47 -04001082 if (WARN_ON(unroll > MAX_RW_COUNT))
1083 return;
Al Viro27c0e372017-02-17 18:42:24 -05001084 i->count += unroll;
David Howells00e23702018-10-22 13:07:28 +01001085 if (unlikely(iov_iter_is_pipe(i))) {
Al Viro27c0e372017-02-17 18:42:24 -05001086 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +00001087 unsigned int p_mask = pipe->ring_size - 1;
1088 unsigned int i_head = i->head;
Al Viro27c0e372017-02-17 18:42:24 -05001089 size_t off = i->iov_offset;
1090 while (1) {
David Howells8cefc102019-11-15 13:30:32 +00001091 struct pipe_buffer *b = &pipe->bufs[i_head & p_mask];
1092 size_t n = off - b->offset;
Al Viro27c0e372017-02-17 18:42:24 -05001093 if (unroll < n) {
Al Viro4fa55ce2017-04-29 16:42:30 -04001094 off -= unroll;
Al Viro27c0e372017-02-17 18:42:24 -05001095 break;
1096 }
1097 unroll -= n;
David Howells8cefc102019-11-15 13:30:32 +00001098 if (!unroll && i_head == i->start_head) {
Al Viro27c0e372017-02-17 18:42:24 -05001099 off = 0;
1100 break;
1101 }
David Howells8cefc102019-11-15 13:30:32 +00001102 i_head--;
1103 b = &pipe->bufs[i_head & p_mask];
1104 off = b->offset + b->len;
Al Viro27c0e372017-02-17 18:42:24 -05001105 }
1106 i->iov_offset = off;
David Howells8cefc102019-11-15 13:30:32 +00001107 i->head = i_head;
Al Viro27c0e372017-02-17 18:42:24 -05001108 pipe_truncate(i);
1109 return;
1110 }
David Howells9ea9ce02018-10-20 00:57:56 +01001111 if (unlikely(iov_iter_is_discard(i)))
1112 return;
Al Viro27c0e372017-02-17 18:42:24 -05001113 if (unroll <= i->iov_offset) {
1114 i->iov_offset -= unroll;
1115 return;
1116 }
1117 unroll -= i->iov_offset;
David Howells00e23702018-10-22 13:07:28 +01001118 if (iov_iter_is_bvec(i)) {
Al Viro27c0e372017-02-17 18:42:24 -05001119 const struct bio_vec *bvec = i->bvec;
1120 while (1) {
1121 size_t n = (--bvec)->bv_len;
1122 i->nr_segs++;
1123 if (unroll <= n) {
1124 i->bvec = bvec;
1125 i->iov_offset = n - unroll;
1126 return;
1127 }
1128 unroll -= n;
1129 }
1130 } else { /* same logics for iovec and kvec */
1131 const struct iovec *iov = i->iov;
1132 while (1) {
1133 size_t n = (--iov)->iov_len;
1134 i->nr_segs++;
1135 if (unroll <= n) {
1136 i->iov = iov;
1137 i->iov_offset = n - unroll;
1138 return;
1139 }
1140 unroll -= n;
1141 }
1142 }
1143}
1144EXPORT_SYMBOL(iov_iter_revert);
1145
Al Viro62a80672014-04-04 23:12:29 -04001146/*
1147 * Return the count of just the current iov_iter segment.
1148 */
1149size_t iov_iter_single_seg_count(const struct iov_iter *i)
1150{
David Howells00e23702018-10-22 13:07:28 +01001151 if (unlikely(iov_iter_is_pipe(i)))
Al Viro241699c2016-09-22 16:33:12 -04001152 return i->count; // it is a silly place, anyway
Al Viro62a80672014-04-04 23:12:29 -04001153 if (i->nr_segs == 1)
1154 return i->count;
David Howells9ea9ce02018-10-20 00:57:56 +01001155 if (unlikely(iov_iter_is_discard(i)))
1156 return i->count;
David Howells00e23702018-10-22 13:07:28 +01001157 else if (iov_iter_is_bvec(i))
Al Viro62a80672014-04-04 23:12:29 -04001158 return min(i->count, i->bvec->bv_len - i->iov_offset);
Paul Mackerrasad0eab92014-11-13 20:15:23 +11001159 else
1160 return min(i->count, i->iov->iov_len - i->iov_offset);
Al Viro62a80672014-04-04 23:12:29 -04001161}
1162EXPORT_SYMBOL(iov_iter_single_seg_count);
1163
David Howellsaa563d72018-10-20 00:57:56 +01001164void iov_iter_kvec(struct iov_iter *i, unsigned int direction,
Al Viro05afcb72015-01-23 01:08:07 -05001165 const struct kvec *kvec, unsigned long nr_segs,
Al Viroabb78f82014-11-24 14:46:11 -05001166 size_t count)
1167{
David Howellsaa563d72018-10-20 00:57:56 +01001168 WARN_ON(direction & ~(READ | WRITE));
1169 i->type = ITER_KVEC | (direction & (READ | WRITE));
Al Viro05afcb72015-01-23 01:08:07 -05001170 i->kvec = kvec;
Al Viroabb78f82014-11-24 14:46:11 -05001171 i->nr_segs = nr_segs;
1172 i->iov_offset = 0;
1173 i->count = count;
1174}
1175EXPORT_SYMBOL(iov_iter_kvec);
1176
David Howellsaa563d72018-10-20 00:57:56 +01001177void iov_iter_bvec(struct iov_iter *i, unsigned int direction,
Al Viro05afcb72015-01-23 01:08:07 -05001178 const struct bio_vec *bvec, unsigned long nr_segs,
1179 size_t count)
1180{
David Howellsaa563d72018-10-20 00:57:56 +01001181 WARN_ON(direction & ~(READ | WRITE));
1182 i->type = ITER_BVEC | (direction & (READ | WRITE));
Al Viro05afcb72015-01-23 01:08:07 -05001183 i->bvec = bvec;
1184 i->nr_segs = nr_segs;
1185 i->iov_offset = 0;
1186 i->count = count;
1187}
1188EXPORT_SYMBOL(iov_iter_bvec);
1189
David Howellsaa563d72018-10-20 00:57:56 +01001190void iov_iter_pipe(struct iov_iter *i, unsigned int direction,
Al Viro241699c2016-09-22 16:33:12 -04001191 struct pipe_inode_info *pipe,
1192 size_t count)
1193{
David Howellsaa563d72018-10-20 00:57:56 +01001194 BUG_ON(direction != READ);
David Howells8cefc102019-11-15 13:30:32 +00001195 WARN_ON(pipe_full(pipe->head, pipe->tail, pipe->ring_size));
David Howellsaa563d72018-10-20 00:57:56 +01001196 i->type = ITER_PIPE | READ;
Al Viro241699c2016-09-22 16:33:12 -04001197 i->pipe = pipe;
David Howells8cefc102019-11-15 13:30:32 +00001198 i->head = pipe->head;
Al Viro241699c2016-09-22 16:33:12 -04001199 i->iov_offset = 0;
1200 i->count = count;
David Howells8cefc102019-11-15 13:30:32 +00001201 i->start_head = i->head;
Al Viro241699c2016-09-22 16:33:12 -04001202}
1203EXPORT_SYMBOL(iov_iter_pipe);
1204
David Howells9ea9ce02018-10-20 00:57:56 +01001205/**
1206 * iov_iter_discard - Initialise an I/O iterator that discards data
1207 * @i: The iterator to initialise.
1208 * @direction: The direction of the transfer.
1209 * @count: The size of the I/O buffer in bytes.
1210 *
1211 * Set up an I/O iterator that just discards everything that's written to it.
1212 * It's only available as a READ iterator.
1213 */
1214void iov_iter_discard(struct iov_iter *i, unsigned int direction, size_t count)
1215{
1216 BUG_ON(direction != READ);
1217 i->type = ITER_DISCARD | READ;
1218 i->count = count;
1219 i->iov_offset = 0;
1220}
1221EXPORT_SYMBOL(iov_iter_discard);
1222
Al Viro62a80672014-04-04 23:12:29 -04001223unsigned long iov_iter_alignment(const struct iov_iter *i)
1224{
Al Viro04a31162014-11-27 13:51:41 -05001225 unsigned long res = 0;
1226 size_t size = i->count;
1227
David Howells00e23702018-10-22 13:07:28 +01001228 if (unlikely(iov_iter_is_pipe(i))) {
Jan Karae0ff1262019-12-16 11:54:32 +01001229 unsigned int p_mask = i->pipe->ring_size - 1;
1230
David Howells8cefc102019-11-15 13:30:32 +00001231 if (size && i->iov_offset && allocated(&i->pipe->bufs[i->head & p_mask]))
Al Viro241699c2016-09-22 16:33:12 -04001232 return size | i->iov_offset;
1233 return size;
1234 }
Al Viro04a31162014-11-27 13:51:41 -05001235 iterate_all_kinds(i, size, v,
1236 (res |= (unsigned long)v.iov_base | v.iov_len, 0),
Al Viroa2804552014-11-27 14:48:42 -05001237 res |= v.bv_offset | v.bv_len,
1238 res |= (unsigned long)v.iov_base | v.iov_len
Al Viro04a31162014-11-27 13:51:41 -05001239 )
1240 return res;
Al Viro62a80672014-04-04 23:12:29 -04001241}
1242EXPORT_SYMBOL(iov_iter_alignment);
1243
Al Viro357f4352016-04-08 19:05:19 -04001244unsigned long iov_iter_gap_alignment(const struct iov_iter *i)
1245{
Al Viro33844e62016-12-21 21:55:02 -05001246 unsigned long res = 0;
Al Viro357f4352016-04-08 19:05:19 -04001247 size_t size = i->count;
Al Viro357f4352016-04-08 19:05:19 -04001248
David Howells9ea9ce02018-10-20 00:57:56 +01001249 if (unlikely(iov_iter_is_pipe(i) || iov_iter_is_discard(i))) {
Al Viro241699c2016-09-22 16:33:12 -04001250 WARN_ON(1);
1251 return ~0U;
1252 }
1253
Al Viro357f4352016-04-08 19:05:19 -04001254 iterate_all_kinds(i, size, v,
1255 (res |= (!res ? 0 : (unsigned long)v.iov_base) |
1256 (size != v.iov_len ? size : 0), 0),
1257 (res |= (!res ? 0 : (unsigned long)v.bv_offset) |
1258 (size != v.bv_len ? size : 0)),
1259 (res |= (!res ? 0 : (unsigned long)v.iov_base) |
1260 (size != v.iov_len ? size : 0))
1261 );
Al Viro33844e62016-12-21 21:55:02 -05001262 return res;
Al Viro357f4352016-04-08 19:05:19 -04001263}
1264EXPORT_SYMBOL(iov_iter_gap_alignment);
1265
Ilya Dryomove76b63122018-05-02 20:16:56 +02001266static inline ssize_t __pipe_get_pages(struct iov_iter *i,
Al Viro241699c2016-09-22 16:33:12 -04001267 size_t maxsize,
1268 struct page **pages,
David Howells8cefc102019-11-15 13:30:32 +00001269 int iter_head,
Al Viro241699c2016-09-22 16:33:12 -04001270 size_t *start)
1271{
1272 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +00001273 unsigned int p_mask = pipe->ring_size - 1;
1274 ssize_t n = push_pipe(i, maxsize, &iter_head, start);
Al Viro241699c2016-09-22 16:33:12 -04001275 if (!n)
1276 return -EFAULT;
1277
1278 maxsize = n;
1279 n += *start;
Al Viro1689c732016-10-11 18:21:14 +01001280 while (n > 0) {
David Howells8cefc102019-11-15 13:30:32 +00001281 get_page(*pages++ = pipe->bufs[iter_head & p_mask].page);
1282 iter_head++;
Al Viro241699c2016-09-22 16:33:12 -04001283 n -= PAGE_SIZE;
1284 }
1285
1286 return maxsize;
1287}
1288
1289static ssize_t pipe_get_pages(struct iov_iter *i,
1290 struct page **pages, size_t maxsize, unsigned maxpages,
1291 size_t *start)
1292{
David Howells8cefc102019-11-15 13:30:32 +00001293 unsigned int iter_head, npages;
Al Viro241699c2016-09-22 16:33:12 -04001294 size_t capacity;
Al Viro241699c2016-09-22 16:33:12 -04001295
Al Viro33844e62016-12-21 21:55:02 -05001296 if (!maxsize)
1297 return 0;
1298
Al Viro241699c2016-09-22 16:33:12 -04001299 if (!sanity(i))
1300 return -EFAULT;
1301
David Howells8cefc102019-11-15 13:30:32 +00001302 data_start(i, &iter_head, start);
1303 /* Amount of free space: some of this one + all after this one */
1304 npages = pipe_space_for_user(iter_head, i->pipe->tail, i->pipe);
1305 capacity = min(npages, maxpages) * PAGE_SIZE - *start;
Al Viro241699c2016-09-22 16:33:12 -04001306
David Howells8cefc102019-11-15 13:30:32 +00001307 return __pipe_get_pages(i, min(maxsize, capacity), pages, iter_head, start);
Al Viro241699c2016-09-22 16:33:12 -04001308}
1309
Al Viro62a80672014-04-04 23:12:29 -04001310ssize_t iov_iter_get_pages(struct iov_iter *i,
Miklos Szeredi2c809292014-09-24 17:09:11 +02001311 struct page **pages, size_t maxsize, unsigned maxpages,
Al Viro62a80672014-04-04 23:12:29 -04001312 size_t *start)
1313{
Al Viroe5393fa2014-11-27 14:12:09 -05001314 if (maxsize > i->count)
1315 maxsize = i->count;
1316
David Howells00e23702018-10-22 13:07:28 +01001317 if (unlikely(iov_iter_is_pipe(i)))
Al Viro241699c2016-09-22 16:33:12 -04001318 return pipe_get_pages(i, pages, maxsize, maxpages, start);
David Howells9ea9ce02018-10-20 00:57:56 +01001319 if (unlikely(iov_iter_is_discard(i)))
1320 return -EFAULT;
1321
Al Viroe5393fa2014-11-27 14:12:09 -05001322 iterate_all_kinds(i, maxsize, v, ({
1323 unsigned long addr = (unsigned long)v.iov_base;
1324 size_t len = v.iov_len + (*start = addr & (PAGE_SIZE - 1));
1325 int n;
1326 int res;
1327
1328 if (len > maxpages * PAGE_SIZE)
1329 len = maxpages * PAGE_SIZE;
1330 addr &= ~(PAGE_SIZE - 1);
1331 n = DIV_ROUND_UP(len, PAGE_SIZE);
Ira Weiny73b01402019-05-13 17:17:11 -07001332 res = get_user_pages_fast(addr, n,
1333 iov_iter_rw(i) != WRITE ? FOLL_WRITE : 0,
1334 pages);
Al Viroe5393fa2014-11-27 14:12:09 -05001335 if (unlikely(res < 0))
1336 return res;
1337 return (res == n ? len : res * PAGE_SIZE) - *start;
1338 0;}),({
1339 /* can't be more than PAGE_SIZE */
1340 *start = v.bv_offset;
1341 get_page(*pages = v.bv_page);
1342 return v.bv_len;
Al Viroa2804552014-11-27 14:48:42 -05001343 }),({
1344 return -EFAULT;
Al Viroe5393fa2014-11-27 14:12:09 -05001345 })
1346 )
1347 return 0;
Al Viro62a80672014-04-04 23:12:29 -04001348}
1349EXPORT_SYMBOL(iov_iter_get_pages);
1350
Al Viro1b17f1f2014-11-27 14:14:31 -05001351static struct page **get_pages_array(size_t n)
1352{
Michal Hocko752ade62017-05-08 15:57:27 -07001353 return kvmalloc_array(n, sizeof(struct page *), GFP_KERNEL);
Al Viro1b17f1f2014-11-27 14:14:31 -05001354}
1355
Al Viro241699c2016-09-22 16:33:12 -04001356static ssize_t pipe_get_pages_alloc(struct iov_iter *i,
1357 struct page ***pages, size_t maxsize,
1358 size_t *start)
1359{
1360 struct page **p;
David Howells8cefc102019-11-15 13:30:32 +00001361 unsigned int iter_head, npages;
Ilya Dryomovd7760d62018-05-02 20:16:57 +02001362 ssize_t n;
Al Viro241699c2016-09-22 16:33:12 -04001363
Al Viro33844e62016-12-21 21:55:02 -05001364 if (!maxsize)
1365 return 0;
1366
Al Viro241699c2016-09-22 16:33:12 -04001367 if (!sanity(i))
1368 return -EFAULT;
1369
David Howells8cefc102019-11-15 13:30:32 +00001370 data_start(i, &iter_head, start);
1371 /* Amount of free space: some of this one + all after this one */
1372 npages = pipe_space_for_user(iter_head, i->pipe->tail, i->pipe);
Al Viro241699c2016-09-22 16:33:12 -04001373 n = npages * PAGE_SIZE - *start;
1374 if (maxsize > n)
1375 maxsize = n;
1376 else
1377 npages = DIV_ROUND_UP(maxsize + *start, PAGE_SIZE);
1378 p = get_pages_array(npages);
1379 if (!p)
1380 return -ENOMEM;
David Howells8cefc102019-11-15 13:30:32 +00001381 n = __pipe_get_pages(i, maxsize, p, iter_head, start);
Al Viro241699c2016-09-22 16:33:12 -04001382 if (n > 0)
1383 *pages = p;
1384 else
1385 kvfree(p);
1386 return n;
1387}
1388
Al Viro62a80672014-04-04 23:12:29 -04001389ssize_t iov_iter_get_pages_alloc(struct iov_iter *i,
1390 struct page ***pages, size_t maxsize,
1391 size_t *start)
1392{
Al Viro1b17f1f2014-11-27 14:14:31 -05001393 struct page **p;
1394
1395 if (maxsize > i->count)
1396 maxsize = i->count;
1397
David Howells00e23702018-10-22 13:07:28 +01001398 if (unlikely(iov_iter_is_pipe(i)))
Al Viro241699c2016-09-22 16:33:12 -04001399 return pipe_get_pages_alloc(i, pages, maxsize, start);
David Howells9ea9ce02018-10-20 00:57:56 +01001400 if (unlikely(iov_iter_is_discard(i)))
1401 return -EFAULT;
1402
Al Viro1b17f1f2014-11-27 14:14:31 -05001403 iterate_all_kinds(i, maxsize, v, ({
1404 unsigned long addr = (unsigned long)v.iov_base;
1405 size_t len = v.iov_len + (*start = addr & (PAGE_SIZE - 1));
1406 int n;
1407 int res;
1408
1409 addr &= ~(PAGE_SIZE - 1);
1410 n = DIV_ROUND_UP(len, PAGE_SIZE);
1411 p = get_pages_array(n);
1412 if (!p)
1413 return -ENOMEM;
Ira Weiny73b01402019-05-13 17:17:11 -07001414 res = get_user_pages_fast(addr, n,
1415 iov_iter_rw(i) != WRITE ? FOLL_WRITE : 0, p);
Al Viro1b17f1f2014-11-27 14:14:31 -05001416 if (unlikely(res < 0)) {
1417 kvfree(p);
1418 return res;
1419 }
1420 *pages = p;
1421 return (res == n ? len : res * PAGE_SIZE) - *start;
1422 0;}),({
1423 /* can't be more than PAGE_SIZE */
1424 *start = v.bv_offset;
1425 *pages = p = get_pages_array(1);
1426 if (!p)
1427 return -ENOMEM;
1428 get_page(*p = v.bv_page);
1429 return v.bv_len;
Al Viroa2804552014-11-27 14:48:42 -05001430 }),({
1431 return -EFAULT;
Al Viro1b17f1f2014-11-27 14:14:31 -05001432 })
1433 )
1434 return 0;
Al Viro62a80672014-04-04 23:12:29 -04001435}
1436EXPORT_SYMBOL(iov_iter_get_pages_alloc);
1437
Al Viroa604ec72014-11-24 01:08:00 -05001438size_t csum_and_copy_from_iter(void *addr, size_t bytes, __wsum *csum,
1439 struct iov_iter *i)
1440{
1441 char *to = addr;
1442 __wsum sum, next;
1443 size_t off = 0;
Al Viroa604ec72014-11-24 01:08:00 -05001444 sum = *csum;
David Howells9ea9ce02018-10-20 00:57:56 +01001445 if (unlikely(iov_iter_is_pipe(i) || iov_iter_is_discard(i))) {
Al Viro241699c2016-09-22 16:33:12 -04001446 WARN_ON(1);
1447 return 0;
1448 }
Al Viroa604ec72014-11-24 01:08:00 -05001449 iterate_and_advance(i, bytes, v, ({
1450 int err = 0;
Al Virocbbd26b2016-11-01 22:09:04 -04001451 next = csum_and_copy_from_user(v.iov_base,
Al Viroa604ec72014-11-24 01:08:00 -05001452 (to += v.iov_len) - v.iov_len,
1453 v.iov_len, 0, &err);
1454 if (!err) {
1455 sum = csum_block_add(sum, next, off);
1456 off += v.iov_len;
1457 }
1458 err ? v.iov_len : 0;
1459 }), ({
1460 char *p = kmap_atomic(v.bv_page);
Al Virof9152892018-11-27 22:32:59 -05001461 sum = csum_and_memcpy((to += v.bv_len) - v.bv_len,
1462 p + v.bv_offset, v.bv_len,
1463 sum, off);
Al Viroa604ec72014-11-24 01:08:00 -05001464 kunmap_atomic(p);
Al Viroa604ec72014-11-24 01:08:00 -05001465 off += v.bv_len;
1466 }),({
Al Virof9152892018-11-27 22:32:59 -05001467 sum = csum_and_memcpy((to += v.iov_len) - v.iov_len,
1468 v.iov_base, v.iov_len,
1469 sum, off);
Al Viroa604ec72014-11-24 01:08:00 -05001470 off += v.iov_len;
1471 })
1472 )
1473 *csum = sum;
1474 return bytes;
1475}
1476EXPORT_SYMBOL(csum_and_copy_from_iter);
1477
Al Virocbbd26b2016-11-01 22:09:04 -04001478bool csum_and_copy_from_iter_full(void *addr, size_t bytes, __wsum *csum,
1479 struct iov_iter *i)
1480{
1481 char *to = addr;
1482 __wsum sum, next;
1483 size_t off = 0;
1484 sum = *csum;
David Howells9ea9ce02018-10-20 00:57:56 +01001485 if (unlikely(iov_iter_is_pipe(i) || iov_iter_is_discard(i))) {
Al Virocbbd26b2016-11-01 22:09:04 -04001486 WARN_ON(1);
1487 return false;
1488 }
1489 if (unlikely(i->count < bytes))
1490 return false;
1491 iterate_all_kinds(i, bytes, v, ({
1492 int err = 0;
1493 next = csum_and_copy_from_user(v.iov_base,
1494 (to += v.iov_len) - v.iov_len,
1495 v.iov_len, 0, &err);
1496 if (err)
1497 return false;
1498 sum = csum_block_add(sum, next, off);
1499 off += v.iov_len;
1500 0;
1501 }), ({
1502 char *p = kmap_atomic(v.bv_page);
Al Virof9152892018-11-27 22:32:59 -05001503 sum = csum_and_memcpy((to += v.bv_len) - v.bv_len,
1504 p + v.bv_offset, v.bv_len,
1505 sum, off);
Al Virocbbd26b2016-11-01 22:09:04 -04001506 kunmap_atomic(p);
Al Virocbbd26b2016-11-01 22:09:04 -04001507 off += v.bv_len;
1508 }),({
Al Virof9152892018-11-27 22:32:59 -05001509 sum = csum_and_memcpy((to += v.iov_len) - v.iov_len,
1510 v.iov_base, v.iov_len,
1511 sum, off);
Al Virocbbd26b2016-11-01 22:09:04 -04001512 off += v.iov_len;
1513 })
1514 )
1515 *csum = sum;
1516 iov_iter_advance(i, bytes);
1517 return true;
1518}
1519EXPORT_SYMBOL(csum_and_copy_from_iter_full);
1520
Sagi Grimbergcb002d02018-12-03 17:52:07 -08001521size_t csum_and_copy_to_iter(const void *addr, size_t bytes, void *csump,
Al Viroa604ec72014-11-24 01:08:00 -05001522 struct iov_iter *i)
1523{
Al Viro36f7a8a2015-12-06 16:49:22 -05001524 const char *from = addr;
Sagi Grimbergcb002d02018-12-03 17:52:07 -08001525 __wsum *csum = csump;
Al Viroa604ec72014-11-24 01:08:00 -05001526 __wsum sum, next;
1527 size_t off = 0;
Al Viro78e1f382018-11-25 16:24:16 -05001528
1529 if (unlikely(iov_iter_is_pipe(i)))
1530 return csum_and_copy_to_pipe_iter(addr, bytes, csum, i);
1531
Al Viroa604ec72014-11-24 01:08:00 -05001532 sum = *csum;
Al Viro78e1f382018-11-25 16:24:16 -05001533 if (unlikely(iov_iter_is_discard(i))) {
Al Viro241699c2016-09-22 16:33:12 -04001534 WARN_ON(1); /* for now */
1535 return 0;
1536 }
Al Viroa604ec72014-11-24 01:08:00 -05001537 iterate_and_advance(i, bytes, v, ({
1538 int err = 0;
1539 next = csum_and_copy_to_user((from += v.iov_len) - v.iov_len,
Al Virocbbd26b2016-11-01 22:09:04 -04001540 v.iov_base,
Al Viroa604ec72014-11-24 01:08:00 -05001541 v.iov_len, 0, &err);
1542 if (!err) {
1543 sum = csum_block_add(sum, next, off);
1544 off += v.iov_len;
1545 }
1546 err ? v.iov_len : 0;
1547 }), ({
1548 char *p = kmap_atomic(v.bv_page);
Al Virof9152892018-11-27 22:32:59 -05001549 sum = csum_and_memcpy(p + v.bv_offset,
1550 (from += v.bv_len) - v.bv_len,
1551 v.bv_len, sum, off);
Al Viroa604ec72014-11-24 01:08:00 -05001552 kunmap_atomic(p);
Al Viroa604ec72014-11-24 01:08:00 -05001553 off += v.bv_len;
1554 }),({
Al Virof9152892018-11-27 22:32:59 -05001555 sum = csum_and_memcpy(v.iov_base,
1556 (from += v.iov_len) - v.iov_len,
1557 v.iov_len, sum, off);
Al Viroa604ec72014-11-24 01:08:00 -05001558 off += v.iov_len;
1559 })
1560 )
1561 *csum = sum;
1562 return bytes;
1563}
1564EXPORT_SYMBOL(csum_and_copy_to_iter);
1565
Sagi Grimbergd05f4432018-12-03 17:52:09 -08001566size_t hash_and_copy_to_iter(const void *addr, size_t bytes, void *hashp,
1567 struct iov_iter *i)
1568{
YueHaibing27fad742019-04-04 10:31:14 +08001569#ifdef CONFIG_CRYPTO
Sagi Grimbergd05f4432018-12-03 17:52:09 -08001570 struct ahash_request *hash = hashp;
1571 struct scatterlist sg;
1572 size_t copied;
1573
1574 copied = copy_to_iter(addr, bytes, i);
1575 sg_init_one(&sg, addr, copied);
1576 ahash_request_set_crypt(hash, &sg, NULL, copied);
1577 crypto_ahash_update(hash);
1578 return copied;
YueHaibing27fad742019-04-04 10:31:14 +08001579#else
1580 return 0;
1581#endif
Sagi Grimbergd05f4432018-12-03 17:52:09 -08001582}
1583EXPORT_SYMBOL(hash_and_copy_to_iter);
1584
Al Viro62a80672014-04-04 23:12:29 -04001585int iov_iter_npages(const struct iov_iter *i, int maxpages)
1586{
Al Viroe0f2dc42014-11-27 14:09:46 -05001587 size_t size = i->count;
1588 int npages = 0;
1589
1590 if (!size)
1591 return 0;
David Howells9ea9ce02018-10-20 00:57:56 +01001592 if (unlikely(iov_iter_is_discard(i)))
1593 return 0;
Al Viroe0f2dc42014-11-27 14:09:46 -05001594
David Howells00e23702018-10-22 13:07:28 +01001595 if (unlikely(iov_iter_is_pipe(i))) {
Al Viro241699c2016-09-22 16:33:12 -04001596 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +00001597 unsigned int iter_head;
Al Viro241699c2016-09-22 16:33:12 -04001598 size_t off;
Al Viro241699c2016-09-22 16:33:12 -04001599
1600 if (!sanity(i))
1601 return 0;
1602
David Howells8cefc102019-11-15 13:30:32 +00001603 data_start(i, &iter_head, &off);
Al Viro241699c2016-09-22 16:33:12 -04001604 /* some of this one + all after this one */
David Howells8cefc102019-11-15 13:30:32 +00001605 npages = pipe_space_for_user(iter_head, pipe->tail, pipe);
Al Viro241699c2016-09-22 16:33:12 -04001606 if (npages >= maxpages)
1607 return maxpages;
1608 } else iterate_all_kinds(i, size, v, ({
Al Viroe0f2dc42014-11-27 14:09:46 -05001609 unsigned long p = (unsigned long)v.iov_base;
1610 npages += DIV_ROUND_UP(p + v.iov_len, PAGE_SIZE)
1611 - p / PAGE_SIZE;
1612 if (npages >= maxpages)
1613 return maxpages;
1614 0;}),({
1615 npages++;
1616 if (npages >= maxpages)
1617 return maxpages;
Al Viroa2804552014-11-27 14:48:42 -05001618 }),({
1619 unsigned long p = (unsigned long)v.iov_base;
1620 npages += DIV_ROUND_UP(p + v.iov_len, PAGE_SIZE)
1621 - p / PAGE_SIZE;
1622 if (npages >= maxpages)
1623 return maxpages;
Al Viroe0f2dc42014-11-27 14:09:46 -05001624 })
1625 )
1626 return npages;
Al Viro62a80672014-04-04 23:12:29 -04001627}
Al Virof67da302014-03-19 01:16:16 -04001628EXPORT_SYMBOL(iov_iter_npages);
Al Viro4b8164b2015-01-31 20:08:47 -05001629
1630const void *dup_iter(struct iov_iter *new, struct iov_iter *old, gfp_t flags)
1631{
1632 *new = *old;
David Howells00e23702018-10-22 13:07:28 +01001633 if (unlikely(iov_iter_is_pipe(new))) {
Al Viro241699c2016-09-22 16:33:12 -04001634 WARN_ON(1);
1635 return NULL;
1636 }
David Howells9ea9ce02018-10-20 00:57:56 +01001637 if (unlikely(iov_iter_is_discard(new)))
1638 return NULL;
David Howells00e23702018-10-22 13:07:28 +01001639 if (iov_iter_is_bvec(new))
Al Viro4b8164b2015-01-31 20:08:47 -05001640 return new->bvec = kmemdup(new->bvec,
1641 new->nr_segs * sizeof(struct bio_vec),
1642 flags);
1643 else
1644 /* iovec and kvec have identical layout */
1645 return new->iov = kmemdup(new->iov,
1646 new->nr_segs * sizeof(struct iovec),
1647 flags);
1648}
1649EXPORT_SYMBOL(dup_iter);
Al Virobc917be2015-03-21 17:45:43 -04001650
Vegard Nossumffecee42016-10-08 11:18:07 +02001651/**
1652 * import_iovec() - Copy an array of &struct iovec from userspace
1653 * into the kernel, check that it is valid, and initialize a new
1654 * &struct iov_iter iterator to access it.
1655 *
1656 * @type: One of %READ or %WRITE.
1657 * @uvector: Pointer to the userspace array.
1658 * @nr_segs: Number of elements in userspace array.
1659 * @fast_segs: Number of elements in @iov.
1660 * @iov: (input and output parameter) Pointer to pointer to (usually small
1661 * on-stack) kernel array.
1662 * @i: Pointer to iterator that will be initialized on success.
1663 *
1664 * If the array pointed to by *@iov is large enough to hold all @nr_segs,
1665 * then this function places %NULL in *@iov on return. Otherwise, a new
1666 * array will be allocated and the result placed in *@iov. This means that
1667 * the caller may call kfree() on *@iov regardless of whether the small
1668 * on-stack array was used or not (and regardless of whether this function
1669 * returns an error or not).
1670 *
Jens Axboe87e5e6d2019-05-14 16:02:22 -06001671 * Return: Negative error code on error, bytes imported on success
Vegard Nossumffecee42016-10-08 11:18:07 +02001672 */
Jens Axboe87e5e6d2019-05-14 16:02:22 -06001673ssize_t import_iovec(int type, const struct iovec __user * uvector,
Al Virobc917be2015-03-21 17:45:43 -04001674 unsigned nr_segs, unsigned fast_segs,
1675 struct iovec **iov, struct iov_iter *i)
1676{
1677 ssize_t n;
1678 struct iovec *p;
1679 n = rw_copy_check_uvector(type, uvector, nr_segs, fast_segs,
1680 *iov, &p);
1681 if (n < 0) {
1682 if (p != *iov)
1683 kfree(p);
1684 *iov = NULL;
1685 return n;
1686 }
1687 iov_iter_init(i, type, p, nr_segs, n);
1688 *iov = p == *iov ? NULL : p;
Jens Axboe87e5e6d2019-05-14 16:02:22 -06001689 return n;
Al Virobc917be2015-03-21 17:45:43 -04001690}
1691EXPORT_SYMBOL(import_iovec);
1692
1693#ifdef CONFIG_COMPAT
1694#include <linux/compat.h>
1695
Jens Axboe87e5e6d2019-05-14 16:02:22 -06001696ssize_t compat_import_iovec(int type,
1697 const struct compat_iovec __user * uvector,
1698 unsigned nr_segs, unsigned fast_segs,
1699 struct iovec **iov, struct iov_iter *i)
Al Virobc917be2015-03-21 17:45:43 -04001700{
1701 ssize_t n;
1702 struct iovec *p;
1703 n = compat_rw_copy_check_uvector(type, uvector, nr_segs, fast_segs,
1704 *iov, &p);
1705 if (n < 0) {
1706 if (p != *iov)
1707 kfree(p);
1708 *iov = NULL;
1709 return n;
1710 }
1711 iov_iter_init(i, type, p, nr_segs, n);
1712 *iov = p == *iov ? NULL : p;
Jens Axboe87e5e6d2019-05-14 16:02:22 -06001713 return n;
Al Virobc917be2015-03-21 17:45:43 -04001714}
Arnd Bergmann98aaaec2019-03-14 17:45:18 +01001715EXPORT_SYMBOL(compat_import_iovec);
Al Virobc917be2015-03-21 17:45:43 -04001716#endif
1717
1718int import_single_range(int rw, void __user *buf, size_t len,
1719 struct iovec *iov, struct iov_iter *i)
1720{
1721 if (len > MAX_RW_COUNT)
1722 len = MAX_RW_COUNT;
Linus Torvalds96d4f262019-01-03 18:57:57 -08001723 if (unlikely(!access_ok(buf, len)))
Al Virobc917be2015-03-21 17:45:43 -04001724 return -EFAULT;
1725
1726 iov->iov_base = buf;
1727 iov->iov_len = len;
1728 iov_iter_init(i, rw, iov, 1, len);
1729 return 0;
1730}
Al Viroe1267582015-12-06 20:38:56 -05001731EXPORT_SYMBOL(import_single_range);
Al Viro09cf6982017-02-18 01:44:03 -05001732
1733int iov_iter_for_each_range(struct iov_iter *i, size_t bytes,
1734 int (*f)(struct kvec *vec, void *context),
1735 void *context)
1736{
1737 struct kvec w;
1738 int err = -EINVAL;
1739 if (!bytes)
1740 return 0;
1741
1742 iterate_all_kinds(i, bytes, v, -EINVAL, ({
1743 w.iov_base = kmap(v.bv_page) + v.bv_offset;
1744 w.iov_len = v.bv_len;
1745 err = f(&w, context);
1746 kunmap(v.bv_page);
1747 err;}), ({
1748 w = v;
1749 err = f(&w, context);})
1750 )
1751 return err;
1752}
1753EXPORT_SYMBOL(iov_iter_for_each_range);