blob: 94fa361be7bb7fbb2f8ceed3ffc8e0e944f755ef [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 Viro09fc68dc2017-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 Viro09fc68dc2017-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 Viro09fc68dc2017-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 Viro09fc68dc2017-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 Viro09fc68dc2017-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 Viro09fc68dc2017-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 Viro09fc68dc2017-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 Viro09fc68dc2017-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 Viro09fc68dc2017-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 Viro09fc68dc2017-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 Viro09fc68dc2017-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 Viro09fc68dc2017-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 Viro09fc68dc2017-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
Dan Williams87803562018-05-03 17:06:31 -0700576#ifdef CONFIG_ARCH_HAS_UACCESS_MCSAFE
577static int copyout_mcsafe(void __user *to, const void *from, size_t n)
578{
579 if (access_ok(VERIFY_WRITE, to, n)) {
580 kasan_check_read(from, n);
581 n = copy_to_user_mcsafe((__force void *) to, from, n);
582 }
583 return n;
584}
585
586static unsigned long memcpy_mcsafe_to_page(struct page *page, size_t offset,
587 const char *from, size_t len)
588{
589 unsigned long ret;
590 char *to;
591
592 to = kmap_atomic(page);
593 ret = memcpy_mcsafe(to + offset, from, len);
594 kunmap_atomic(to);
595
596 return ret;
597}
598
Dan Williamsbf3eeb92018-07-08 13:46:02 -0700599/**
600 * _copy_to_iter_mcsafe - copy to user with source-read error exception handling
601 * @addr: source kernel address
602 * @bytes: total transfer length
603 * @iter: destination iterator
604 *
605 * The pmem driver arranges for filesystem-dax to use this facility via
606 * dax_copy_to_iter() for protecting read/write to persistent memory.
607 * Unless / until an architecture can guarantee identical performance
608 * between _copy_to_iter_mcsafe() and _copy_to_iter() it would be a
609 * performance regression to switch more users to the mcsafe version.
610 *
611 * Otherwise, the main differences between this and typical _copy_to_iter().
612 *
613 * * Typical tail/residue handling after a fault retries the copy
614 * byte-by-byte until the fault happens again. Re-triggering machine
615 * checks is potentially fatal so the implementation uses source
616 * alignment and poison alignment assumptions to avoid re-triggering
617 * hardware exceptions.
618 *
619 * * ITER_KVEC, ITER_PIPE, and ITER_BVEC can return short copies.
620 * Compare to copy_to_iter() where only ITER_IOVEC attempts might return
621 * a short copy.
622 *
623 * See MCSAFE_TEST for self-test.
624 */
Dan Williams87803562018-05-03 17:06:31 -0700625size_t _copy_to_iter_mcsafe(const void *addr, size_t bytes, struct iov_iter *i)
626{
627 const char *from = addr;
628 unsigned long rem, curr_addr, s_addr = (unsigned long) addr;
629
630 if (unlikely(i->type & ITER_PIPE)) {
631 WARN_ON(1);
632 return 0;
633 }
634 if (iter_is_iovec(i))
635 might_fault();
636 iterate_and_advance(i, bytes, v,
637 copyout_mcsafe(v.iov_base, (from += v.iov_len) - v.iov_len, v.iov_len),
638 ({
639 rem = memcpy_mcsafe_to_page(v.bv_page, v.bv_offset,
640 (from += v.bv_len) - v.bv_len, v.bv_len);
641 if (rem) {
642 curr_addr = (unsigned long) from;
643 bytes = curr_addr - s_addr - rem;
644 return bytes;
645 }
646 }),
647 ({
648 rem = memcpy_mcsafe(v.iov_base, (from += v.iov_len) - v.iov_len,
649 v.iov_len);
650 if (rem) {
651 curr_addr = (unsigned long) from;
652 bytes = curr_addr - s_addr - rem;
653 return bytes;
654 }
655 })
656 )
657
658 return bytes;
659}
660EXPORT_SYMBOL_GPL(_copy_to_iter_mcsafe);
661#endif /* CONFIG_ARCH_HAS_UACCESS_MCSAFE */
662
Al Viroaa28de22017-06-29 21:45:10 -0400663size_t _copy_from_iter(void *addr, size_t bytes, struct iov_iter *i)
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400664{
Al Viro0dbca9a2014-11-27 14:26:43 -0500665 char *to = addr;
Al Viro241699c2016-09-22 16:33:12 -0400666 if (unlikely(i->type & ITER_PIPE)) {
667 WARN_ON(1);
668 return 0;
669 }
Al Viro09fc68dc2017-06-29 22:25:14 -0400670 if (iter_is_iovec(i))
671 might_fault();
Al Viro0dbca9a2014-11-27 14:26:43 -0500672 iterate_and_advance(i, bytes, v,
Al Viro09fc68dc2017-06-29 22:25:14 -0400673 copyin((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len),
Al Viro0dbca9a2014-11-27 14:26:43 -0500674 memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
Al Viroa2804552014-11-27 14:48:42 -0500675 v.bv_offset, v.bv_len),
676 memcpy((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
Al Viro0dbca9a2014-11-27 14:26:43 -0500677 )
678
679 return bytes;
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400680}
Al Viroaa28de22017-06-29 21:45:10 -0400681EXPORT_SYMBOL(_copy_from_iter);
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400682
Al Viroaa28de22017-06-29 21:45:10 -0400683bool _copy_from_iter_full(void *addr, size_t bytes, struct iov_iter *i)
Al Virocbbd26b2016-11-01 22:09:04 -0400684{
685 char *to = addr;
686 if (unlikely(i->type & ITER_PIPE)) {
687 WARN_ON(1);
688 return false;
689 }
Al Viro33844e62016-12-21 21:55:02 -0500690 if (unlikely(i->count < bytes))
Al Virocbbd26b2016-11-01 22:09:04 -0400691 return false;
692
Al Viro09fc68dc2017-06-29 22:25:14 -0400693 if (iter_is_iovec(i))
694 might_fault();
Al Virocbbd26b2016-11-01 22:09:04 -0400695 iterate_all_kinds(i, bytes, v, ({
Al Viro09fc68dc2017-06-29 22:25:14 -0400696 if (copyin((to += v.iov_len) - v.iov_len,
Al Virocbbd26b2016-11-01 22:09:04 -0400697 v.iov_base, v.iov_len))
698 return false;
699 0;}),
700 memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
701 v.bv_offset, v.bv_len),
702 memcpy((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
703 )
704
705 iov_iter_advance(i, bytes);
706 return true;
707}
Al Viroaa28de22017-06-29 21:45:10 -0400708EXPORT_SYMBOL(_copy_from_iter_full);
Al Virocbbd26b2016-11-01 22:09:04 -0400709
Al Viroaa28de22017-06-29 21:45:10 -0400710size_t _copy_from_iter_nocache(void *addr, size_t bytes, struct iov_iter *i)
Al Viroaa583092014-11-27 20:27:08 -0500711{
712 char *to = addr;
Al Viro241699c2016-09-22 16:33:12 -0400713 if (unlikely(i->type & ITER_PIPE)) {
714 WARN_ON(1);
715 return 0;
716 }
Al Viroaa583092014-11-27 20:27:08 -0500717 iterate_and_advance(i, bytes, v,
Al Viro3f763452017-03-25 18:47:28 -0400718 __copy_from_user_inatomic_nocache((to += v.iov_len) - v.iov_len,
Al Viroaa583092014-11-27 20:27:08 -0500719 v.iov_base, v.iov_len),
720 memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
721 v.bv_offset, v.bv_len),
722 memcpy((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
723 )
724
725 return bytes;
726}
Al Viroaa28de22017-06-29 21:45:10 -0400727EXPORT_SYMBOL(_copy_from_iter_nocache);
Al Viroaa583092014-11-27 20:27:08 -0500728
Dan Williams0aed55a2017-05-29 12:22:50 -0700729#ifdef CONFIG_ARCH_HAS_UACCESS_FLUSHCACHE
Linus Torvalds6a37e942017-07-07 20:39:20 -0700730size_t _copy_from_iter_flushcache(void *addr, size_t bytes, struct iov_iter *i)
Dan Williams0aed55a2017-05-29 12:22:50 -0700731{
732 char *to = addr;
733 if (unlikely(i->type & ITER_PIPE)) {
734 WARN_ON(1);
735 return 0;
736 }
737 iterate_and_advance(i, bytes, v,
738 __copy_from_user_flushcache((to += v.iov_len) - v.iov_len,
739 v.iov_base, v.iov_len),
740 memcpy_page_flushcache((to += v.bv_len) - v.bv_len, v.bv_page,
741 v.bv_offset, v.bv_len),
742 memcpy_flushcache((to += v.iov_len) - v.iov_len, v.iov_base,
743 v.iov_len)
744 )
745
746 return bytes;
747}
Linus Torvalds6a37e942017-07-07 20:39:20 -0700748EXPORT_SYMBOL_GPL(_copy_from_iter_flushcache);
Dan Williams0aed55a2017-05-29 12:22:50 -0700749#endif
750
Al Viroaa28de22017-06-29 21:45:10 -0400751bool _copy_from_iter_full_nocache(void *addr, size_t bytes, struct iov_iter *i)
Al Virocbbd26b2016-11-01 22:09:04 -0400752{
753 char *to = addr;
754 if (unlikely(i->type & ITER_PIPE)) {
755 WARN_ON(1);
756 return false;
757 }
Al Viro33844e62016-12-21 21:55:02 -0500758 if (unlikely(i->count < bytes))
Al Virocbbd26b2016-11-01 22:09:04 -0400759 return false;
760 iterate_all_kinds(i, bytes, v, ({
Al Viro3f763452017-03-25 18:47:28 -0400761 if (__copy_from_user_inatomic_nocache((to += v.iov_len) - v.iov_len,
Al Virocbbd26b2016-11-01 22:09:04 -0400762 v.iov_base, v.iov_len))
763 return false;
764 0;}),
765 memcpy_from_page((to += v.bv_len) - v.bv_len, v.bv_page,
766 v.bv_offset, v.bv_len),
767 memcpy((to += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
768 )
769
770 iov_iter_advance(i, bytes);
771 return true;
772}
Al Viroaa28de22017-06-29 21:45:10 -0400773EXPORT_SYMBOL(_copy_from_iter_full_nocache);
Al Virocbbd26b2016-11-01 22:09:04 -0400774
Al Viro72e809e2017-06-29 21:52:57 -0400775static inline bool page_copy_sane(struct page *page, size_t offset, size_t n)
776{
Petar Penkova90bcb82017-08-29 11:20:32 -0700777 struct page *head = compound_head(page);
778 size_t v = n + offset + page_address(page) - page_address(head);
779
780 if (likely(n <= v && v <= (PAGE_SIZE << compound_order(head))))
Al Viro72e809e2017-06-29 21:52:57 -0400781 return true;
782 WARN_ON(1);
783 return false;
784}
Al Virod2715242014-11-27 14:22:37 -0500785
786size_t copy_page_to_iter(struct page *page, size_t offset, size_t bytes,
787 struct iov_iter *i)
788{
Al Viro72e809e2017-06-29 21:52:57 -0400789 if (unlikely(!page_copy_sane(page, offset, bytes)))
790 return 0;
Al Virod2715242014-11-27 14:22:37 -0500791 if (i->type & (ITER_BVEC|ITER_KVEC)) {
792 void *kaddr = kmap_atomic(page);
793 size_t wanted = copy_to_iter(kaddr + offset, bytes, i);
794 kunmap_atomic(kaddr);
795 return wanted;
Al Viro241699c2016-09-22 16:33:12 -0400796 } else if (likely(!(i->type & ITER_PIPE)))
Al Virod2715242014-11-27 14:22:37 -0500797 return copy_page_to_iter_iovec(page, offset, bytes, i);
Al Viro241699c2016-09-22 16:33:12 -0400798 else
799 return copy_page_to_iter_pipe(page, offset, bytes, i);
Al Virod2715242014-11-27 14:22:37 -0500800}
801EXPORT_SYMBOL(copy_page_to_iter);
802
803size_t copy_page_from_iter(struct page *page, size_t offset, size_t bytes,
804 struct iov_iter *i)
805{
Al Viro72e809e2017-06-29 21:52:57 -0400806 if (unlikely(!page_copy_sane(page, offset, bytes)))
807 return 0;
Al Viro241699c2016-09-22 16:33:12 -0400808 if (unlikely(i->type & ITER_PIPE)) {
809 WARN_ON(1);
810 return 0;
811 }
Al Virod2715242014-11-27 14:22:37 -0500812 if (i->type & (ITER_BVEC|ITER_KVEC)) {
813 void *kaddr = kmap_atomic(page);
Al Viroaa28de22017-06-29 21:45:10 -0400814 size_t wanted = _copy_from_iter(kaddr + offset, bytes, i);
Al Virod2715242014-11-27 14:22:37 -0500815 kunmap_atomic(kaddr);
816 return wanted;
817 } else
818 return copy_page_from_iter_iovec(page, offset, bytes, i);
819}
820EXPORT_SYMBOL(copy_page_from_iter);
821
Al Viro241699c2016-09-22 16:33:12 -0400822static size_t pipe_zero(size_t bytes, struct iov_iter *i)
823{
824 struct pipe_inode_info *pipe = i->pipe;
825 size_t n, off;
826 int idx;
827
828 if (!sanity(i))
829 return 0;
830
831 bytes = n = push_pipe(i, bytes, &idx, &off);
832 if (unlikely(!n))
833 return 0;
834
835 for ( ; n; idx = next_idx(idx, pipe), off = 0) {
836 size_t chunk = min_t(size_t, n, PAGE_SIZE - off);
837 memzero_page(pipe->bufs[idx].page, off, chunk);
838 i->idx = idx;
839 i->iov_offset = off + chunk;
840 n -= chunk;
841 }
842 i->count -= bytes;
843 return bytes;
844}
845
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400846size_t iov_iter_zero(size_t bytes, struct iov_iter *i)
847{
Al Viro241699c2016-09-22 16:33:12 -0400848 if (unlikely(i->type & ITER_PIPE))
849 return pipe_zero(bytes, i);
Al Viro8442fa42014-11-27 14:18:54 -0500850 iterate_and_advance(i, bytes, v,
Al Viro09fc68dc2017-06-29 22:25:14 -0400851 clear_user(v.iov_base, v.iov_len),
Al Viroa2804552014-11-27 14:48:42 -0500852 memzero_page(v.bv_page, v.bv_offset, v.bv_len),
853 memset(v.iov_base, 0, v.iov_len)
Al Viro8442fa42014-11-27 14:18:54 -0500854 )
855
856 return bytes;
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400857}
858EXPORT_SYMBOL(iov_iter_zero);
859
Al Viro62a80672014-04-04 23:12:29 -0400860size_t iov_iter_copy_from_user_atomic(struct page *page,
861 struct iov_iter *i, unsigned long offset, size_t bytes)
862{
Al Viro04a31162014-11-27 13:51:41 -0500863 char *kaddr = kmap_atomic(page), *p = kaddr + offset;
Al Viro72e809e2017-06-29 21:52:57 -0400864 if (unlikely(!page_copy_sane(page, offset, bytes))) {
865 kunmap_atomic(kaddr);
866 return 0;
867 }
Al Viro241699c2016-09-22 16:33:12 -0400868 if (unlikely(i->type & ITER_PIPE)) {
869 kunmap_atomic(kaddr);
870 WARN_ON(1);
871 return 0;
872 }
Al Viro04a31162014-11-27 13:51:41 -0500873 iterate_all_kinds(i, bytes, v,
Al Viro09fc68dc2017-06-29 22:25:14 -0400874 copyin((p += v.iov_len) - v.iov_len, v.iov_base, v.iov_len),
Al Viro04a31162014-11-27 13:51:41 -0500875 memcpy_from_page((p += v.bv_len) - v.bv_len, v.bv_page,
Al Viroa2804552014-11-27 14:48:42 -0500876 v.bv_offset, v.bv_len),
877 memcpy((p += v.iov_len) - v.iov_len, v.iov_base, v.iov_len)
Al Viro04a31162014-11-27 13:51:41 -0500878 )
879 kunmap_atomic(kaddr);
880 return bytes;
Al Viro62a80672014-04-04 23:12:29 -0400881}
882EXPORT_SYMBOL(iov_iter_copy_from_user_atomic);
883
Al Virob9dc6f62017-01-14 19:33:08 -0500884static inline void pipe_truncate(struct iov_iter *i)
Al Viro241699c2016-09-22 16:33:12 -0400885{
886 struct pipe_inode_info *pipe = i->pipe;
Al Viro241699c2016-09-22 16:33:12 -0400887 if (pipe->nrbufs) {
Al Virob9dc6f62017-01-14 19:33:08 -0500888 size_t off = i->iov_offset;
889 int idx = i->idx;
890 int nrbufs = (idx - pipe->curbuf) & (pipe->buffers - 1);
891 if (off) {
892 pipe->bufs[idx].len = off - pipe->bufs[idx].offset;
893 idx = next_idx(idx, pipe);
894 nrbufs++;
895 }
896 while (pipe->nrbufs > nrbufs) {
Miklos Szeredia7796382016-09-27 10:45:12 +0200897 pipe_buf_release(pipe, &pipe->bufs[idx]);
Al Viro241699c2016-09-22 16:33:12 -0400898 idx = next_idx(idx, pipe);
899 pipe->nrbufs--;
900 }
901 }
Al Virob9dc6f62017-01-14 19:33:08 -0500902}
903
904static void pipe_advance(struct iov_iter *i, size_t size)
905{
906 struct pipe_inode_info *pipe = i->pipe;
907 if (unlikely(i->count < size))
908 size = i->count;
909 if (size) {
910 struct pipe_buffer *buf;
911 size_t off = i->iov_offset, left = size;
912 int idx = i->idx;
913 if (off) /* make it relative to the beginning of buffer */
914 left += off - pipe->bufs[idx].offset;
915 while (1) {
916 buf = &pipe->bufs[idx];
917 if (left <= buf->len)
918 break;
919 left -= buf->len;
920 idx = next_idx(idx, pipe);
921 }
922 i->idx = idx;
923 i->iov_offset = buf->offset + left;
924 }
925 i->count -= size;
926 /* ... and discard everything past that point */
927 pipe_truncate(i);
Al Viro241699c2016-09-22 16:33:12 -0400928}
929
Al Viro62a80672014-04-04 23:12:29 -0400930void iov_iter_advance(struct iov_iter *i, size_t size)
931{
Al Viro241699c2016-09-22 16:33:12 -0400932 if (unlikely(i->type & ITER_PIPE)) {
933 pipe_advance(i, size);
934 return;
935 }
Al Viroa2804552014-11-27 14:48:42 -0500936 iterate_and_advance(i, size, v, 0, 0, 0)
Al Viro62a80672014-04-04 23:12:29 -0400937}
938EXPORT_SYMBOL(iov_iter_advance);
939
Al Viro27c0e372017-02-17 18:42:24 -0500940void iov_iter_revert(struct iov_iter *i, size_t unroll)
941{
942 if (!unroll)
943 return;
Al Viro5b47d592017-05-08 13:54:47 -0400944 if (WARN_ON(unroll > MAX_RW_COUNT))
945 return;
Al Viro27c0e372017-02-17 18:42:24 -0500946 i->count += unroll;
947 if (unlikely(i->type & ITER_PIPE)) {
948 struct pipe_inode_info *pipe = i->pipe;
949 int idx = i->idx;
950 size_t off = i->iov_offset;
951 while (1) {
952 size_t n = off - pipe->bufs[idx].offset;
953 if (unroll < n) {
Al Viro4fa55ce2017-04-29 16:42:30 -0400954 off -= unroll;
Al Viro27c0e372017-02-17 18:42:24 -0500955 break;
956 }
957 unroll -= n;
958 if (!unroll && idx == i->start_idx) {
959 off = 0;
960 break;
961 }
962 if (!idx--)
963 idx = pipe->buffers - 1;
964 off = pipe->bufs[idx].offset + pipe->bufs[idx].len;
965 }
966 i->iov_offset = off;
967 i->idx = idx;
968 pipe_truncate(i);
969 return;
970 }
971 if (unroll <= i->iov_offset) {
972 i->iov_offset -= unroll;
973 return;
974 }
975 unroll -= i->iov_offset;
976 if (i->type & ITER_BVEC) {
977 const struct bio_vec *bvec = i->bvec;
978 while (1) {
979 size_t n = (--bvec)->bv_len;
980 i->nr_segs++;
981 if (unroll <= n) {
982 i->bvec = bvec;
983 i->iov_offset = n - unroll;
984 return;
985 }
986 unroll -= n;
987 }
988 } else { /* same logics for iovec and kvec */
989 const struct iovec *iov = i->iov;
990 while (1) {
991 size_t n = (--iov)->iov_len;
992 i->nr_segs++;
993 if (unroll <= n) {
994 i->iov = iov;
995 i->iov_offset = n - unroll;
996 return;
997 }
998 unroll -= n;
999 }
1000 }
1001}
1002EXPORT_SYMBOL(iov_iter_revert);
1003
Al Viro62a80672014-04-04 23:12:29 -04001004/*
1005 * Return the count of just the current iov_iter segment.
1006 */
1007size_t iov_iter_single_seg_count(const struct iov_iter *i)
1008{
Al Viro241699c2016-09-22 16:33:12 -04001009 if (unlikely(i->type & ITER_PIPE))
1010 return i->count; // it is a silly place, anyway
Al Viro62a80672014-04-04 23:12:29 -04001011 if (i->nr_segs == 1)
1012 return i->count;
1013 else if (i->type & ITER_BVEC)
Al Viro62a80672014-04-04 23:12:29 -04001014 return min(i->count, i->bvec->bv_len - i->iov_offset);
Paul Mackerrasad0eab92014-11-13 20:15:23 +11001015 else
1016 return min(i->count, i->iov->iov_len - i->iov_offset);
Al Viro62a80672014-04-04 23:12:29 -04001017}
1018EXPORT_SYMBOL(iov_iter_single_seg_count);
1019
Al Viroabb78f82014-11-24 14:46:11 -05001020void iov_iter_kvec(struct iov_iter *i, int direction,
Al Viro05afcb72015-01-23 01:08:07 -05001021 const struct kvec *kvec, unsigned long nr_segs,
Al Viroabb78f82014-11-24 14:46:11 -05001022 size_t count)
1023{
1024 BUG_ON(!(direction & ITER_KVEC));
1025 i->type = direction;
Al Viro05afcb72015-01-23 01:08:07 -05001026 i->kvec = kvec;
Al Viroabb78f82014-11-24 14:46:11 -05001027 i->nr_segs = nr_segs;
1028 i->iov_offset = 0;
1029 i->count = count;
1030}
1031EXPORT_SYMBOL(iov_iter_kvec);
1032
Al Viro05afcb72015-01-23 01:08:07 -05001033void iov_iter_bvec(struct iov_iter *i, int direction,
1034 const struct bio_vec *bvec, unsigned long nr_segs,
1035 size_t count)
1036{
1037 BUG_ON(!(direction & ITER_BVEC));
1038 i->type = direction;
1039 i->bvec = bvec;
1040 i->nr_segs = nr_segs;
1041 i->iov_offset = 0;
1042 i->count = count;
1043}
1044EXPORT_SYMBOL(iov_iter_bvec);
1045
Al Viro241699c2016-09-22 16:33:12 -04001046void iov_iter_pipe(struct iov_iter *i, int direction,
1047 struct pipe_inode_info *pipe,
1048 size_t count)
1049{
1050 BUG_ON(direction != ITER_PIPE);
Al Virob9dc6f62017-01-14 19:33:08 -05001051 WARN_ON(pipe->nrbufs == pipe->buffers);
Al Viro241699c2016-09-22 16:33:12 -04001052 i->type = direction;
1053 i->pipe = pipe;
1054 i->idx = (pipe->curbuf + pipe->nrbufs) & (pipe->buffers - 1);
1055 i->iov_offset = 0;
1056 i->count = count;
Al Viro27c0e372017-02-17 18:42:24 -05001057 i->start_idx = i->idx;
Al Viro241699c2016-09-22 16:33:12 -04001058}
1059EXPORT_SYMBOL(iov_iter_pipe);
1060
Al Viro62a80672014-04-04 23:12:29 -04001061unsigned long iov_iter_alignment(const struct iov_iter *i)
1062{
Al Viro04a31162014-11-27 13:51:41 -05001063 unsigned long res = 0;
1064 size_t size = i->count;
1065
Al Viro241699c2016-09-22 16:33:12 -04001066 if (unlikely(i->type & ITER_PIPE)) {
Al Viro33844e62016-12-21 21:55:02 -05001067 if (size && i->iov_offset && allocated(&i->pipe->bufs[i->idx]))
Al Viro241699c2016-09-22 16:33:12 -04001068 return size | i->iov_offset;
1069 return size;
1070 }
Al Viro04a31162014-11-27 13:51:41 -05001071 iterate_all_kinds(i, size, v,
1072 (res |= (unsigned long)v.iov_base | v.iov_len, 0),
Al Viroa2804552014-11-27 14:48:42 -05001073 res |= v.bv_offset | v.bv_len,
1074 res |= (unsigned long)v.iov_base | v.iov_len
Al Viro04a31162014-11-27 13:51:41 -05001075 )
1076 return res;
Al Viro62a80672014-04-04 23:12:29 -04001077}
1078EXPORT_SYMBOL(iov_iter_alignment);
1079
Al Viro357f4352016-04-08 19:05:19 -04001080unsigned long iov_iter_gap_alignment(const struct iov_iter *i)
1081{
Al Viro33844e62016-12-21 21:55:02 -05001082 unsigned long res = 0;
Al Viro357f4352016-04-08 19:05:19 -04001083 size_t size = i->count;
Al Viro357f4352016-04-08 19:05:19 -04001084
Al Viro241699c2016-09-22 16:33:12 -04001085 if (unlikely(i->type & ITER_PIPE)) {
1086 WARN_ON(1);
1087 return ~0U;
1088 }
1089
Al Viro357f4352016-04-08 19:05:19 -04001090 iterate_all_kinds(i, size, v,
1091 (res |= (!res ? 0 : (unsigned long)v.iov_base) |
1092 (size != v.iov_len ? size : 0), 0),
1093 (res |= (!res ? 0 : (unsigned long)v.bv_offset) |
1094 (size != v.bv_len ? size : 0)),
1095 (res |= (!res ? 0 : (unsigned long)v.iov_base) |
1096 (size != v.iov_len ? size : 0))
1097 );
Al Viro33844e62016-12-21 21:55:02 -05001098 return res;
Al Viro357f4352016-04-08 19:05:19 -04001099}
1100EXPORT_SYMBOL(iov_iter_gap_alignment);
1101
Ilya Dryomove76b63122018-05-02 20:16:56 +02001102static inline ssize_t __pipe_get_pages(struct iov_iter *i,
Al Viro241699c2016-09-22 16:33:12 -04001103 size_t maxsize,
1104 struct page **pages,
1105 int idx,
1106 size_t *start)
1107{
1108 struct pipe_inode_info *pipe = i->pipe;
Al Viro1689c732016-10-11 18:21:14 +01001109 ssize_t n = push_pipe(i, maxsize, &idx, start);
Al Viro241699c2016-09-22 16:33:12 -04001110 if (!n)
1111 return -EFAULT;
1112
1113 maxsize = n;
1114 n += *start;
Al Viro1689c732016-10-11 18:21:14 +01001115 while (n > 0) {
Al Viro241699c2016-09-22 16:33:12 -04001116 get_page(*pages++ = pipe->bufs[idx].page);
1117 idx = next_idx(idx, pipe);
1118 n -= PAGE_SIZE;
1119 }
1120
1121 return maxsize;
1122}
1123
1124static ssize_t pipe_get_pages(struct iov_iter *i,
1125 struct page **pages, size_t maxsize, unsigned maxpages,
1126 size_t *start)
1127{
1128 unsigned npages;
1129 size_t capacity;
1130 int idx;
1131
Al Viro33844e62016-12-21 21:55:02 -05001132 if (!maxsize)
1133 return 0;
1134
Al Viro241699c2016-09-22 16:33:12 -04001135 if (!sanity(i))
1136 return -EFAULT;
1137
1138 data_start(i, &idx, start);
1139 /* some of this one + all after this one */
1140 npages = ((i->pipe->curbuf - idx - 1) & (i->pipe->buffers - 1)) + 1;
1141 capacity = min(npages,maxpages) * PAGE_SIZE - *start;
1142
1143 return __pipe_get_pages(i, min(maxsize, capacity), pages, idx, start);
1144}
1145
Al Viro62a80672014-04-04 23:12:29 -04001146ssize_t iov_iter_get_pages(struct iov_iter *i,
Miklos Szeredi2c809292014-09-24 17:09:11 +02001147 struct page **pages, size_t maxsize, unsigned maxpages,
Al Viro62a80672014-04-04 23:12:29 -04001148 size_t *start)
1149{
Al Viroe5393fa2014-11-27 14:12:09 -05001150 if (maxsize > i->count)
1151 maxsize = i->count;
1152
Al Viro241699c2016-09-22 16:33:12 -04001153 if (unlikely(i->type & ITER_PIPE))
1154 return pipe_get_pages(i, pages, maxsize, maxpages, start);
Al Viroe5393fa2014-11-27 14:12:09 -05001155 iterate_all_kinds(i, maxsize, v, ({
1156 unsigned long addr = (unsigned long)v.iov_base;
1157 size_t len = v.iov_len + (*start = addr & (PAGE_SIZE - 1));
1158 int n;
1159 int res;
1160
1161 if (len > maxpages * PAGE_SIZE)
1162 len = maxpages * PAGE_SIZE;
1163 addr &= ~(PAGE_SIZE - 1);
1164 n = DIV_ROUND_UP(len, PAGE_SIZE);
1165 res = get_user_pages_fast(addr, n, (i->type & WRITE) != WRITE, pages);
1166 if (unlikely(res < 0))
1167 return res;
1168 return (res == n ? len : res * PAGE_SIZE) - *start;
1169 0;}),({
1170 /* can't be more than PAGE_SIZE */
1171 *start = v.bv_offset;
1172 get_page(*pages = v.bv_page);
1173 return v.bv_len;
Al Viroa2804552014-11-27 14:48:42 -05001174 }),({
1175 return -EFAULT;
Al Viroe5393fa2014-11-27 14:12:09 -05001176 })
1177 )
1178 return 0;
Al Viro62a80672014-04-04 23:12:29 -04001179}
1180EXPORT_SYMBOL(iov_iter_get_pages);
1181
Al Viro1b17f1f2014-11-27 14:14:31 -05001182static struct page **get_pages_array(size_t n)
1183{
Michal Hocko752ade62017-05-08 15:57:27 -07001184 return kvmalloc_array(n, sizeof(struct page *), GFP_KERNEL);
Al Viro1b17f1f2014-11-27 14:14:31 -05001185}
1186
Al Viro241699c2016-09-22 16:33:12 -04001187static ssize_t pipe_get_pages_alloc(struct iov_iter *i,
1188 struct page ***pages, size_t maxsize,
1189 size_t *start)
1190{
1191 struct page **p;
Ilya Dryomovd7760d62018-05-02 20:16:57 +02001192 ssize_t n;
Al Viro241699c2016-09-22 16:33:12 -04001193 int idx;
1194 int npages;
1195
Al Viro33844e62016-12-21 21:55:02 -05001196 if (!maxsize)
1197 return 0;
1198
Al Viro241699c2016-09-22 16:33:12 -04001199 if (!sanity(i))
1200 return -EFAULT;
1201
1202 data_start(i, &idx, start);
1203 /* some of this one + all after this one */
1204 npages = ((i->pipe->curbuf - idx - 1) & (i->pipe->buffers - 1)) + 1;
1205 n = npages * PAGE_SIZE - *start;
1206 if (maxsize > n)
1207 maxsize = n;
1208 else
1209 npages = DIV_ROUND_UP(maxsize + *start, PAGE_SIZE);
1210 p = get_pages_array(npages);
1211 if (!p)
1212 return -ENOMEM;
1213 n = __pipe_get_pages(i, maxsize, p, idx, start);
1214 if (n > 0)
1215 *pages = p;
1216 else
1217 kvfree(p);
1218 return n;
1219}
1220
Al Viro62a80672014-04-04 23:12:29 -04001221ssize_t iov_iter_get_pages_alloc(struct iov_iter *i,
1222 struct page ***pages, size_t maxsize,
1223 size_t *start)
1224{
Al Viro1b17f1f2014-11-27 14:14:31 -05001225 struct page **p;
1226
1227 if (maxsize > i->count)
1228 maxsize = i->count;
1229
Al Viro241699c2016-09-22 16:33:12 -04001230 if (unlikely(i->type & ITER_PIPE))
1231 return pipe_get_pages_alloc(i, pages, maxsize, start);
Al Viro1b17f1f2014-11-27 14:14:31 -05001232 iterate_all_kinds(i, maxsize, v, ({
1233 unsigned long addr = (unsigned long)v.iov_base;
1234 size_t len = v.iov_len + (*start = addr & (PAGE_SIZE - 1));
1235 int n;
1236 int res;
1237
1238 addr &= ~(PAGE_SIZE - 1);
1239 n = DIV_ROUND_UP(len, PAGE_SIZE);
1240 p = get_pages_array(n);
1241 if (!p)
1242 return -ENOMEM;
1243 res = get_user_pages_fast(addr, n, (i->type & WRITE) != WRITE, p);
1244 if (unlikely(res < 0)) {
1245 kvfree(p);
1246 return res;
1247 }
1248 *pages = p;
1249 return (res == n ? len : res * PAGE_SIZE) - *start;
1250 0;}),({
1251 /* can't be more than PAGE_SIZE */
1252 *start = v.bv_offset;
1253 *pages = p = get_pages_array(1);
1254 if (!p)
1255 return -ENOMEM;
1256 get_page(*p = v.bv_page);
1257 return v.bv_len;
Al Viroa2804552014-11-27 14:48:42 -05001258 }),({
1259 return -EFAULT;
Al Viro1b17f1f2014-11-27 14:14:31 -05001260 })
1261 )
1262 return 0;
Al Viro62a80672014-04-04 23:12:29 -04001263}
1264EXPORT_SYMBOL(iov_iter_get_pages_alloc);
1265
Al Viroa604ec72014-11-24 01:08:00 -05001266size_t csum_and_copy_from_iter(void *addr, size_t bytes, __wsum *csum,
1267 struct iov_iter *i)
1268{
1269 char *to = addr;
1270 __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);
1275 return 0;
1276 }
Al Viroa604ec72014-11-24 01:08:00 -05001277 iterate_and_advance(i, bytes, v, ({
1278 int err = 0;
Al Virocbbd26b2016-11-01 22:09:04 -04001279 next = csum_and_copy_from_user(v.iov_base,
Al Viroa604ec72014-11-24 01:08:00 -05001280 (to += v.iov_len) - v.iov_len,
1281 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(p + v.bv_offset,
1290 (to += v.bv_len) - v.bv_len,
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(v.iov_base,
1297 (to += v.iov_len) - v.iov_len,
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_from_iter);
1307
Al Virocbbd26b2016-11-01 22:09:04 -04001308bool csum_and_copy_from_iter_full(void *addr, size_t bytes, __wsum *csum,
1309 struct iov_iter *i)
1310{
1311 char *to = addr;
1312 __wsum sum, next;
1313 size_t off = 0;
1314 sum = *csum;
1315 if (unlikely(i->type & ITER_PIPE)) {
1316 WARN_ON(1);
1317 return false;
1318 }
1319 if (unlikely(i->count < bytes))
1320 return false;
1321 iterate_all_kinds(i, bytes, v, ({
1322 int err = 0;
1323 next = csum_and_copy_from_user(v.iov_base,
1324 (to += v.iov_len) - v.iov_len,
1325 v.iov_len, 0, &err);
1326 if (err)
1327 return false;
1328 sum = csum_block_add(sum, next, off);
1329 off += v.iov_len;
1330 0;
1331 }), ({
1332 char *p = kmap_atomic(v.bv_page);
1333 next = csum_partial_copy_nocheck(p + v.bv_offset,
1334 (to += v.bv_len) - v.bv_len,
1335 v.bv_len, 0);
1336 kunmap_atomic(p);
1337 sum = csum_block_add(sum, next, off);
1338 off += v.bv_len;
1339 }),({
1340 next = csum_partial_copy_nocheck(v.iov_base,
1341 (to += v.iov_len) - v.iov_len,
1342 v.iov_len, 0);
1343 sum = csum_block_add(sum, next, off);
1344 off += v.iov_len;
1345 })
1346 )
1347 *csum = sum;
1348 iov_iter_advance(i, bytes);
1349 return true;
1350}
1351EXPORT_SYMBOL(csum_and_copy_from_iter_full);
1352
Al Viro36f7a8a2015-12-06 16:49:22 -05001353size_t csum_and_copy_to_iter(const void *addr, size_t bytes, __wsum *csum,
Al Viroa604ec72014-11-24 01:08:00 -05001354 struct iov_iter *i)
1355{
Al Viro36f7a8a2015-12-06 16:49:22 -05001356 const char *from = addr;
Al Viroa604ec72014-11-24 01:08:00 -05001357 __wsum sum, next;
1358 size_t off = 0;
Al Viroa604ec72014-11-24 01:08:00 -05001359 sum = *csum;
Al Viro241699c2016-09-22 16:33:12 -04001360 if (unlikely(i->type & ITER_PIPE)) {
1361 WARN_ON(1); /* for now */
1362 return 0;
1363 }
Al Viroa604ec72014-11-24 01:08:00 -05001364 iterate_and_advance(i, bytes, v, ({
1365 int err = 0;
1366 next = csum_and_copy_to_user((from += v.iov_len) - v.iov_len,
Al Virocbbd26b2016-11-01 22:09:04 -04001367 v.iov_base,
Al Viroa604ec72014-11-24 01:08:00 -05001368 v.iov_len, 0, &err);
1369 if (!err) {
1370 sum = csum_block_add(sum, next, off);
1371 off += v.iov_len;
1372 }
1373 err ? v.iov_len : 0;
1374 }), ({
1375 char *p = kmap_atomic(v.bv_page);
1376 next = csum_partial_copy_nocheck((from += v.bv_len) - v.bv_len,
1377 p + v.bv_offset,
1378 v.bv_len, 0);
1379 kunmap_atomic(p);
1380 sum = csum_block_add(sum, next, off);
1381 off += v.bv_len;
1382 }),({
1383 next = csum_partial_copy_nocheck((from += v.iov_len) - v.iov_len,
1384 v.iov_base,
1385 v.iov_len, 0);
1386 sum = csum_block_add(sum, next, off);
1387 off += v.iov_len;
1388 })
1389 )
1390 *csum = sum;
1391 return bytes;
1392}
1393EXPORT_SYMBOL(csum_and_copy_to_iter);
1394
Al Viro62a80672014-04-04 23:12:29 -04001395int iov_iter_npages(const struct iov_iter *i, int maxpages)
1396{
Al Viroe0f2dc42014-11-27 14:09:46 -05001397 size_t size = i->count;
1398 int npages = 0;
1399
1400 if (!size)
1401 return 0;
1402
Al Viro241699c2016-09-22 16:33:12 -04001403 if (unlikely(i->type & ITER_PIPE)) {
1404 struct pipe_inode_info *pipe = i->pipe;
1405 size_t off;
1406 int idx;
1407
1408 if (!sanity(i))
1409 return 0;
1410
1411 data_start(i, &idx, &off);
1412 /* some of this one + all after this one */
1413 npages = ((pipe->curbuf - idx - 1) & (pipe->buffers - 1)) + 1;
1414 if (npages >= maxpages)
1415 return maxpages;
1416 } else iterate_all_kinds(i, size, v, ({
Al Viroe0f2dc42014-11-27 14:09:46 -05001417 unsigned long p = (unsigned long)v.iov_base;
1418 npages += DIV_ROUND_UP(p + v.iov_len, PAGE_SIZE)
1419 - p / PAGE_SIZE;
1420 if (npages >= maxpages)
1421 return maxpages;
1422 0;}),({
1423 npages++;
1424 if (npages >= maxpages)
1425 return maxpages;
Al Viroa2804552014-11-27 14:48:42 -05001426 }),({
1427 unsigned long p = (unsigned long)v.iov_base;
1428 npages += DIV_ROUND_UP(p + v.iov_len, PAGE_SIZE)
1429 - p / PAGE_SIZE;
1430 if (npages >= maxpages)
1431 return maxpages;
Al Viroe0f2dc42014-11-27 14:09:46 -05001432 })
1433 )
1434 return npages;
Al Viro62a80672014-04-04 23:12:29 -04001435}
Al Virof67da302014-03-19 01:16:16 -04001436EXPORT_SYMBOL(iov_iter_npages);
Al Viro4b8164b2015-01-31 20:08:47 -05001437
1438const void *dup_iter(struct iov_iter *new, struct iov_iter *old, gfp_t flags)
1439{
1440 *new = *old;
Al Viro241699c2016-09-22 16:33:12 -04001441 if (unlikely(new->type & ITER_PIPE)) {
1442 WARN_ON(1);
1443 return NULL;
1444 }
Al Viro4b8164b2015-01-31 20:08:47 -05001445 if (new->type & ITER_BVEC)
1446 return new->bvec = kmemdup(new->bvec,
1447 new->nr_segs * sizeof(struct bio_vec),
1448 flags);
1449 else
1450 /* iovec and kvec have identical layout */
1451 return new->iov = kmemdup(new->iov,
1452 new->nr_segs * sizeof(struct iovec),
1453 flags);
1454}
1455EXPORT_SYMBOL(dup_iter);
Al Virobc917be2015-03-21 17:45:43 -04001456
Vegard Nossumffecee42016-10-08 11:18:07 +02001457/**
1458 * import_iovec() - Copy an array of &struct iovec from userspace
1459 * into the kernel, check that it is valid, and initialize a new
1460 * &struct iov_iter iterator to access it.
1461 *
1462 * @type: One of %READ or %WRITE.
1463 * @uvector: Pointer to the userspace array.
1464 * @nr_segs: Number of elements in userspace array.
1465 * @fast_segs: Number of elements in @iov.
1466 * @iov: (input and output parameter) Pointer to pointer to (usually small
1467 * on-stack) kernel array.
1468 * @i: Pointer to iterator that will be initialized on success.
1469 *
1470 * If the array pointed to by *@iov is large enough to hold all @nr_segs,
1471 * then this function places %NULL in *@iov on return. Otherwise, a new
1472 * array will be allocated and the result placed in *@iov. This means that
1473 * the caller may call kfree() on *@iov regardless of whether the small
1474 * on-stack array was used or not (and regardless of whether this function
1475 * returns an error or not).
1476 *
1477 * Return: 0 on success or negative error code on error.
1478 */
Al Virobc917be2015-03-21 17:45:43 -04001479int import_iovec(int type, const struct iovec __user * uvector,
1480 unsigned nr_segs, unsigned fast_segs,
1481 struct iovec **iov, struct iov_iter *i)
1482{
1483 ssize_t n;
1484 struct iovec *p;
1485 n = rw_copy_check_uvector(type, uvector, nr_segs, fast_segs,
1486 *iov, &p);
1487 if (n < 0) {
1488 if (p != *iov)
1489 kfree(p);
1490 *iov = NULL;
1491 return n;
1492 }
1493 iov_iter_init(i, type, p, nr_segs, n);
1494 *iov = p == *iov ? NULL : p;
1495 return 0;
1496}
1497EXPORT_SYMBOL(import_iovec);
1498
1499#ifdef CONFIG_COMPAT
1500#include <linux/compat.h>
1501
1502int compat_import_iovec(int type, const struct compat_iovec __user * uvector,
1503 unsigned nr_segs, unsigned fast_segs,
1504 struct iovec **iov, struct iov_iter *i)
1505{
1506 ssize_t n;
1507 struct iovec *p;
1508 n = compat_rw_copy_check_uvector(type, uvector, nr_segs, fast_segs,
1509 *iov, &p);
1510 if (n < 0) {
1511 if (p != *iov)
1512 kfree(p);
1513 *iov = NULL;
1514 return n;
1515 }
1516 iov_iter_init(i, type, p, nr_segs, n);
1517 *iov = p == *iov ? NULL : p;
1518 return 0;
1519}
1520#endif
1521
1522int import_single_range(int rw, void __user *buf, size_t len,
1523 struct iovec *iov, struct iov_iter *i)
1524{
1525 if (len > MAX_RW_COUNT)
1526 len = MAX_RW_COUNT;
1527 if (unlikely(!access_ok(!rw, buf, len)))
1528 return -EFAULT;
1529
1530 iov->iov_base = buf;
1531 iov->iov_len = len;
1532 iov_iter_init(i, rw, iov, 1, len);
1533 return 0;
1534}
Al Viroe1267582015-12-06 20:38:56 -05001535EXPORT_SYMBOL(import_single_range);
Al Viro09cf6982017-02-18 01:44:03 -05001536
1537int iov_iter_for_each_range(struct iov_iter *i, size_t bytes,
1538 int (*f)(struct kvec *vec, void *context),
1539 void *context)
1540{
1541 struct kvec w;
1542 int err = -EINVAL;
1543 if (!bytes)
1544 return 0;
1545
1546 iterate_all_kinds(i, bytes, v, -EINVAL, ({
1547 w.iov_base = kmap(v.bv_page) + v.bv_offset;
1548 w.iov_len = v.bv_len;
1549 err = f(&w, context);
1550 kunmap(v.bv_page);
1551 err;}), ({
1552 w = v;
1553 err = f(&w, context);})
1554 )
1555 return err;
1556}
1557EXPORT_SYMBOL(iov_iter_for_each_range);