blob: 1c1c06ddc20a8a961d7d9f73e43d65b695636d5d [file] [log] [blame]
Al Viro4f18cd32014-02-05 19:11:33 -05001#include <linux/export.h>
Christoph Hellwig2f8b5442016-11-01 07:40:13 -06002#include <linux/bvec.h>
Al Viro4f18cd32014-02-05 19:11:33 -05003#include <linux/uio.h>
4#include <linux/pagemap.h>
Al Viro91f79c42014-03-21 04:58:33 -04005#include <linux/slab.h>
6#include <linux/vmalloc.h>
Al Viro241699c2016-09-22 16:33:12 -04007#include <linux/splice.h>
Al Viroa604ec72014-11-24 01:08:00 -05008#include <net/checksum.h>
Al Viro4f18cd32014-02-05 19:11:33 -05009
Al Viro241699c2016-09-22 16:33:12 -040010#define PIPE_PARANOIA /* for now */
11
Al Viro04a31162014-11-27 13:51:41 -050012#define iterate_iovec(i, n, __v, __p, skip, STEP) { \
13 size_t left; \
14 size_t wanted = n; \
15 __p = i->iov; \
16 __v.iov_len = min(n, __p->iov_len - skip); \
17 if (likely(__v.iov_len)) { \
18 __v.iov_base = __p->iov_base + skip; \
19 left = (STEP); \
20 __v.iov_len -= left; \
21 skip += __v.iov_len; \
22 n -= __v.iov_len; \
23 } else { \
24 left = 0; \
25 } \
26 while (unlikely(!left && n)) { \
27 __p++; \
28 __v.iov_len = min(n, __p->iov_len); \
29 if (unlikely(!__v.iov_len)) \
30 continue; \
31 __v.iov_base = __p->iov_base; \
32 left = (STEP); \
33 __v.iov_len -= left; \
34 skip = __v.iov_len; \
35 n -= __v.iov_len; \
36 } \
37 n = wanted - n; \
38}
39
Al Viroa2804552014-11-27 14:48:42 -050040#define iterate_kvec(i, n, __v, __p, skip, STEP) { \
41 size_t wanted = n; \
42 __p = i->kvec; \
43 __v.iov_len = min(n, __p->iov_len - skip); \
44 if (likely(__v.iov_len)) { \
45 __v.iov_base = __p->iov_base + skip; \
46 (void)(STEP); \
47 skip += __v.iov_len; \
48 n -= __v.iov_len; \
49 } \
50 while (unlikely(n)) { \
51 __p++; \
52 __v.iov_len = min(n, __p->iov_len); \
53 if (unlikely(!__v.iov_len)) \
54 continue; \
55 __v.iov_base = __p->iov_base; \
56 (void)(STEP); \
57 skip = __v.iov_len; \
58 n -= __v.iov_len; \
59 } \
60 n = wanted; \
61}
62
Ming Lei1bdc76a2016-05-30 21:34:32 +080063#define iterate_bvec(i, n, __v, __bi, skip, STEP) { \
64 struct bvec_iter __start; \
65 __start.bi_size = n; \
66 __start.bi_bvec_done = skip; \
67 __start.bi_idx = 0; \
68 for_each_bvec(__v, i->bvec, __bi, __start) { \
69 if (!__v.bv_len) \
Al Viro04a31162014-11-27 13:51:41 -050070 continue; \
Al Viro04a31162014-11-27 13:51:41 -050071 (void)(STEP); \
Al Viro04a31162014-11-27 13:51:41 -050072 } \
Al Viro04a31162014-11-27 13:51:41 -050073}
74
Al Viroa2804552014-11-27 14:48:42 -050075#define iterate_all_kinds(i, n, v, I, B, K) { \
Al Viro33844e62016-12-21 21:55:02 -050076 if (likely(n)) { \
77 size_t skip = i->iov_offset; \
78 if (unlikely(i->type & ITER_BVEC)) { \
79 struct bio_vec v; \
80 struct bvec_iter __bi; \
81 iterate_bvec(i, n, v, __bi, skip, (B)) \
82 } else if (unlikely(i->type & ITER_KVEC)) { \
83 const struct kvec *kvec; \
84 struct kvec v; \
85 iterate_kvec(i, n, v, kvec, skip, (K)) \
86 } else { \
87 const struct iovec *iov; \
88 struct iovec v; \
89 iterate_iovec(i, n, v, iov, skip, (I)) \
90 } \
Al Viro04a31162014-11-27 13:51:41 -050091 } \
92}
93
Al Viroa2804552014-11-27 14:48:42 -050094#define iterate_and_advance(i, n, v, I, B, K) { \
Al Virodd254f52016-05-09 11:54:48 -040095 if (unlikely(i->count < n)) \
96 n = i->count; \
Al Viro19f18452016-05-25 17:36:19 -040097 if (i->count) { \
Al Virodd254f52016-05-09 11:54:48 -040098 size_t skip = i->iov_offset; \
99 if (unlikely(i->type & ITER_BVEC)) { \
Ming Lei1bdc76a2016-05-30 21:34:32 +0800100 const struct bio_vec *bvec = i->bvec; \
Al Virodd254f52016-05-09 11:54:48 -0400101 struct bio_vec v; \
Ming Lei1bdc76a2016-05-30 21:34:32 +0800102 struct bvec_iter __bi; \
103 iterate_bvec(i, n, v, __bi, skip, (B)) \
104 i->bvec = __bvec_iter_bvec(i->bvec, __bi); \
105 i->nr_segs -= i->bvec - bvec; \
106 skip = __bi.bi_bvec_done; \
Al Virodd254f52016-05-09 11:54:48 -0400107 } else if (unlikely(i->type & ITER_KVEC)) { \
108 const struct kvec *kvec; \
109 struct kvec v; \
110 iterate_kvec(i, n, v, kvec, skip, (K)) \
111 if (skip == kvec->iov_len) { \
112 kvec++; \
113 skip = 0; \
114 } \
115 i->nr_segs -= kvec - i->kvec; \
116 i->kvec = kvec; \
117 } else { \
118 const struct iovec *iov; \
119 struct iovec v; \
120 iterate_iovec(i, n, v, iov, skip, (I)) \
121 if (skip == iov->iov_len) { \
122 iov++; \
123 skip = 0; \
124 } \
125 i->nr_segs -= iov - i->iov; \
126 i->iov = iov; \
Al Viro7ce2a912014-11-27 13:59:45 -0500127 } \
Al Virodd254f52016-05-09 11:54:48 -0400128 i->count -= n; \
129 i->iov_offset = skip; \
Al Viro7ce2a912014-11-27 13:59:45 -0500130 } \
Al Viro7ce2a912014-11-27 13:59:45 -0500131}
132
Al Viro09fc68d2017-06-29 22:25:14 -0400133static int copyout(void __user *to, const void *from, size_t n)
134{
135 if (access_ok(VERIFY_WRITE, to, n)) {
136 kasan_check_read(from, n);
137 n = raw_copy_to_user(to, from, n);
138 }
139 return n;
140}
141
142static int copyin(void *to, const void __user *from, size_t n)
143{
144 if (access_ok(VERIFY_READ, from, n)) {
145 kasan_check_write(to, n);
146 n = raw_copy_from_user(to, from, n);
147 }
148 return n;
149}
150
Al Viro62a80672014-04-04 23:12:29 -0400151static size_t copy_page_to_iter_iovec(struct page *page, size_t offset, size_t bytes,
Al Viro4f18cd32014-02-05 19:11:33 -0500152 struct iov_iter *i)
153{
154 size_t skip, copy, left, wanted;
155 const struct iovec *iov;
156 char __user *buf;
157 void *kaddr, *from;
158
159 if (unlikely(bytes > i->count))
160 bytes = i->count;
161
162 if (unlikely(!bytes))
163 return 0;
164
Al Viro09fc68d2017-06-29 22:25:14 -0400165 might_fault();
Al Viro4f18cd32014-02-05 19:11:33 -0500166 wanted = bytes;
167 iov = i->iov;
168 skip = i->iov_offset;
169 buf = iov->iov_base + skip;
170 copy = min(bytes, iov->iov_len - skip);
171
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700172 if (IS_ENABLED(CONFIG_HIGHMEM) && !fault_in_pages_writeable(buf, copy)) {
Al Viro4f18cd32014-02-05 19:11:33 -0500173 kaddr = kmap_atomic(page);
174 from = kaddr + offset;
175
176 /* first chunk, usually the only one */
Al Viro09fc68d2017-06-29 22:25:14 -0400177 left = copyout(buf, from, copy);
Al Viro4f18cd32014-02-05 19:11:33 -0500178 copy -= left;
179 skip += copy;
180 from += copy;
181 bytes -= copy;
182
183 while (unlikely(!left && bytes)) {
184 iov++;
185 buf = iov->iov_base;
186 copy = min(bytes, iov->iov_len);
Al Viro09fc68d2017-06-29 22:25:14 -0400187 left = copyout(buf, from, copy);
Al Viro4f18cd32014-02-05 19:11:33 -0500188 copy -= left;
189 skip = copy;
190 from += copy;
191 bytes -= copy;
192 }
193 if (likely(!bytes)) {
194 kunmap_atomic(kaddr);
195 goto done;
196 }
197 offset = from - kaddr;
198 buf += copy;
199 kunmap_atomic(kaddr);
200 copy = min(bytes, iov->iov_len - skip);
201 }
202 /* Too bad - revert to non-atomic kmap */
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700203
Al Viro4f18cd32014-02-05 19:11:33 -0500204 kaddr = kmap(page);
205 from = kaddr + offset;
Al Viro09fc68d2017-06-29 22:25:14 -0400206 left = copyout(buf, from, copy);
Al Viro4f18cd32014-02-05 19:11:33 -0500207 copy -= left;
208 skip += copy;
209 from += copy;
210 bytes -= copy;
211 while (unlikely(!left && bytes)) {
212 iov++;
213 buf = iov->iov_base;
214 copy = min(bytes, iov->iov_len);
Al Viro09fc68d2017-06-29 22:25:14 -0400215 left = copyout(buf, from, copy);
Al Viro4f18cd32014-02-05 19:11:33 -0500216 copy -= left;
217 skip = copy;
218 from += copy;
219 bytes -= copy;
220 }
221 kunmap(page);
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700222
Al Viro4f18cd32014-02-05 19:11:33 -0500223done:
Al Viro81055e52014-04-04 19:23:46 -0400224 if (skip == iov->iov_len) {
225 iov++;
226 skip = 0;
227 }
Al Viro4f18cd32014-02-05 19:11:33 -0500228 i->count -= wanted - bytes;
229 i->nr_segs -= iov - i->iov;
230 i->iov = iov;
231 i->iov_offset = skip;
232 return wanted - bytes;
233}
Al Viro4f18cd32014-02-05 19:11:33 -0500234
Al Viro62a80672014-04-04 23:12:29 -0400235static size_t copy_page_from_iter_iovec(struct page *page, size_t offset, size_t bytes,
Al Virof0d1bec2014-04-03 15:05:18 -0400236 struct iov_iter *i)
237{
238 size_t skip, copy, left, wanted;
239 const struct iovec *iov;
240 char __user *buf;
241 void *kaddr, *to;
242
243 if (unlikely(bytes > i->count))
244 bytes = i->count;
245
246 if (unlikely(!bytes))
247 return 0;
248
Al Viro09fc68d2017-06-29 22:25:14 -0400249 might_fault();
Al Virof0d1bec2014-04-03 15:05:18 -0400250 wanted = bytes;
251 iov = i->iov;
252 skip = i->iov_offset;
253 buf = iov->iov_base + skip;
254 copy = min(bytes, iov->iov_len - skip);
255
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700256 if (IS_ENABLED(CONFIG_HIGHMEM) && !fault_in_pages_readable(buf, copy)) {
Al Virof0d1bec2014-04-03 15:05:18 -0400257 kaddr = kmap_atomic(page);
258 to = kaddr + offset;
259
260 /* first chunk, usually the only one */
Al Viro09fc68d2017-06-29 22:25:14 -0400261 left = copyin(to, buf, copy);
Al Virof0d1bec2014-04-03 15:05:18 -0400262 copy -= left;
263 skip += copy;
264 to += copy;
265 bytes -= copy;
266
267 while (unlikely(!left && bytes)) {
268 iov++;
269 buf = iov->iov_base;
270 copy = min(bytes, iov->iov_len);
Al Viro09fc68d2017-06-29 22:25:14 -0400271 left = copyin(to, buf, copy);
Al Virof0d1bec2014-04-03 15:05:18 -0400272 copy -= left;
273 skip = copy;
274 to += copy;
275 bytes -= copy;
276 }
277 if (likely(!bytes)) {
278 kunmap_atomic(kaddr);
279 goto done;
280 }
281 offset = to - kaddr;
282 buf += copy;
283 kunmap_atomic(kaddr);
284 copy = min(bytes, iov->iov_len - skip);
285 }
286 /* Too bad - revert to non-atomic kmap */
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700287
Al Virof0d1bec2014-04-03 15:05:18 -0400288 kaddr = kmap(page);
289 to = kaddr + offset;
Al Viro09fc68d2017-06-29 22:25:14 -0400290 left = copyin(to, buf, copy);
Al Virof0d1bec2014-04-03 15:05:18 -0400291 copy -= left;
292 skip += copy;
293 to += copy;
294 bytes -= copy;
295 while (unlikely(!left && bytes)) {
296 iov++;
297 buf = iov->iov_base;
298 copy = min(bytes, iov->iov_len);
Al Viro09fc68d2017-06-29 22:25:14 -0400299 left = copyin(to, buf, copy);
Al Virof0d1bec2014-04-03 15:05:18 -0400300 copy -= left;
301 skip = copy;
302 to += copy;
303 bytes -= copy;
304 }
305 kunmap(page);
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700306
Al Virof0d1bec2014-04-03 15:05:18 -0400307done:
Al Viro81055e52014-04-04 19:23:46 -0400308 if (skip == iov->iov_len) {
309 iov++;
310 skip = 0;
311 }
Al Virof0d1bec2014-04-03 15:05:18 -0400312 i->count -= wanted - bytes;
313 i->nr_segs -= iov - i->iov;
314 i->iov = iov;
315 i->iov_offset = skip;
316 return wanted - bytes;
317}
Al Virof0d1bec2014-04-03 15:05:18 -0400318
Al Viro241699c2016-09-22 16:33:12 -0400319#ifdef PIPE_PARANOIA
320static bool sanity(const struct iov_iter *i)
321{
322 struct pipe_inode_info *pipe = i->pipe;
323 int idx = i->idx;
324 int next = pipe->curbuf + pipe->nrbufs;
325 if (i->iov_offset) {
326 struct pipe_buffer *p;
327 if (unlikely(!pipe->nrbufs))
328 goto Bad; // pipe must be non-empty
329 if (unlikely(idx != ((next - 1) & (pipe->buffers - 1))))
330 goto Bad; // must be at the last buffer...
331
332 p = &pipe->bufs[idx];
333 if (unlikely(p->offset + p->len != i->iov_offset))
334 goto Bad; // ... at the end of segment
335 } else {
336 if (idx != (next & (pipe->buffers - 1)))
337 goto Bad; // must be right after the last buffer
338 }
339 return true;
340Bad:
341 printk(KERN_ERR "idx = %d, offset = %zd\n", i->idx, i->iov_offset);
342 printk(KERN_ERR "curbuf = %d, nrbufs = %d, buffers = %d\n",
343 pipe->curbuf, pipe->nrbufs, pipe->buffers);
344 for (idx = 0; idx < pipe->buffers; idx++)
345 printk(KERN_ERR "[%p %p %d %d]\n",
346 pipe->bufs[idx].ops,
347 pipe->bufs[idx].page,
348 pipe->bufs[idx].offset,
349 pipe->bufs[idx].len);
350 WARN_ON(1);
351 return false;
352}
353#else
354#define sanity(i) true
355#endif
356
357static inline int next_idx(int idx, struct pipe_inode_info *pipe)
358{
359 return (idx + 1) & (pipe->buffers - 1);
360}
361
362static size_t copy_page_to_iter_pipe(struct page *page, size_t offset, size_t bytes,
363 struct iov_iter *i)
364{
365 struct pipe_inode_info *pipe = i->pipe;
366 struct pipe_buffer *buf;
367 size_t off;
368 int idx;
369
370 if (unlikely(bytes > i->count))
371 bytes = i->count;
372
373 if (unlikely(!bytes))
374 return 0;
375
376 if (!sanity(i))
377 return 0;
378
379 off = i->iov_offset;
380 idx = i->idx;
381 buf = &pipe->bufs[idx];
382 if (off) {
383 if (offset == off && buf->page == page) {
384 /* merge with the last one */
385 buf->len += bytes;
386 i->iov_offset += bytes;
387 goto out;
388 }
389 idx = next_idx(idx, pipe);
390 buf = &pipe->bufs[idx];
391 }
392 if (idx == pipe->curbuf && pipe->nrbufs)
393 return 0;
394 pipe->nrbufs++;
395 buf->ops = &page_cache_pipe_buf_ops;
396 get_page(buf->page = page);
397 buf->offset = offset;
398 buf->len = bytes;
399 i->iov_offset = offset + bytes;
400 i->idx = idx;
401out:
402 i->count -= bytes;
403 return bytes;
404}
405
Al Viro4f18cd32014-02-05 19:11:33 -0500406/*
Anton Altaparmakov171a0202015-03-11 10:43:31 -0400407 * Fault in one or more iovecs of the given iov_iter, to a maximum length of
408 * bytes. For each iovec, fault in each page that constitutes the iovec.
409 *
410 * Return 0 on success, or non-zero if the memory could not be accessed (i.e.
411 * because it is an invalid address).
412 */
Al Virod4690f12016-09-16 00:11:45 +0100413int iov_iter_fault_in_readable(struct iov_iter *i, size_t bytes)
Anton Altaparmakov171a0202015-03-11 10:43:31 -0400414{
415 size_t skip = i->iov_offset;
416 const struct iovec *iov;
417 int err;
418 struct iovec v;
419
420 if (!(i->type & (ITER_BVEC|ITER_KVEC))) {
421 iterate_iovec(i, bytes, v, iov, skip, ({
Al Viro4bce9f62016-09-17 18:02:44 -0400422 err = fault_in_pages_readable(v.iov_base, v.iov_len);
Anton Altaparmakov171a0202015-03-11 10:43:31 -0400423 if (unlikely(err))
424 return err;
425 0;}))
426 }
427 return 0;
428}
Al Virod4690f12016-09-16 00:11:45 +0100429EXPORT_SYMBOL(iov_iter_fault_in_readable);
Anton Altaparmakov171a0202015-03-11 10:43:31 -0400430
Al Viro71d8e532014-03-05 19:28:09 -0500431void iov_iter_init(struct iov_iter *i, int direction,
432 const struct iovec *iov, unsigned long nr_segs,
433 size_t count)
434{
435 /* It will get better. Eventually... */
Al Virodb68ce12017-03-20 21:08:07 -0400436 if (uaccess_kernel()) {
Al Viro62a80672014-04-04 23:12:29 -0400437 direction |= ITER_KVEC;
Al Viroa2804552014-11-27 14:48:42 -0500438 i->type = direction;
439 i->kvec = (struct kvec *)iov;
440 } else {
441 i->type = direction;
442 i->iov = iov;
443 }
Al Viro71d8e532014-03-05 19:28:09 -0500444 i->nr_segs = nr_segs;
445 i->iov_offset = 0;
446 i->count = count;
447}
448EXPORT_SYMBOL(iov_iter_init);
Al Viro7b2c99d2014-03-15 04:05:57 -0400449
Al Viro62a80672014-04-04 23:12:29 -0400450static void memcpy_from_page(char *to, struct page *page, size_t offset, size_t len)
451{
452 char *from = kmap_atomic(page);
453 memcpy(to, from + offset, len);
454 kunmap_atomic(from);
455}
456
Al Viro36f7a8a2015-12-06 16:49:22 -0500457static void memcpy_to_page(struct page *page, size_t offset, const char *from, size_t len)
Al Viro62a80672014-04-04 23:12:29 -0400458{
459 char *to = kmap_atomic(page);
460 memcpy(to + offset, from, len);
461 kunmap_atomic(to);
462}
463
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400464static void memzero_page(struct page *page, size_t offset, size_t len)
465{
466 char *addr = kmap_atomic(page);
467 memset(addr + offset, 0, len);
468 kunmap_atomic(addr);
469}
470
Al Viro241699c2016-09-22 16:33:12 -0400471static inline bool allocated(struct pipe_buffer *buf)
472{
473 return buf->ops == &default_pipe_buf_ops;
474}
475
476static inline void data_start(const struct iov_iter *i, int *idxp, size_t *offp)
477{
478 size_t off = i->iov_offset;
479 int idx = i->idx;
480 if (off && (!allocated(&i->pipe->bufs[idx]) || off == PAGE_SIZE)) {
481 idx = next_idx(idx, i->pipe);
482 off = 0;
483 }
484 *idxp = idx;
485 *offp = off;
486}
487
488static size_t push_pipe(struct iov_iter *i, size_t size,
489 int *idxp, size_t *offp)
490{
491 struct pipe_inode_info *pipe = i->pipe;
492 size_t off;
493 int idx;
494 ssize_t left;
495
496 if (unlikely(size > i->count))
497 size = i->count;
498 if (unlikely(!size))
499 return 0;
500
501 left = size;
502 data_start(i, &idx, &off);
503 *idxp = idx;
504 *offp = off;
505 if (off) {
506 left -= PAGE_SIZE - off;
507 if (left <= 0) {
508 pipe->bufs[idx].len += size;
509 return size;
510 }
511 pipe->bufs[idx].len = PAGE_SIZE;
512 idx = next_idx(idx, pipe);
513 }
514 while (idx != pipe->curbuf || !pipe->nrbufs) {
515 struct page *page = alloc_page(GFP_USER);
516 if (!page)
517 break;
518 pipe->nrbufs++;
519 pipe->bufs[idx].ops = &default_pipe_buf_ops;
520 pipe->bufs[idx].page = page;
521 pipe->bufs[idx].offset = 0;
522 if (left <= PAGE_SIZE) {
523 pipe->bufs[idx].len = left;
524 return size;
525 }
526 pipe->bufs[idx].len = PAGE_SIZE;
527 left -= PAGE_SIZE;
528 idx = next_idx(idx, pipe);
529 }
530 return size - left;
531}
532
533static size_t copy_pipe_to_iter(const void *addr, size_t bytes,
534 struct iov_iter *i)
535{
536 struct pipe_inode_info *pipe = i->pipe;
537 size_t n, off;
538 int idx;
539
540 if (!sanity(i))
541 return 0;
542
543 bytes = n = push_pipe(i, bytes, &idx, &off);
544 if (unlikely(!n))
545 return 0;
546 for ( ; n; idx = next_idx(idx, pipe), off = 0) {
547 size_t chunk = min_t(size_t, n, PAGE_SIZE - off);
548 memcpy_to_page(pipe->bufs[idx].page, off, addr, chunk);
549 i->idx = idx;
550 i->iov_offset = off + chunk;
551 n -= chunk;
552 addr += chunk;
553 }
554 i->count -= bytes;
555 return bytes;
556}
557
Al Viroaa28de22017-06-29 21:45:10 -0400558size_t _copy_to_iter(const void *addr, size_t bytes, struct iov_iter *i)
Al Viro62a80672014-04-04 23:12:29 -0400559{
Al Viro36f7a8a2015-12-06 16:49:22 -0500560 const char *from = addr;
Al Viro241699c2016-09-22 16:33:12 -0400561 if (unlikely(i->type & ITER_PIPE))
562 return copy_pipe_to_iter(addr, bytes, i);
Al Viro09fc68d2017-06-29 22:25:14 -0400563 if (iter_is_iovec(i))
564 might_fault();
Al Viro3d4d3e42014-11-27 14:28:06 -0500565 iterate_and_advance(i, bytes, v,
Al Viro09fc68d2017-06-29 22:25:14 -0400566 copyout(v.iov_base, (from += v.iov_len) - v.iov_len, v.iov_len),
Al Viro3d4d3e42014-11-27 14:28:06 -0500567 memcpy_to_page(v.bv_page, v.bv_offset,
Al Viroa2804552014-11-27 14:48:42 -0500568 (from += v.bv_len) - v.bv_len, v.bv_len),
569 memcpy(v.iov_base, (from += v.iov_len) - v.iov_len, v.iov_len)
Al Viro3d4d3e42014-11-27 14:28:06 -0500570 )
Al Viro62a80672014-04-04 23:12:29 -0400571
Al Viro3d4d3e42014-11-27 14:28:06 -0500572 return bytes;
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400573}
Al Viroaa28de22017-06-29 21:45:10 -0400574EXPORT_SYMBOL(_copy_to_iter);
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400575
Al Viroaa28de22017-06-29 21:45:10 -0400576size_t _copy_from_iter(void *addr, size_t bytes, struct iov_iter *i)
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400577{
Al Viro0dbca9a2014-11-27 14:26:43 -0500578 char *to = addr;
Al Viro241699c2016-09-22 16:33:12 -0400579 if (unlikely(i->type & ITER_PIPE)) {
580 WARN_ON(1);
581 return 0;
582 }
Al Viro09fc68d2017-06-29 22:25:14 -0400583 if (iter_is_iovec(i))
584 might_fault();
Al Viro0dbca9a2014-11-27 14:26:43 -0500585 iterate_and_advance(i, bytes, v,
Al Viro09fc68d2017-06-29 22:25:14 -0400586 copyin((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len),
Al Viro0dbca9a2014-11-27 14:26:43 -0500587 memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
Al Viroa2804552014-11-27 14:48:42 -0500588 v.bv_offset, v.bv_len),
589 memcpy((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
Al Viro0dbca9a2014-11-27 14:26:43 -0500590 )
591
592 return bytes;
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400593}
Al Viroaa28de22017-06-29 21:45:10 -0400594EXPORT_SYMBOL(_copy_from_iter);
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400595
Al Viroaa28de22017-06-29 21:45:10 -0400596bool _copy_from_iter_full(void *addr, size_t bytes, struct iov_iter *i)
Al Virocbbd26b2016-11-01 22:09:04 -0400597{
598 char *to = addr;
599 if (unlikely(i->type & ITER_PIPE)) {
600 WARN_ON(1);
601 return false;
602 }
Al Viro33844e62016-12-21 21:55:02 -0500603 if (unlikely(i->count < bytes))
Al Virocbbd26b2016-11-01 22:09:04 -0400604 return false;
605
Al Viro09fc68d2017-06-29 22:25:14 -0400606 if (iter_is_iovec(i))
607 might_fault();
Al Virocbbd26b2016-11-01 22:09:04 -0400608 iterate_all_kinds(i, bytes, v, ({
Al Viro09fc68d2017-06-29 22:25:14 -0400609 if (copyin((to += v.iov_len) - v.iov_len,
Al Virocbbd26b2016-11-01 22:09:04 -0400610 v.iov_base, v.iov_len))
611 return false;
612 0;}),
613 memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
614 v.bv_offset, v.bv_len),
615 memcpy((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
616 )
617
618 iov_iter_advance(i, bytes);
619 return true;
620}
Al Viroaa28de22017-06-29 21:45:10 -0400621EXPORT_SYMBOL(_copy_from_iter_full);
Al Virocbbd26b2016-11-01 22:09:04 -0400622
Al Viroaa28de22017-06-29 21:45:10 -0400623size_t _copy_from_iter_nocache(void *addr, size_t bytes, struct iov_iter *i)
Al Viroaa583092014-11-27 20:27:08 -0500624{
625 char *to = addr;
Al Viro241699c2016-09-22 16:33:12 -0400626 if (unlikely(i->type & ITER_PIPE)) {
627 WARN_ON(1);
628 return 0;
629 }
Al Viroaa583092014-11-27 20:27:08 -0500630 iterate_and_advance(i, bytes, v,
Al Viro3f763452017-03-25 18:47:28 -0400631 __copy_from_user_inatomic_nocache((to += v.iov_len) - v.iov_len,
Al Viroaa583092014-11-27 20:27:08 -0500632 v.iov_base, v.iov_len),
633 memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
634 v.bv_offset, v.bv_len),
635 memcpy((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
636 )
637
638 return bytes;
639}
Al Viroaa28de22017-06-29 21:45:10 -0400640EXPORT_SYMBOL(_copy_from_iter_nocache);
Al Viroaa583092014-11-27 20:27:08 -0500641
Dan Williams0aed55a2017-05-29 12:22:50 -0700642#ifdef CONFIG_ARCH_HAS_UACCESS_FLUSHCACHE
Linus Torvalds6a37e942017-07-07 20:39:20 -0700643size_t _copy_from_iter_flushcache(void *addr, size_t bytes, struct iov_iter *i)
Dan Williams0aed55a2017-05-29 12:22:50 -0700644{
645 char *to = addr;
646 if (unlikely(i->type & ITER_PIPE)) {
647 WARN_ON(1);
648 return 0;
649 }
650 iterate_and_advance(i, bytes, v,
651 __copy_from_user_flushcache((to += v.iov_len) - v.iov_len,
652 v.iov_base, v.iov_len),
653 memcpy_page_flushcache((to += v.bv_len) - v.bv_len, v.bv_page,
654 v.bv_offset, v.bv_len),
655 memcpy_flushcache((to += v.iov_len) - v.iov_len, v.iov_base,
656 v.iov_len)
657 )
658
659 return bytes;
660}
Linus Torvalds6a37e942017-07-07 20:39:20 -0700661EXPORT_SYMBOL_GPL(_copy_from_iter_flushcache);
Dan Williams0aed55a2017-05-29 12:22:50 -0700662#endif
663
Al Viroaa28de22017-06-29 21:45:10 -0400664bool _copy_from_iter_full_nocache(void *addr, size_t bytes, struct iov_iter *i)
Al Virocbbd26b2016-11-01 22:09:04 -0400665{
666 char *to = addr;
667 if (unlikely(i->type & ITER_PIPE)) {
668 WARN_ON(1);
669 return false;
670 }
Al Viro33844e62016-12-21 21:55:02 -0500671 if (unlikely(i->count < bytes))
Al Virocbbd26b2016-11-01 22:09:04 -0400672 return false;
673 iterate_all_kinds(i, bytes, v, ({
Al Viro3f763452017-03-25 18:47:28 -0400674 if (__copy_from_user_inatomic_nocache((to += v.iov_len) - v.iov_len,
Al Virocbbd26b2016-11-01 22:09:04 -0400675 v.iov_base, v.iov_len))
676 return false;
677 0;}),
678 memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
679 v.bv_offset, v.bv_len),
680 memcpy((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
681 )
682
683 iov_iter_advance(i, bytes);
684 return true;
685}
Al Viroaa28de22017-06-29 21:45:10 -0400686EXPORT_SYMBOL(_copy_from_iter_full_nocache);
Al Virocbbd26b2016-11-01 22:09:04 -0400687
Al Viro72e809e2017-06-29 21:52:57 -0400688static inline bool page_copy_sane(struct page *page, size_t offset, size_t n)
689{
Petar Penkova90bcb82017-08-29 11:20:32 -0700690 struct page *head = compound_head(page);
691 size_t v = n + offset + page_address(page) - page_address(head);
692
693 if (likely(n <= v && v <= (PAGE_SIZE << compound_order(head))))
Al Viro72e809e2017-06-29 21:52:57 -0400694 return true;
695 WARN_ON(1);
696 return false;
697}
Al Virod2715242014-11-27 14:22:37 -0500698
699size_t copy_page_to_iter(struct page *page, size_t offset, size_t bytes,
700 struct iov_iter *i)
701{
Al Viro72e809e2017-06-29 21:52:57 -0400702 if (unlikely(!page_copy_sane(page, offset, bytes)))
703 return 0;
Al Virod2715242014-11-27 14:22:37 -0500704 if (i->type & (ITER_BVEC|ITER_KVEC)) {
705 void *kaddr = kmap_atomic(page);
706 size_t wanted = copy_to_iter(kaddr + offset, bytes, i);
707 kunmap_atomic(kaddr);
708 return wanted;
Al Viro241699c2016-09-22 16:33:12 -0400709 } else if (likely(!(i->type & ITER_PIPE)))
Al Virod2715242014-11-27 14:22:37 -0500710 return copy_page_to_iter_iovec(page, offset, bytes, i);
Al Viro241699c2016-09-22 16:33:12 -0400711 else
712 return copy_page_to_iter_pipe(page, offset, bytes, i);
Al Virod2715242014-11-27 14:22:37 -0500713}
714EXPORT_SYMBOL(copy_page_to_iter);
715
716size_t copy_page_from_iter(struct page *page, size_t offset, size_t bytes,
717 struct iov_iter *i)
718{
Al Viro72e809e2017-06-29 21:52:57 -0400719 if (unlikely(!page_copy_sane(page, offset, bytes)))
720 return 0;
Al Viro241699c2016-09-22 16:33:12 -0400721 if (unlikely(i->type & ITER_PIPE)) {
722 WARN_ON(1);
723 return 0;
724 }
Al Virod2715242014-11-27 14:22:37 -0500725 if (i->type & (ITER_BVEC|ITER_KVEC)) {
726 void *kaddr = kmap_atomic(page);
Al Viroaa28de22017-06-29 21:45:10 -0400727 size_t wanted = _copy_from_iter(kaddr + offset, bytes, i);
Al Virod2715242014-11-27 14:22:37 -0500728 kunmap_atomic(kaddr);
729 return wanted;
730 } else
731 return copy_page_from_iter_iovec(page, offset, bytes, i);
732}
733EXPORT_SYMBOL(copy_page_from_iter);
734
Al Viro241699c2016-09-22 16:33:12 -0400735static size_t pipe_zero(size_t bytes, struct iov_iter *i)
736{
737 struct pipe_inode_info *pipe = i->pipe;
738 size_t n, off;
739 int idx;
740
741 if (!sanity(i))
742 return 0;
743
744 bytes = n = push_pipe(i, bytes, &idx, &off);
745 if (unlikely(!n))
746 return 0;
747
748 for ( ; n; idx = next_idx(idx, pipe), off = 0) {
749 size_t chunk = min_t(size_t, n, PAGE_SIZE - off);
750 memzero_page(pipe->bufs[idx].page, off, chunk);
751 i->idx = idx;
752 i->iov_offset = off + chunk;
753 n -= chunk;
754 }
755 i->count -= bytes;
756 return bytes;
757}
758
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400759size_t iov_iter_zero(size_t bytes, struct iov_iter *i)
760{
Al Viro241699c2016-09-22 16:33:12 -0400761 if (unlikely(i->type & ITER_PIPE))
762 return pipe_zero(bytes, i);
Al Viro8442fa42014-11-27 14:18:54 -0500763 iterate_and_advance(i, bytes, v,
Al Viro09fc68d2017-06-29 22:25:14 -0400764 clear_user(v.iov_base, v.iov_len),
Al Viroa2804552014-11-27 14:48:42 -0500765 memzero_page(v.bv_page, v.bv_offset, v.bv_len),
766 memset(v.iov_base, 0, v.iov_len)
Al Viro8442fa42014-11-27 14:18:54 -0500767 )
768
769 return bytes;
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400770}
771EXPORT_SYMBOL(iov_iter_zero);
772
Al Viro62a80672014-04-04 23:12:29 -0400773size_t iov_iter_copy_from_user_atomic(struct page *page,
774 struct iov_iter *i, unsigned long offset, size_t bytes)
775{
Al Viro04a31162014-11-27 13:51:41 -0500776 char *kaddr = kmap_atomic(page), *p = kaddr + offset;
Al Viro72e809e2017-06-29 21:52:57 -0400777 if (unlikely(!page_copy_sane(page, offset, bytes))) {
778 kunmap_atomic(kaddr);
779 return 0;
780 }
Al Viro241699c2016-09-22 16:33:12 -0400781 if (unlikely(i->type & ITER_PIPE)) {
782 kunmap_atomic(kaddr);
783 WARN_ON(1);
784 return 0;
785 }
Al Viro04a31162014-11-27 13:51:41 -0500786 iterate_all_kinds(i, bytes, v,
Al Viro09fc68d2017-06-29 22:25:14 -0400787 copyin((p += v.iov_len) - v.iov_len, v.iov_base, v.iov_len),
Al Viro04a31162014-11-27 13:51:41 -0500788 memcpy_from_page((p += v.bv_len) - v.bv_len, v.bv_page,
Al Viroa2804552014-11-27 14:48:42 -0500789 v.bv_offset, v.bv_len),
790 memcpy((p += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
Al Viro04a31162014-11-27 13:51:41 -0500791 )
792 kunmap_atomic(kaddr);
793 return bytes;
Al Viro62a80672014-04-04 23:12:29 -0400794}
795EXPORT_SYMBOL(iov_iter_copy_from_user_atomic);
796
Al Virob9dc6f62017-01-14 19:33:08 -0500797static inline void pipe_truncate(struct iov_iter *i)
Al Viro241699c2016-09-22 16:33:12 -0400798{
799 struct pipe_inode_info *pipe = i->pipe;
Al Viro241699c2016-09-22 16:33:12 -0400800 if (pipe->nrbufs) {
Al Virob9dc6f62017-01-14 19:33:08 -0500801 size_t off = i->iov_offset;
802 int idx = i->idx;
803 int nrbufs = (idx - pipe->curbuf) & (pipe->buffers - 1);
804 if (off) {
805 pipe->bufs[idx].len = off - pipe->bufs[idx].offset;
806 idx = next_idx(idx, pipe);
807 nrbufs++;
808 }
809 while (pipe->nrbufs > nrbufs) {
Miklos Szeredia7796382016-09-27 10:45:12 +0200810 pipe_buf_release(pipe, &pipe->bufs[idx]);
Al Viro241699c2016-09-22 16:33:12 -0400811 idx = next_idx(idx, pipe);
812 pipe->nrbufs--;
813 }
814 }
Al Virob9dc6f62017-01-14 19:33:08 -0500815}
816
817static void pipe_advance(struct iov_iter *i, size_t size)
818{
819 struct pipe_inode_info *pipe = i->pipe;
820 if (unlikely(i->count < size))
821 size = i->count;
822 if (size) {
823 struct pipe_buffer *buf;
824 size_t off = i->iov_offset, left = size;
825 int idx = i->idx;
826 if (off) /* make it relative to the beginning of buffer */
827 left += off - pipe->bufs[idx].offset;
828 while (1) {
829 buf = &pipe->bufs[idx];
830 if (left <= buf->len)
831 break;
832 left -= buf->len;
833 idx = next_idx(idx, pipe);
834 }
835 i->idx = idx;
836 i->iov_offset = buf->offset + left;
837 }
838 i->count -= size;
839 /* ... and discard everything past that point */
840 pipe_truncate(i);
Al Viro241699c2016-09-22 16:33:12 -0400841}
842
Al Viro62a80672014-04-04 23:12:29 -0400843void iov_iter_advance(struct iov_iter *i, size_t size)
844{
Al Viro241699c2016-09-22 16:33:12 -0400845 if (unlikely(i->type & ITER_PIPE)) {
846 pipe_advance(i, size);
847 return;
848 }
Al Viroa2804552014-11-27 14:48:42 -0500849 iterate_and_advance(i, size, v, 0, 0, 0)
Al Viro62a80672014-04-04 23:12:29 -0400850}
851EXPORT_SYMBOL(iov_iter_advance);
852
Al Viro27c0e372017-02-17 18:42:24 -0500853void iov_iter_revert(struct iov_iter *i, size_t unroll)
854{
855 if (!unroll)
856 return;
Al Viro5b47d592017-05-08 13:54:47 -0400857 if (WARN_ON(unroll > MAX_RW_COUNT))
858 return;
Al Viro27c0e372017-02-17 18:42:24 -0500859 i->count += unroll;
860 if (unlikely(i->type & ITER_PIPE)) {
861 struct pipe_inode_info *pipe = i->pipe;
862 int idx = i->idx;
863 size_t off = i->iov_offset;
864 while (1) {
865 size_t n = off - pipe->bufs[idx].offset;
866 if (unroll < n) {
Al Viro4fa55ce2017-04-29 16:42:30 -0400867 off -= unroll;
Al Viro27c0e372017-02-17 18:42:24 -0500868 break;
869 }
870 unroll -= n;
871 if (!unroll && idx == i->start_idx) {
872 off = 0;
873 break;
874 }
875 if (!idx--)
876 idx = pipe->buffers - 1;
877 off = pipe->bufs[idx].offset + pipe->bufs[idx].len;
878 }
879 i->iov_offset = off;
880 i->idx = idx;
881 pipe_truncate(i);
882 return;
883 }
884 if (unroll <= i->iov_offset) {
885 i->iov_offset -= unroll;
886 return;
887 }
888 unroll -= i->iov_offset;
889 if (i->type & ITER_BVEC) {
890 const struct bio_vec *bvec = i->bvec;
891 while (1) {
892 size_t n = (--bvec)->bv_len;
893 i->nr_segs++;
894 if (unroll <= n) {
895 i->bvec = bvec;
896 i->iov_offset = n - unroll;
897 return;
898 }
899 unroll -= n;
900 }
901 } else { /* same logics for iovec and kvec */
902 const struct iovec *iov = i->iov;
903 while (1) {
904 size_t n = (--iov)->iov_len;
905 i->nr_segs++;
906 if (unroll <= n) {
907 i->iov = iov;
908 i->iov_offset = n - unroll;
909 return;
910 }
911 unroll -= n;
912 }
913 }
914}
915EXPORT_SYMBOL(iov_iter_revert);
916
Al Viro62a80672014-04-04 23:12:29 -0400917/*
918 * Return the count of just the current iov_iter segment.
919 */
920size_t iov_iter_single_seg_count(const struct iov_iter *i)
921{
Al Viro241699c2016-09-22 16:33:12 -0400922 if (unlikely(i->type & ITER_PIPE))
923 return i->count; // it is a silly place, anyway
Al Viro62a80672014-04-04 23:12:29 -0400924 if (i->nr_segs == 1)
925 return i->count;
926 else if (i->type & ITER_BVEC)
Al Viro62a80672014-04-04 23:12:29 -0400927 return min(i->count, i->bvec->bv_len - i->iov_offset);
Paul Mackerrasad0eab92014-11-13 20:15:23 +1100928 else
929 return min(i->count, i->iov->iov_len - i->iov_offset);
Al Viro62a80672014-04-04 23:12:29 -0400930}
931EXPORT_SYMBOL(iov_iter_single_seg_count);
932
Al Viroabb78f82014-11-24 14:46:11 -0500933void iov_iter_kvec(struct iov_iter *i, int direction,
Al Viro05afcb72015-01-23 01:08:07 -0500934 const struct kvec *kvec, unsigned long nr_segs,
Al Viroabb78f82014-11-24 14:46:11 -0500935 size_t count)
936{
937 BUG_ON(!(direction & ITER_KVEC));
938 i->type = direction;
Al Viro05afcb72015-01-23 01:08:07 -0500939 i->kvec = kvec;
Al Viroabb78f82014-11-24 14:46:11 -0500940 i->nr_segs = nr_segs;
941 i->iov_offset = 0;
942 i->count = count;
943}
944EXPORT_SYMBOL(iov_iter_kvec);
945
Al Viro05afcb72015-01-23 01:08:07 -0500946void iov_iter_bvec(struct iov_iter *i, int direction,
947 const struct bio_vec *bvec, unsigned long nr_segs,
948 size_t count)
949{
950 BUG_ON(!(direction & ITER_BVEC));
951 i->type = direction;
952 i->bvec = bvec;
953 i->nr_segs = nr_segs;
954 i->iov_offset = 0;
955 i->count = count;
956}
957EXPORT_SYMBOL(iov_iter_bvec);
958
Al Viro241699c2016-09-22 16:33:12 -0400959void iov_iter_pipe(struct iov_iter *i, int direction,
960 struct pipe_inode_info *pipe,
961 size_t count)
962{
963 BUG_ON(direction != ITER_PIPE);
Al Virob9dc6f62017-01-14 19:33:08 -0500964 WARN_ON(pipe->nrbufs == pipe->buffers);
Al Viro241699c2016-09-22 16:33:12 -0400965 i->type = direction;
966 i->pipe = pipe;
967 i->idx = (pipe->curbuf + pipe->nrbufs) & (pipe->buffers - 1);
968 i->iov_offset = 0;
969 i->count = count;
Al Viro27c0e372017-02-17 18:42:24 -0500970 i->start_idx = i->idx;
Al Viro241699c2016-09-22 16:33:12 -0400971}
972EXPORT_SYMBOL(iov_iter_pipe);
973
Al Viro62a80672014-04-04 23:12:29 -0400974unsigned long iov_iter_alignment(const struct iov_iter *i)
975{
Al Viro04a31162014-11-27 13:51:41 -0500976 unsigned long res = 0;
977 size_t size = i->count;
978
Al Viro241699c2016-09-22 16:33:12 -0400979 if (unlikely(i->type & ITER_PIPE)) {
Al Viro33844e62016-12-21 21:55:02 -0500980 if (size && i->iov_offset && allocated(&i->pipe->bufs[i->idx]))
Al Viro241699c2016-09-22 16:33:12 -0400981 return size | i->iov_offset;
982 return size;
983 }
Al Viro04a31162014-11-27 13:51:41 -0500984 iterate_all_kinds(i, size, v,
985 (res |= (unsigned long)v.iov_base | v.iov_len, 0),
Al Viroa2804552014-11-27 14:48:42 -0500986 res |= v.bv_offset | v.bv_len,
987 res |= (unsigned long)v.iov_base | v.iov_len
Al Viro04a31162014-11-27 13:51:41 -0500988 )
989 return res;
Al Viro62a80672014-04-04 23:12:29 -0400990}
991EXPORT_SYMBOL(iov_iter_alignment);
992
Al Viro357f4352016-04-08 19:05:19 -0400993unsigned long iov_iter_gap_alignment(const struct iov_iter *i)
994{
Al Viro33844e62016-12-21 21:55:02 -0500995 unsigned long res = 0;
Al Viro357f4352016-04-08 19:05:19 -0400996 size_t size = i->count;
Al Viro357f4352016-04-08 19:05:19 -0400997
Al Viro241699c2016-09-22 16:33:12 -0400998 if (unlikely(i->type & ITER_PIPE)) {
999 WARN_ON(1);
1000 return ~0U;
1001 }
1002
Al Viro357f4352016-04-08 19:05:19 -04001003 iterate_all_kinds(i, size, v,
1004 (res |= (!res ? 0 : (unsigned long)v.iov_base) |
1005 (size != v.iov_len ? size : 0), 0),
1006 (res |= (!res ? 0 : (unsigned long)v.bv_offset) |
1007 (size != v.bv_len ? size : 0)),
1008 (res |= (!res ? 0 : (unsigned long)v.iov_base) |
1009 (size != v.iov_len ? size : 0))
1010 );
Al Viro33844e62016-12-21 21:55:02 -05001011 return res;
Al Viro357f4352016-04-08 19:05:19 -04001012}
1013EXPORT_SYMBOL(iov_iter_gap_alignment);
1014
Al Viro241699c2016-09-22 16:33:12 -04001015static inline size_t __pipe_get_pages(struct iov_iter *i,
1016 size_t maxsize,
1017 struct page **pages,
1018 int idx,
1019 size_t *start)
1020{
1021 struct pipe_inode_info *pipe = i->pipe;
Al Viro1689c732016-10-11 18:21:14 +01001022 ssize_t n = push_pipe(i, maxsize, &idx, start);
Al Viro241699c2016-09-22 16:33:12 -04001023 if (!n)
1024 return -EFAULT;
1025
1026 maxsize = n;
1027 n += *start;
Al Viro1689c732016-10-11 18:21:14 +01001028 while (n > 0) {
Al Viro241699c2016-09-22 16:33:12 -04001029 get_page(*pages++ = pipe->bufs[idx].page);
1030 idx = next_idx(idx, pipe);
1031 n -= PAGE_SIZE;
1032 }
1033
1034 return maxsize;
1035}
1036
1037static ssize_t pipe_get_pages(struct iov_iter *i,
1038 struct page **pages, size_t maxsize, unsigned maxpages,
1039 size_t *start)
1040{
1041 unsigned npages;
1042 size_t capacity;
1043 int idx;
1044
Al Viro33844e62016-12-21 21:55:02 -05001045 if (!maxsize)
1046 return 0;
1047
Al Viro241699c2016-09-22 16:33:12 -04001048 if (!sanity(i))
1049 return -EFAULT;
1050
1051 data_start(i, &idx, start);
1052 /* some of this one + all after this one */
1053 npages = ((i->pipe->curbuf - idx - 1) & (i->pipe->buffers - 1)) + 1;
1054 capacity = min(npages,maxpages) * PAGE_SIZE - *start;
1055
1056 return __pipe_get_pages(i, min(maxsize, capacity), pages, idx, start);
1057}
1058
Al Viro62a80672014-04-04 23:12:29 -04001059ssize_t iov_iter_get_pages(struct iov_iter *i,
Miklos Szeredi2c809292014-09-24 17:09:11 +02001060 struct page **pages, size_t maxsize, unsigned maxpages,
Al Viro62a80672014-04-04 23:12:29 -04001061 size_t *start)
1062{
Al Viroe5393fa2014-11-27 14:12:09 -05001063 if (maxsize > i->count)
1064 maxsize = i->count;
1065
Al Viro241699c2016-09-22 16:33:12 -04001066 if (unlikely(i->type & ITER_PIPE))
1067 return pipe_get_pages(i, pages, maxsize, maxpages, start);
Al Viroe5393fa2014-11-27 14:12:09 -05001068 iterate_all_kinds(i, maxsize, v, ({
1069 unsigned long addr = (unsigned long)v.iov_base;
1070 size_t len = v.iov_len + (*start = addr & (PAGE_SIZE - 1));
1071 int n;
1072 int res;
1073
1074 if (len > maxpages * PAGE_SIZE)
1075 len = maxpages * PAGE_SIZE;
1076 addr &= ~(PAGE_SIZE - 1);
1077 n = DIV_ROUND_UP(len, PAGE_SIZE);
1078 res = get_user_pages_fast(addr, n, (i->type & WRITE) != WRITE, pages);
1079 if (unlikely(res < 0))
1080 return res;
1081 return (res == n ? len : res * PAGE_SIZE) - *start;
1082 0;}),({
1083 /* can't be more than PAGE_SIZE */
1084 *start = v.bv_offset;
1085 get_page(*pages = v.bv_page);
1086 return v.bv_len;
Al Viroa2804552014-11-27 14:48:42 -05001087 }),({
1088 return -EFAULT;
Al Viroe5393fa2014-11-27 14:12:09 -05001089 })
1090 )
1091 return 0;
Al Viro62a80672014-04-04 23:12:29 -04001092}
1093EXPORT_SYMBOL(iov_iter_get_pages);
1094
Al Viro1b17f1f2014-11-27 14:14:31 -05001095static struct page **get_pages_array(size_t n)
1096{
Michal Hocko752ade62017-05-08 15:57:27 -07001097 return kvmalloc_array(n, sizeof(struct page *), GFP_KERNEL);
Al Viro1b17f1f2014-11-27 14:14:31 -05001098}
1099
Al Viro241699c2016-09-22 16:33:12 -04001100static ssize_t pipe_get_pages_alloc(struct iov_iter *i,
1101 struct page ***pages, size_t maxsize,
1102 size_t *start)
1103{
1104 struct page **p;
1105 size_t n;
1106 int idx;
1107 int npages;
1108
Al Viro33844e62016-12-21 21:55:02 -05001109 if (!maxsize)
1110 return 0;
1111
Al Viro241699c2016-09-22 16:33:12 -04001112 if (!sanity(i))
1113 return -EFAULT;
1114
1115 data_start(i, &idx, start);
1116 /* some of this one + all after this one */
1117 npages = ((i->pipe->curbuf - idx - 1) & (i->pipe->buffers - 1)) + 1;
1118 n = npages * PAGE_SIZE - *start;
1119 if (maxsize > n)
1120 maxsize = n;
1121 else
1122 npages = DIV_ROUND_UP(maxsize + *start, PAGE_SIZE);
1123 p = get_pages_array(npages);
1124 if (!p)
1125 return -ENOMEM;
1126 n = __pipe_get_pages(i, maxsize, p, idx, start);
1127 if (n > 0)
1128 *pages = p;
1129 else
1130 kvfree(p);
1131 return n;
1132}
1133
Al Viro62a80672014-04-04 23:12:29 -04001134ssize_t iov_iter_get_pages_alloc(struct iov_iter *i,
1135 struct page ***pages, size_t maxsize,
1136 size_t *start)
1137{
Al Viro1b17f1f2014-11-27 14:14:31 -05001138 struct page **p;
1139
1140 if (maxsize > i->count)
1141 maxsize = i->count;
1142
Al Viro241699c2016-09-22 16:33:12 -04001143 if (unlikely(i->type & ITER_PIPE))
1144 return pipe_get_pages_alloc(i, pages, maxsize, start);
Al Viro1b17f1f2014-11-27 14:14:31 -05001145 iterate_all_kinds(i, maxsize, v, ({
1146 unsigned long addr = (unsigned long)v.iov_base;
1147 size_t len = v.iov_len + (*start = addr & (PAGE_SIZE - 1));
1148 int n;
1149 int res;
1150
1151 addr &= ~(PAGE_SIZE - 1);
1152 n = DIV_ROUND_UP(len, PAGE_SIZE);
1153 p = get_pages_array(n);
1154 if (!p)
1155 return -ENOMEM;
1156 res = get_user_pages_fast(addr, n, (i->type & WRITE) != WRITE, p);
1157 if (unlikely(res < 0)) {
1158 kvfree(p);
1159 return res;
1160 }
1161 *pages = p;
1162 return (res == n ? len : res * PAGE_SIZE) - *start;
1163 0;}),({
1164 /* can't be more than PAGE_SIZE */
1165 *start = v.bv_offset;
1166 *pages = p = get_pages_array(1);
1167 if (!p)
1168 return -ENOMEM;
1169 get_page(*p = v.bv_page);
1170 return v.bv_len;
Al Viroa2804552014-11-27 14:48:42 -05001171 }),({
1172 return -EFAULT;
Al Viro1b17f1f2014-11-27 14:14:31 -05001173 })
1174 )
1175 return 0;
Al Viro62a80672014-04-04 23:12:29 -04001176}
1177EXPORT_SYMBOL(iov_iter_get_pages_alloc);
1178
Al Viroa604ec72014-11-24 01:08:00 -05001179size_t csum_and_copy_from_iter(void *addr, size_t bytes, __wsum *csum,
1180 struct iov_iter *i)
1181{
1182 char *to = addr;
1183 __wsum sum, next;
1184 size_t off = 0;
Al Viroa604ec72014-11-24 01:08:00 -05001185 sum = *csum;
Al Viro241699c2016-09-22 16:33:12 -04001186 if (unlikely(i->type & ITER_PIPE)) {
1187 WARN_ON(1);
1188 return 0;
1189 }
Al Viroa604ec72014-11-24 01:08:00 -05001190 iterate_and_advance(i, bytes, v, ({
1191 int err = 0;
Al Virocbbd26b2016-11-01 22:09:04 -04001192 next = csum_and_copy_from_user(v.iov_base,
Al Viroa604ec72014-11-24 01:08:00 -05001193 (to += v.iov_len) - v.iov_len,
1194 v.iov_len, 0, &err);
1195 if (!err) {
1196 sum = csum_block_add(sum, next, off);
1197 off += v.iov_len;
1198 }
1199 err ? v.iov_len : 0;
1200 }), ({
1201 char *p = kmap_atomic(v.bv_page);
1202 next = csum_partial_copy_nocheck(p + v.bv_offset,
1203 (to += v.bv_len) - v.bv_len,
1204 v.bv_len, 0);
1205 kunmap_atomic(p);
1206 sum = csum_block_add(sum, next, off);
1207 off += v.bv_len;
1208 }),({
1209 next = csum_partial_copy_nocheck(v.iov_base,
1210 (to += v.iov_len) - v.iov_len,
1211 v.iov_len, 0);
1212 sum = csum_block_add(sum, next, off);
1213 off += v.iov_len;
1214 })
1215 )
1216 *csum = sum;
1217 return bytes;
1218}
1219EXPORT_SYMBOL(csum_and_copy_from_iter);
1220
Al Virocbbd26b2016-11-01 22:09:04 -04001221bool csum_and_copy_from_iter_full(void *addr, size_t bytes, __wsum *csum,
1222 struct iov_iter *i)
1223{
1224 char *to = addr;
1225 __wsum sum, next;
1226 size_t off = 0;
1227 sum = *csum;
1228 if (unlikely(i->type & ITER_PIPE)) {
1229 WARN_ON(1);
1230 return false;
1231 }
1232 if (unlikely(i->count < bytes))
1233 return false;
1234 iterate_all_kinds(i, bytes, v, ({
1235 int err = 0;
1236 next = csum_and_copy_from_user(v.iov_base,
1237 (to += v.iov_len) - v.iov_len,
1238 v.iov_len, 0, &err);
1239 if (err)
1240 return false;
1241 sum = csum_block_add(sum, next, off);
1242 off += v.iov_len;
1243 0;
1244 }), ({
1245 char *p = kmap_atomic(v.bv_page);
1246 next = csum_partial_copy_nocheck(p + v.bv_offset,
1247 (to += v.bv_len) - v.bv_len,
1248 v.bv_len, 0);
1249 kunmap_atomic(p);
1250 sum = csum_block_add(sum, next, off);
1251 off += v.bv_len;
1252 }),({
1253 next = csum_partial_copy_nocheck(v.iov_base,
1254 (to += v.iov_len) - v.iov_len,
1255 v.iov_len, 0);
1256 sum = csum_block_add(sum, next, off);
1257 off += v.iov_len;
1258 })
1259 )
1260 *csum = sum;
1261 iov_iter_advance(i, bytes);
1262 return true;
1263}
1264EXPORT_SYMBOL(csum_and_copy_from_iter_full);
1265
Al Viro36f7a8a2015-12-06 16:49:22 -05001266size_t csum_and_copy_to_iter(const void *addr, size_t bytes, __wsum *csum,
Al Viroa604ec72014-11-24 01:08:00 -05001267 struct iov_iter *i)
1268{
Al Viro36f7a8a2015-12-06 16:49:22 -05001269 const char *from = addr;
Al Viroa604ec72014-11-24 01:08:00 -05001270 __wsum sum, next;
1271 size_t off = 0;
Al Viroa604ec72014-11-24 01:08:00 -05001272 sum = *csum;
Al Viro241699c2016-09-22 16:33:12 -04001273 if (unlikely(i->type & ITER_PIPE)) {
1274 WARN_ON(1); /* for now */
1275 return 0;
1276 }
Al Viroa604ec72014-11-24 01:08:00 -05001277 iterate_and_advance(i, bytes, v, ({
1278 int err = 0;
1279 next = csum_and_copy_to_user((from += v.iov_len) - v.iov_len,
Al Virocbbd26b2016-11-01 22:09:04 -04001280 v.iov_base,
Al Viroa604ec72014-11-24 01:08:00 -05001281 v.iov_len, 0, &err);
1282 if (!err) {
1283 sum = csum_block_add(sum, next, off);
1284 off += v.iov_len;
1285 }
1286 err ? v.iov_len : 0;
1287 }), ({
1288 char *p = kmap_atomic(v.bv_page);
1289 next = csum_partial_copy_nocheck((from += v.bv_len) - v.bv_len,
1290 p + v.bv_offset,
1291 v.bv_len, 0);
1292 kunmap_atomic(p);
1293 sum = csum_block_add(sum, next, off);
1294 off += v.bv_len;
1295 }),({
1296 next = csum_partial_copy_nocheck((from += v.iov_len) - v.iov_len,
1297 v.iov_base,
1298 v.iov_len, 0);
1299 sum = csum_block_add(sum, next, off);
1300 off += v.iov_len;
1301 })
1302 )
1303 *csum = sum;
1304 return bytes;
1305}
1306EXPORT_SYMBOL(csum_and_copy_to_iter);
1307
Al Viro62a80672014-04-04 23:12:29 -04001308int iov_iter_npages(const struct iov_iter *i, int maxpages)
1309{
Al Viroe0f2dc42014-11-27 14:09:46 -05001310 size_t size = i->count;
1311 int npages = 0;
1312
1313 if (!size)
1314 return 0;
1315
Al Viro241699c2016-09-22 16:33:12 -04001316 if (unlikely(i->type & ITER_PIPE)) {
1317 struct pipe_inode_info *pipe = i->pipe;
1318 size_t off;
1319 int idx;
1320
1321 if (!sanity(i))
1322 return 0;
1323
1324 data_start(i, &idx, &off);
1325 /* some of this one + all after this one */
1326 npages = ((pipe->curbuf - idx - 1) & (pipe->buffers - 1)) + 1;
1327 if (npages >= maxpages)
1328 return maxpages;
1329 } else iterate_all_kinds(i, size, v, ({
Al Viroe0f2dc42014-11-27 14:09:46 -05001330 unsigned long p = (unsigned long)v.iov_base;
1331 npages += DIV_ROUND_UP(p + v.iov_len, PAGE_SIZE)
1332 - p / PAGE_SIZE;
1333 if (npages >= maxpages)
1334 return maxpages;
1335 0;}),({
1336 npages++;
1337 if (npages >= maxpages)
1338 return maxpages;
Al Viroa2804552014-11-27 14:48:42 -05001339 }),({
1340 unsigned long p = (unsigned long)v.iov_base;
1341 npages += DIV_ROUND_UP(p + v.iov_len, PAGE_SIZE)
1342 - p / PAGE_SIZE;
1343 if (npages >= maxpages)
1344 return maxpages;
Al Viroe0f2dc42014-11-27 14:09:46 -05001345 })
1346 )
1347 return npages;
Al Viro62a80672014-04-04 23:12:29 -04001348}
Al Virof67da302014-03-19 01:16:16 -04001349EXPORT_SYMBOL(iov_iter_npages);
Al Viro4b8164b2015-01-31 20:08:47 -05001350
1351const void *dup_iter(struct iov_iter *new, struct iov_iter *old, gfp_t flags)
1352{
1353 *new = *old;
Al Viro241699c2016-09-22 16:33:12 -04001354 if (unlikely(new->type & ITER_PIPE)) {
1355 WARN_ON(1);
1356 return NULL;
1357 }
Al Viro4b8164b2015-01-31 20:08:47 -05001358 if (new->type & ITER_BVEC)
1359 return new->bvec = kmemdup(new->bvec,
1360 new->nr_segs * sizeof(struct bio_vec),
1361 flags);
1362 else
1363 /* iovec and kvec have identical layout */
1364 return new->iov = kmemdup(new->iov,
1365 new->nr_segs * sizeof(struct iovec),
1366 flags);
1367}
1368EXPORT_SYMBOL(dup_iter);
Al Virobc917be2015-03-21 17:45:43 -04001369
Vegard Nossumffecee42016-10-08 11:18:07 +02001370/**
1371 * import_iovec() - Copy an array of &struct iovec from userspace
1372 * into the kernel, check that it is valid, and initialize a new
1373 * &struct iov_iter iterator to access it.
1374 *
1375 * @type: One of %READ or %WRITE.
1376 * @uvector: Pointer to the userspace array.
1377 * @nr_segs: Number of elements in userspace array.
1378 * @fast_segs: Number of elements in @iov.
1379 * @iov: (input and output parameter) Pointer to pointer to (usually small
1380 * on-stack) kernel array.
1381 * @i: Pointer to iterator that will be initialized on success.
1382 *
1383 * If the array pointed to by *@iov is large enough to hold all @nr_segs,
1384 * then this function places %NULL in *@iov on return. Otherwise, a new
1385 * array will be allocated and the result placed in *@iov. This means that
1386 * the caller may call kfree() on *@iov regardless of whether the small
1387 * on-stack array was used or not (and regardless of whether this function
1388 * returns an error or not).
1389 *
1390 * Return: 0 on success or negative error code on error.
1391 */
Al Virobc917be2015-03-21 17:45:43 -04001392int import_iovec(int type, const struct iovec __user * uvector,
1393 unsigned nr_segs, unsigned fast_segs,
1394 struct iovec **iov, struct iov_iter *i)
1395{
1396 ssize_t n;
1397 struct iovec *p;
1398 n = rw_copy_check_uvector(type, uvector, nr_segs, fast_segs,
1399 *iov, &p);
1400 if (n < 0) {
1401 if (p != *iov)
1402 kfree(p);
1403 *iov = NULL;
1404 return n;
1405 }
1406 iov_iter_init(i, type, p, nr_segs, n);
1407 *iov = p == *iov ? NULL : p;
1408 return 0;
1409}
1410EXPORT_SYMBOL(import_iovec);
1411
1412#ifdef CONFIG_COMPAT
1413#include <linux/compat.h>
1414
1415int compat_import_iovec(int type, const struct compat_iovec __user * uvector,
1416 unsigned nr_segs, unsigned fast_segs,
1417 struct iovec **iov, struct iov_iter *i)
1418{
1419 ssize_t n;
1420 struct iovec *p;
1421 n = compat_rw_copy_check_uvector(type, uvector, nr_segs, fast_segs,
1422 *iov, &p);
1423 if (n < 0) {
1424 if (p != *iov)
1425 kfree(p);
1426 *iov = NULL;
1427 return n;
1428 }
1429 iov_iter_init(i, type, p, nr_segs, n);
1430 *iov = p == *iov ? NULL : p;
1431 return 0;
1432}
1433#endif
1434
1435int import_single_range(int rw, void __user *buf, size_t len,
1436 struct iovec *iov, struct iov_iter *i)
1437{
1438 if (len > MAX_RW_COUNT)
1439 len = MAX_RW_COUNT;
1440 if (unlikely(!access_ok(!rw, buf, len)))
1441 return -EFAULT;
1442
1443 iov->iov_base = buf;
1444 iov->iov_len = len;
1445 iov_iter_init(i, rw, iov, 1, len);
1446 return 0;
1447}
Al Viroe1267582015-12-06 20:38:56 -05001448EXPORT_SYMBOL(import_single_range);