blob: f2d50d69a6c364c06b9e7fa4f37527224dd712c6 [file] [log] [blame]
Thomas Gleixner457c8992019-05-19 13:08:55 +01001// SPDX-License-Identifier: GPL-2.0-only
Herbert Xu79990962020-06-12 16:57:37 +10002#include <crypto/hash.h>
Al Viro4f18cd32014-02-05 19:11:33 -05003#include <linux/export.h>
Christoph Hellwig2f8b5442016-11-01 07:40:13 -06004#include <linux/bvec.h>
Albert van der Linde4d0e9df2020-10-15 20:13:50 -07005#include <linux/fault-inject-usercopy.h>
Al Viro4f18cd32014-02-05 19:11:33 -05006#include <linux/uio.h>
7#include <linux/pagemap.h>
Ira Weiny28961992021-05-04 18:40:03 -07008#include <linux/highmem.h>
Al Viro91f79c42014-03-21 04:58:33 -04009#include <linux/slab.h>
10#include <linux/vmalloc.h>
Al Viro241699c2016-09-22 16:33:12 -040011#include <linux/splice.h>
Christoph Hellwigbfdc5972020-09-25 06:51:40 +020012#include <linux/compat.h>
Al Viroa604ec72014-11-24 01:08:00 -050013#include <net/checksum.h>
Sagi Grimbergd05f4432018-12-03 17:52:09 -080014#include <linux/scatterlist.h>
Marco Elverd0ef4c32020-01-21 17:05:11 +010015#include <linux/instrumented.h>
Al Viro4f18cd32014-02-05 19:11:33 -050016
Al Viro241699c2016-09-22 16:33:12 -040017#define PIPE_PARANOIA /* for now */
18
Al Viro5c67aa92021-04-25 23:57:42 -040019/* covers iovec and kvec alike */
Al Viroa6e4ec72021-05-02 13:03:41 -040020#define iterate_iovec(i, n, base, len, off, __p, STEP) { \
Al Viro7baa5092021-05-02 11:35:03 -040021 size_t off = 0; \
Al Viroa6e4ec72021-05-02 13:03:41 -040022 size_t skip = i->iov_offset; \
Al Viro7a1bcb52021-04-25 23:46:09 -040023 do { \
Al Viro7baa5092021-05-02 11:35:03 -040024 len = min(n, __p->iov_len - skip); \
25 if (likely(len)) { \
26 base = __p->iov_base + skip; \
27 len -= (STEP); \
28 off += len; \
29 skip += len; \
30 n -= len; \
Al Viro7a1bcb52021-04-25 23:46:09 -040031 if (skip < __p->iov_len) \
32 break; \
33 } \
34 __p++; \
35 skip = 0; \
36 } while (n); \
Al Viroa6e4ec72021-05-02 13:03:41 -040037 i->iov_offset = skip; \
Al Viro7baa5092021-05-02 11:35:03 -040038 n = off; \
Al Viro04a31162014-11-27 13:51:41 -050039}
40
Al Viroa6e4ec72021-05-02 13:03:41 -040041#define iterate_bvec(i, n, base, len, off, p, STEP) { \
Al Viro7baa5092021-05-02 11:35:03 -040042 size_t off = 0; \
Al Viroa6e4ec72021-05-02 13:03:41 -040043 unsigned skip = i->iov_offset; \
Al Viro7491a2b2021-04-26 20:19:14 -040044 while (n) { \
45 unsigned offset = p->bv_offset + skip; \
Al Viro1b4fb5f2021-04-26 20:33:42 -040046 unsigned left; \
Al Viro21b56c82021-04-26 20:50:05 -040047 void *kaddr = kmap_local_page(p->bv_page + \
48 offset / PAGE_SIZE); \
Al Viro7baa5092021-05-02 11:35:03 -040049 base = kaddr + offset % PAGE_SIZE; \
Al Viroa6e4ec72021-05-02 13:03:41 -040050 len = min(min(n, (size_t)(p->bv_len - skip)), \
Al Viro7491a2b2021-04-26 20:19:14 -040051 (size_t)(PAGE_SIZE - offset % PAGE_SIZE)); \
Al Viro1b4fb5f2021-04-26 20:33:42 -040052 left = (STEP); \
Al Viro21b56c82021-04-26 20:50:05 -040053 kunmap_local(kaddr); \
Al Viro7baa5092021-05-02 11:35:03 -040054 len -= left; \
55 off += len; \
56 skip += len; \
Al Viro7491a2b2021-04-26 20:19:14 -040057 if (skip == p->bv_len) { \
58 skip = 0; \
59 p++; \
60 } \
Al Viro7baa5092021-05-02 11:35:03 -040061 n -= len; \
Al Viro1b4fb5f2021-04-26 20:33:42 -040062 if (left) \
63 break; \
Al Viro7491a2b2021-04-26 20:19:14 -040064 } \
Al Viroa6e4ec72021-05-02 13:03:41 -040065 i->iov_offset = skip; \
Al Viro7baa5092021-05-02 11:35:03 -040066 n = off; \
Al Viro04a31162014-11-27 13:51:41 -050067}
68
Al Viroa6e4ec72021-05-02 13:03:41 -040069#define iterate_xarray(i, n, base, len, __off, STEP) { \
Al Viro1b4fb5f2021-04-26 20:33:42 -040070 __label__ __out; \
Al Viro622838f2021-05-02 11:13:09 -040071 size_t __off = 0; \
David Howells7ff5062072020-02-10 10:00:21 +000072 struct page *head = NULL; \
Al Viroa6e4ec72021-05-02 13:03:41 -040073 loff_t start = i->xarray_start + i->iov_offset; \
Al Viro4b179e92021-05-04 17:50:07 -040074 unsigned offset = start % PAGE_SIZE; \
75 pgoff_t index = start / PAGE_SIZE; \
David Howells7ff5062072020-02-10 10:00:21 +000076 int j; \
77 \
78 XA_STATE(xas, i->xarray, index); \
79 \
Al Viro7baa5092021-05-02 11:35:03 -040080 rcu_read_lock(); \
81 xas_for_each(&xas, head, ULONG_MAX) { \
82 unsigned left; \
83 if (xas_retry(&xas, head)) \
84 continue; \
85 if (WARN_ON(xa_is_value(head))) \
86 break; \
87 if (WARN_ON(PageHuge(head))) \
88 break; \
David Howells7ff5062072020-02-10 10:00:21 +000089 for (j = (head->index < index) ? index - head->index : 0; \
Al Viro7baa5092021-05-02 11:35:03 -040090 j < thp_nr_pages(head); j++) { \
Al Viro21b56c82021-04-26 20:50:05 -040091 void *kaddr = kmap_local_page(head + j); \
Al Viro7baa5092021-05-02 11:35:03 -040092 base = kaddr + offset; \
93 len = PAGE_SIZE - offset; \
94 len = min(n, len); \
95 left = (STEP); \
96 kunmap_local(kaddr); \
97 len -= left; \
98 __off += len; \
99 n -= len; \
100 if (left || n == 0) \
101 goto __out; \
Al Viro4b179e92021-05-04 17:50:07 -0400102 offset = 0; \
Al Viro7baa5092021-05-02 11:35:03 -0400103 } \
David Howells7ff5062072020-02-10 10:00:21 +0000104 } \
Al Viro1b4fb5f2021-04-26 20:33:42 -0400105__out: \
David Howells7ff5062072020-02-10 10:00:21 +0000106 rcu_read_unlock(); \
Al Viroa6e4ec72021-05-02 13:03:41 -0400107 i->iov_offset += __off; \
Al Viro622838f2021-05-02 11:13:09 -0400108 n = __off; \
David Howells7ff5062072020-02-10 10:00:21 +0000109}
110
Al Viro7baa5092021-05-02 11:35:03 -0400111#define __iterate_and_advance(i, n, base, len, off, I, K) { \
Al Virodd254f52016-05-09 11:54:48 -0400112 if (unlikely(i->count < n)) \
113 n = i->count; \
Al Virof5da8352021-04-28 20:59:08 -0400114 if (likely(n)) { \
Al Viro28f38db2021-06-02 17:25:59 -0400115 if (likely(iter_is_iovec(i))) { \
Al Viro5c67aa92021-04-25 23:57:42 -0400116 const struct iovec *iov = i->iov; \
Al Viro7baa5092021-05-02 11:35:03 -0400117 void __user *base; \
118 size_t len; \
119 iterate_iovec(i, n, base, len, off, \
Al Viroa6e4ec72021-05-02 13:03:41 -0400120 iov, (I)) \
Al Virodd254f52016-05-09 11:54:48 -0400121 i->nr_segs -= iov - i->iov; \
122 i->iov = iov; \
Al Viro28f38db2021-06-02 17:25:59 -0400123 } else if (iov_iter_is_bvec(i)) { \
124 const struct bio_vec *bvec = i->bvec; \
Al Viro7baa5092021-05-02 11:35:03 -0400125 void *base; \
126 size_t len; \
127 iterate_bvec(i, n, base, len, off, \
Al Viroa6e4ec72021-05-02 13:03:41 -0400128 bvec, (K)) \
Al Viro7491a2b2021-04-26 20:19:14 -0400129 i->nr_segs -= bvec - i->bvec; \
130 i->bvec = bvec; \
Al Viro28f38db2021-06-02 17:25:59 -0400131 } else if (iov_iter_is_kvec(i)) { \
Al Viro5c67aa92021-04-25 23:57:42 -0400132 const struct kvec *kvec = i->kvec; \
Al Viro7baa5092021-05-02 11:35:03 -0400133 void *base; \
134 size_t len; \
135 iterate_iovec(i, n, base, len, off, \
Al Viroa6e4ec72021-05-02 13:03:41 -0400136 kvec, (K)) \
Al Viro28f38db2021-06-02 17:25:59 -0400137 i->nr_segs -= kvec - i->kvec; \
138 i->kvec = kvec; \
139 } else if (iov_iter_is_xarray(i)) { \
Al Viro7baa5092021-05-02 11:35:03 -0400140 void *base; \
141 size_t len; \
142 iterate_xarray(i, n, base, len, off, \
Al Viroa6e4ec72021-05-02 13:03:41 -0400143 (K)) \
Al Viro7ce2a912014-11-27 13:59:45 -0500144 } \
Al Virodd254f52016-05-09 11:54:48 -0400145 i->count -= n; \
Al Viro7ce2a912014-11-27 13:59:45 -0500146 } \
Al Viro7ce2a912014-11-27 13:59:45 -0500147}
Al Viro7baa5092021-05-02 11:35:03 -0400148#define iterate_and_advance(i, n, base, len, off, I, K) \
149 __iterate_and_advance(i, n, base, len, off, I, ((void)(K),0))
Al Viro7ce2a912014-11-27 13:59:45 -0500150
Al Viro09fc68dc2017-06-29 22:25:14 -0400151static int copyout(void __user *to, const void *from, size_t n)
152{
Albert van der Linde4d0e9df2020-10-15 20:13:50 -0700153 if (should_fail_usercopy())
154 return n;
Linus Torvalds96d4f262019-01-03 18:57:57 -0800155 if (access_ok(to, n)) {
Marco Elverd0ef4c32020-01-21 17:05:11 +0100156 instrument_copy_to_user(to, from, n);
Al Viro09fc68dc2017-06-29 22:25:14 -0400157 n = raw_copy_to_user(to, from, n);
158 }
159 return n;
160}
161
162static int copyin(void *to, const void __user *from, size_t n)
163{
Albert van der Linde4d0e9df2020-10-15 20:13:50 -0700164 if (should_fail_usercopy())
165 return n;
Linus Torvalds96d4f262019-01-03 18:57:57 -0800166 if (access_ok(from, n)) {
Marco Elverd0ef4c32020-01-21 17:05:11 +0100167 instrument_copy_from_user(to, from, n);
Al Viro09fc68dc2017-06-29 22:25:14 -0400168 n = raw_copy_from_user(to, from, n);
169 }
170 return n;
171}
172
Al Viro62a80672014-04-04 23:12:29 -0400173static size_t copy_page_to_iter_iovec(struct page *page, size_t offset, size_t bytes,
Al Viro4f18cd32014-02-05 19:11:33 -0500174 struct iov_iter *i)
175{
176 size_t skip, copy, left, wanted;
177 const struct iovec *iov;
178 char __user *buf;
179 void *kaddr, *from;
180
181 if (unlikely(bytes > i->count))
182 bytes = i->count;
183
184 if (unlikely(!bytes))
185 return 0;
186
Al Viro09fc68dc2017-06-29 22:25:14 -0400187 might_fault();
Al Viro4f18cd32014-02-05 19:11:33 -0500188 wanted = bytes;
189 iov = i->iov;
190 skip = i->iov_offset;
191 buf = iov->iov_base + skip;
192 copy = min(bytes, iov->iov_len - skip);
193
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700194 if (IS_ENABLED(CONFIG_HIGHMEM) && !fault_in_pages_writeable(buf, copy)) {
Al Viro4f18cd32014-02-05 19:11:33 -0500195 kaddr = kmap_atomic(page);
196 from = kaddr + offset;
197
198 /* first chunk, usually the only one */
Al Viro09fc68dc2017-06-29 22:25:14 -0400199 left = copyout(buf, from, copy);
Al Viro4f18cd32014-02-05 19:11:33 -0500200 copy -= left;
201 skip += copy;
202 from += copy;
203 bytes -= copy;
204
205 while (unlikely(!left && bytes)) {
206 iov++;
207 buf = iov->iov_base;
208 copy = min(bytes, iov->iov_len);
Al Viro09fc68dc2017-06-29 22:25:14 -0400209 left = copyout(buf, from, copy);
Al Viro4f18cd32014-02-05 19:11:33 -0500210 copy -= left;
211 skip = copy;
212 from += copy;
213 bytes -= copy;
214 }
215 if (likely(!bytes)) {
216 kunmap_atomic(kaddr);
217 goto done;
218 }
219 offset = from - kaddr;
220 buf += copy;
221 kunmap_atomic(kaddr);
222 copy = min(bytes, iov->iov_len - skip);
223 }
224 /* Too bad - revert to non-atomic kmap */
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700225
Al Viro4f18cd32014-02-05 19:11:33 -0500226 kaddr = kmap(page);
227 from = kaddr + offset;
Al Viro09fc68dc2017-06-29 22:25:14 -0400228 left = copyout(buf, from, copy);
Al Viro4f18cd32014-02-05 19:11:33 -0500229 copy -= left;
230 skip += copy;
231 from += copy;
232 bytes -= copy;
233 while (unlikely(!left && bytes)) {
234 iov++;
235 buf = iov->iov_base;
236 copy = min(bytes, iov->iov_len);
Al Viro09fc68dc2017-06-29 22:25:14 -0400237 left = copyout(buf, from, copy);
Al Viro4f18cd32014-02-05 19:11:33 -0500238 copy -= left;
239 skip = copy;
240 from += copy;
241 bytes -= copy;
242 }
243 kunmap(page);
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700244
Al Viro4f18cd32014-02-05 19:11:33 -0500245done:
Al Viro81055e52014-04-04 19:23:46 -0400246 if (skip == iov->iov_len) {
247 iov++;
248 skip = 0;
249 }
Al Viro4f18cd32014-02-05 19:11:33 -0500250 i->count -= wanted - bytes;
251 i->nr_segs -= iov - i->iov;
252 i->iov = iov;
253 i->iov_offset = skip;
254 return wanted - bytes;
255}
Al Viro4f18cd32014-02-05 19:11:33 -0500256
Al Viro62a80672014-04-04 23:12:29 -0400257static size_t copy_page_from_iter_iovec(struct page *page, size_t offset, size_t bytes,
Al Virof0d1bec2014-04-03 15:05:18 -0400258 struct iov_iter *i)
259{
260 size_t skip, copy, left, wanted;
261 const struct iovec *iov;
262 char __user *buf;
263 void *kaddr, *to;
264
265 if (unlikely(bytes > i->count))
266 bytes = i->count;
267
268 if (unlikely(!bytes))
269 return 0;
270
Al Viro09fc68dc2017-06-29 22:25:14 -0400271 might_fault();
Al Virof0d1bec2014-04-03 15:05:18 -0400272 wanted = bytes;
273 iov = i->iov;
274 skip = i->iov_offset;
275 buf = iov->iov_base + skip;
276 copy = min(bytes, iov->iov_len - skip);
277
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700278 if (IS_ENABLED(CONFIG_HIGHMEM) && !fault_in_pages_readable(buf, copy)) {
Al Virof0d1bec2014-04-03 15:05:18 -0400279 kaddr = kmap_atomic(page);
280 to = kaddr + offset;
281
282 /* first chunk, usually the only one */
Al Viro09fc68dc2017-06-29 22:25:14 -0400283 left = copyin(to, buf, copy);
Al Virof0d1bec2014-04-03 15:05:18 -0400284 copy -= left;
285 skip += copy;
286 to += copy;
287 bytes -= copy;
288
289 while (unlikely(!left && bytes)) {
290 iov++;
291 buf = iov->iov_base;
292 copy = min(bytes, iov->iov_len);
Al Viro09fc68dc2017-06-29 22:25:14 -0400293 left = copyin(to, buf, copy);
Al Virof0d1bec2014-04-03 15:05:18 -0400294 copy -= left;
295 skip = copy;
296 to += copy;
297 bytes -= copy;
298 }
299 if (likely(!bytes)) {
300 kunmap_atomic(kaddr);
301 goto done;
302 }
303 offset = to - kaddr;
304 buf += copy;
305 kunmap_atomic(kaddr);
306 copy = min(bytes, iov->iov_len - skip);
307 }
308 /* Too bad - revert to non-atomic kmap */
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700309
Al Virof0d1bec2014-04-03 15:05:18 -0400310 kaddr = kmap(page);
311 to = kaddr + offset;
Al Viro09fc68dc2017-06-29 22:25:14 -0400312 left = copyin(to, buf, copy);
Al Virof0d1bec2014-04-03 15:05:18 -0400313 copy -= left;
314 skip += copy;
315 to += copy;
316 bytes -= copy;
317 while (unlikely(!left && bytes)) {
318 iov++;
319 buf = iov->iov_base;
320 copy = min(bytes, iov->iov_len);
Al Viro09fc68dc2017-06-29 22:25:14 -0400321 left = copyin(to, buf, copy);
Al Virof0d1bec2014-04-03 15:05:18 -0400322 copy -= left;
323 skip = copy;
324 to += copy;
325 bytes -= copy;
326 }
327 kunmap(page);
Mikulas Patocka3fa6c502016-07-28 15:48:50 -0700328
Al Virof0d1bec2014-04-03 15:05:18 -0400329done:
Al Viro81055e52014-04-04 19:23:46 -0400330 if (skip == iov->iov_len) {
331 iov++;
332 skip = 0;
333 }
Al Virof0d1bec2014-04-03 15:05:18 -0400334 i->count -= wanted - bytes;
335 i->nr_segs -= iov - i->iov;
336 i->iov = iov;
337 i->iov_offset = skip;
338 return wanted - bytes;
339}
Al Virof0d1bec2014-04-03 15:05:18 -0400340
Al Viro241699c2016-09-22 16:33:12 -0400341#ifdef PIPE_PARANOIA
342static bool sanity(const struct iov_iter *i)
343{
344 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000345 unsigned int p_head = pipe->head;
346 unsigned int p_tail = pipe->tail;
347 unsigned int p_mask = pipe->ring_size - 1;
348 unsigned int p_occupancy = pipe_occupancy(p_head, p_tail);
349 unsigned int i_head = i->head;
350 unsigned int idx;
351
Al Viro241699c2016-09-22 16:33:12 -0400352 if (i->iov_offset) {
353 struct pipe_buffer *p;
David Howells8cefc102019-11-15 13:30:32 +0000354 if (unlikely(p_occupancy == 0))
Al Viro241699c2016-09-22 16:33:12 -0400355 goto Bad; // pipe must be non-empty
David Howells8cefc102019-11-15 13:30:32 +0000356 if (unlikely(i_head != p_head - 1))
Al Viro241699c2016-09-22 16:33:12 -0400357 goto Bad; // must be at the last buffer...
358
David Howells8cefc102019-11-15 13:30:32 +0000359 p = &pipe->bufs[i_head & p_mask];
Al Viro241699c2016-09-22 16:33:12 -0400360 if (unlikely(p->offset + p->len != i->iov_offset))
361 goto Bad; // ... at the end of segment
362 } else {
David Howells8cefc102019-11-15 13:30:32 +0000363 if (i_head != p_head)
Al Viro241699c2016-09-22 16:33:12 -0400364 goto Bad; // must be right after the last buffer
365 }
366 return true;
367Bad:
David Howells8cefc102019-11-15 13:30:32 +0000368 printk(KERN_ERR "idx = %d, offset = %zd\n", i_head, i->iov_offset);
369 printk(KERN_ERR "head = %d, tail = %d, buffers = %d\n",
370 p_head, p_tail, pipe->ring_size);
371 for (idx = 0; idx < pipe->ring_size; idx++)
Al Viro241699c2016-09-22 16:33:12 -0400372 printk(KERN_ERR "[%p %p %d %d]\n",
373 pipe->bufs[idx].ops,
374 pipe->bufs[idx].page,
375 pipe->bufs[idx].offset,
376 pipe->bufs[idx].len);
377 WARN_ON(1);
378 return false;
379}
380#else
381#define sanity(i) true
382#endif
383
Al Viro241699c2016-09-22 16:33:12 -0400384static size_t copy_page_to_iter_pipe(struct page *page, size_t offset, size_t bytes,
385 struct iov_iter *i)
386{
387 struct pipe_inode_info *pipe = i->pipe;
388 struct pipe_buffer *buf;
David Howells8cefc102019-11-15 13:30:32 +0000389 unsigned int p_tail = pipe->tail;
390 unsigned int p_mask = pipe->ring_size - 1;
391 unsigned int i_head = i->head;
Al Viro241699c2016-09-22 16:33:12 -0400392 size_t off;
Al Viro241699c2016-09-22 16:33:12 -0400393
394 if (unlikely(bytes > i->count))
395 bytes = i->count;
396
397 if (unlikely(!bytes))
398 return 0;
399
400 if (!sanity(i))
401 return 0;
402
403 off = i->iov_offset;
David Howells8cefc102019-11-15 13:30:32 +0000404 buf = &pipe->bufs[i_head & p_mask];
Al Viro241699c2016-09-22 16:33:12 -0400405 if (off) {
406 if (offset == off && buf->page == page) {
407 /* merge with the last one */
408 buf->len += bytes;
409 i->iov_offset += bytes;
410 goto out;
411 }
David Howells8cefc102019-11-15 13:30:32 +0000412 i_head++;
413 buf = &pipe->bufs[i_head & p_mask];
Al Viro241699c2016-09-22 16:33:12 -0400414 }
David Howells6718b6f2019-10-16 16:47:32 +0100415 if (pipe_full(i_head, p_tail, pipe->max_usage))
Al Viro241699c2016-09-22 16:33:12 -0400416 return 0;
David Howells8cefc102019-11-15 13:30:32 +0000417
Al Viro241699c2016-09-22 16:33:12 -0400418 buf->ops = &page_cache_pipe_buf_ops;
David Howells8cefc102019-11-15 13:30:32 +0000419 get_page(page);
420 buf->page = page;
Al Viro241699c2016-09-22 16:33:12 -0400421 buf->offset = offset;
422 buf->len = bytes;
David Howells8cefc102019-11-15 13:30:32 +0000423
424 pipe->head = i_head + 1;
Al Viro241699c2016-09-22 16:33:12 -0400425 i->iov_offset = offset + bytes;
David Howells8cefc102019-11-15 13:30:32 +0000426 i->head = i_head;
Al Viro241699c2016-09-22 16:33:12 -0400427out:
428 i->count -= bytes;
429 return bytes;
430}
431
Al Viro4f18cd32014-02-05 19:11:33 -0500432/*
Anton Altaparmakov171a0202015-03-11 10:43:31 -0400433 * Fault in one or more iovecs of the given iov_iter, to a maximum length of
434 * bytes. For each iovec, fault in each page that constitutes the iovec.
435 *
436 * Return 0 on success, or non-zero if the memory could not be accessed (i.e.
437 * because it is an invalid address).
438 */
Al Viro8409a0d2021-05-02 11:57:37 -0400439int iov_iter_fault_in_readable(const struct iov_iter *i, size_t bytes)
Anton Altaparmakov171a0202015-03-11 10:43:31 -0400440{
Al Viro0e8f0d62021-06-02 14:48:21 -0400441 if (iter_is_iovec(i)) {
Al Viro8409a0d2021-05-02 11:57:37 -0400442 const struct iovec *p;
443 size_t skip;
444
445 if (bytes > i->count)
446 bytes = i->count;
447 for (p = i->iov, skip = i->iov_offset; bytes; p++, skip = 0) {
448 size_t len = min(bytes, p->iov_len - skip);
449 int err;
450
451 if (unlikely(!len))
452 continue;
453 err = fault_in_pages_readable(p->iov_base + skip, len);
Anton Altaparmakov171a0202015-03-11 10:43:31 -0400454 if (unlikely(err))
Al Viro8409a0d2021-05-02 11:57:37 -0400455 return err;
456 bytes -= len;
457 }
Anton Altaparmakov171a0202015-03-11 10:43:31 -0400458 }
459 return 0;
460}
Al Virod4690f12016-09-16 00:11:45 +0100461EXPORT_SYMBOL(iov_iter_fault_in_readable);
Anton Altaparmakov171a0202015-03-11 10:43:31 -0400462
David Howellsaa563d72018-10-20 00:57:56 +0100463void iov_iter_init(struct iov_iter *i, unsigned int direction,
Al Viro71d8e532014-03-05 19:28:09 -0500464 const struct iovec *iov, unsigned long nr_segs,
465 size_t count)
466{
David Howellsaa563d72018-10-20 00:57:56 +0100467 WARN_ON(direction & ~(READ | WRITE));
Al Viro8cd54c12021-04-22 14:50:39 -0400468 *i = (struct iov_iter) {
469 .iter_type = ITER_IOVEC,
470 .data_source = direction,
471 .iov = iov,
472 .nr_segs = nr_segs,
473 .iov_offset = 0,
474 .count = count
475 };
Al Viro71d8e532014-03-05 19:28:09 -0500476}
477EXPORT_SYMBOL(iov_iter_init);
Al Viro7b2c99d2014-03-15 04:05:57 -0400478
Al Viro241699c2016-09-22 16:33:12 -0400479static inline bool allocated(struct pipe_buffer *buf)
480{
481 return buf->ops == &default_pipe_buf_ops;
482}
483
David Howells8cefc102019-11-15 13:30:32 +0000484static inline void data_start(const struct iov_iter *i,
485 unsigned int *iter_headp, size_t *offp)
Al Viro241699c2016-09-22 16:33:12 -0400486{
David Howells8cefc102019-11-15 13:30:32 +0000487 unsigned int p_mask = i->pipe->ring_size - 1;
488 unsigned int iter_head = i->head;
Al Viro241699c2016-09-22 16:33:12 -0400489 size_t off = i->iov_offset;
David Howells8cefc102019-11-15 13:30:32 +0000490
491 if (off && (!allocated(&i->pipe->bufs[iter_head & p_mask]) ||
492 off == PAGE_SIZE)) {
493 iter_head++;
Al Viro241699c2016-09-22 16:33:12 -0400494 off = 0;
495 }
David Howells8cefc102019-11-15 13:30:32 +0000496 *iter_headp = iter_head;
Al Viro241699c2016-09-22 16:33:12 -0400497 *offp = off;
498}
499
500static size_t push_pipe(struct iov_iter *i, size_t size,
David Howells8cefc102019-11-15 13:30:32 +0000501 int *iter_headp, size_t *offp)
Al Viro241699c2016-09-22 16:33:12 -0400502{
503 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000504 unsigned int p_tail = pipe->tail;
505 unsigned int p_mask = pipe->ring_size - 1;
506 unsigned int iter_head;
Al Viro241699c2016-09-22 16:33:12 -0400507 size_t off;
Al Viro241699c2016-09-22 16:33:12 -0400508 ssize_t left;
509
510 if (unlikely(size > i->count))
511 size = i->count;
512 if (unlikely(!size))
513 return 0;
514
515 left = size;
David Howells8cefc102019-11-15 13:30:32 +0000516 data_start(i, &iter_head, &off);
517 *iter_headp = iter_head;
Al Viro241699c2016-09-22 16:33:12 -0400518 *offp = off;
519 if (off) {
520 left -= PAGE_SIZE - off;
521 if (left <= 0) {
David Howells8cefc102019-11-15 13:30:32 +0000522 pipe->bufs[iter_head & p_mask].len += size;
Al Viro241699c2016-09-22 16:33:12 -0400523 return size;
524 }
David Howells8cefc102019-11-15 13:30:32 +0000525 pipe->bufs[iter_head & p_mask].len = PAGE_SIZE;
526 iter_head++;
Al Viro241699c2016-09-22 16:33:12 -0400527 }
David Howells6718b6f2019-10-16 16:47:32 +0100528 while (!pipe_full(iter_head, p_tail, pipe->max_usage)) {
David Howells8cefc102019-11-15 13:30:32 +0000529 struct pipe_buffer *buf = &pipe->bufs[iter_head & p_mask];
Al Viro241699c2016-09-22 16:33:12 -0400530 struct page *page = alloc_page(GFP_USER);
531 if (!page)
532 break;
David Howells8cefc102019-11-15 13:30:32 +0000533
534 buf->ops = &default_pipe_buf_ops;
535 buf->page = page;
536 buf->offset = 0;
537 buf->len = min_t(ssize_t, left, PAGE_SIZE);
538 left -= buf->len;
539 iter_head++;
540 pipe->head = iter_head;
541
542 if (left == 0)
Al Viro241699c2016-09-22 16:33:12 -0400543 return size;
Al Viro241699c2016-09-22 16:33:12 -0400544 }
545 return size - left;
546}
547
548static size_t copy_pipe_to_iter(const void *addr, size_t bytes,
549 struct iov_iter *i)
550{
551 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000552 unsigned int p_mask = pipe->ring_size - 1;
553 unsigned int i_head;
Al Viro241699c2016-09-22 16:33:12 -0400554 size_t n, off;
Al Viro241699c2016-09-22 16:33:12 -0400555
556 if (!sanity(i))
557 return 0;
558
David Howells8cefc102019-11-15 13:30:32 +0000559 bytes = n = push_pipe(i, bytes, &i_head, &off);
Al Viro241699c2016-09-22 16:33:12 -0400560 if (unlikely(!n))
561 return 0;
David Howells8cefc102019-11-15 13:30:32 +0000562 do {
Al Viro241699c2016-09-22 16:33:12 -0400563 size_t chunk = min_t(size_t, n, PAGE_SIZE - off);
David Howells8cefc102019-11-15 13:30:32 +0000564 memcpy_to_page(pipe->bufs[i_head & p_mask].page, off, addr, chunk);
565 i->head = i_head;
Al Viro241699c2016-09-22 16:33:12 -0400566 i->iov_offset = off + chunk;
567 n -= chunk;
568 addr += chunk;
David Howells8cefc102019-11-15 13:30:32 +0000569 off = 0;
570 i_head++;
571 } while (n);
Al Viro241699c2016-09-22 16:33:12 -0400572 i->count -= bytes;
573 return bytes;
574}
575
Al Virof9152892018-11-27 22:32:59 -0500576static __wsum csum_and_memcpy(void *to, const void *from, size_t len,
577 __wsum sum, size_t off)
578{
Al Virocc44c172020-07-11 00:12:07 -0400579 __wsum next = csum_partial_copy_nocheck(from, to, len);
Al Virof9152892018-11-27 22:32:59 -0500580 return csum_block_add(sum, next, off);
581}
582
Al Viro78e1f382018-11-25 16:24:16 -0500583static size_t csum_and_copy_to_pipe_iter(const void *addr, size_t bytes,
Al Viro6852df12021-05-02 17:24:40 -0400584 struct iov_iter *i, __wsum *sump)
Al Viro78e1f382018-11-25 16:24:16 -0500585{
586 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000587 unsigned int p_mask = pipe->ring_size - 1;
Al Viro6852df12021-05-02 17:24:40 -0400588 __wsum sum = *sump;
589 size_t off = 0;
David Howells8cefc102019-11-15 13:30:32 +0000590 unsigned int i_head;
Al Viro6852df12021-05-02 17:24:40 -0400591 size_t r;
Al Viro78e1f382018-11-25 16:24:16 -0500592
593 if (!sanity(i))
594 return 0;
595
Al Viro6852df12021-05-02 17:24:40 -0400596 bytes = push_pipe(i, bytes, &i_head, &r);
597 while (bytes) {
598 size_t chunk = min_t(size_t, bytes, PAGE_SIZE - r);
Al Viro2495bdcc2021-04-30 13:40:48 -0400599 char *p = kmap_local_page(pipe->bufs[i_head & p_mask].page);
Al Viro6852df12021-05-02 17:24:40 -0400600 sum = csum_and_memcpy(p + r, addr + off, chunk, sum, off);
Al Viro2495bdcc2021-04-30 13:40:48 -0400601 kunmap_local(p);
David Howells8cefc102019-11-15 13:30:32 +0000602 i->head = i_head;
Al Viro78e1f382018-11-25 16:24:16 -0500603 i->iov_offset = r + chunk;
Al Viro6852df12021-05-02 17:24:40 -0400604 bytes -= chunk;
Al Viro78e1f382018-11-25 16:24:16 -0500605 off += chunk;
David Howells8cefc102019-11-15 13:30:32 +0000606 r = 0;
607 i_head++;
Al Viro6852df12021-05-02 17:24:40 -0400608 }
609 *sump = sum;
610 i->count -= off;
611 return off;
Al Viro78e1f382018-11-25 16:24:16 -0500612}
613
Al Viroaa28de22017-06-29 21:45:10 -0400614size_t _copy_to_iter(const void *addr, size_t bytes, struct iov_iter *i)
Al Viro62a80672014-04-04 23:12:29 -0400615{
David Howells00e23702018-10-22 13:07:28 +0100616 if (unlikely(iov_iter_is_pipe(i)))
Al Viro241699c2016-09-22 16:33:12 -0400617 return copy_pipe_to_iter(addr, bytes, i);
Al Viro09fc68dc2017-06-29 22:25:14 -0400618 if (iter_is_iovec(i))
619 might_fault();
Al Viro7baa5092021-05-02 11:35:03 -0400620 iterate_and_advance(i, bytes, base, len, off,
621 copyout(base, addr + off, len),
622 memcpy(base, addr + off, len)
Al Viro3d4d3e42014-11-27 14:28:06 -0500623 )
Al Viro62a80672014-04-04 23:12:29 -0400624
Al Viro3d4d3e42014-11-27 14:28:06 -0500625 return bytes;
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400626}
Al Viroaa28de22017-06-29 21:45:10 -0400627EXPORT_SYMBOL(_copy_to_iter);
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400628
Dan Williamsec6347b2020-10-05 20:40:16 -0700629#ifdef CONFIG_ARCH_HAS_COPY_MC
630static int copyout_mc(void __user *to, const void *from, size_t n)
Dan Williams87803562018-05-03 17:06:31 -0700631{
Linus Torvalds96d4f262019-01-03 18:57:57 -0800632 if (access_ok(to, n)) {
Marco Elverd0ef4c32020-01-21 17:05:11 +0100633 instrument_copy_to_user(to, from, n);
Dan Williamsec6347b2020-10-05 20:40:16 -0700634 n = copy_mc_to_user((__force void *) to, from, n);
Dan Williams87803562018-05-03 17:06:31 -0700635 }
636 return n;
637}
638
Dan Williamsec6347b2020-10-05 20:40:16 -0700639static size_t copy_mc_pipe_to_iter(const void *addr, size_t bytes,
Dan Williamsca146f62018-07-08 13:46:12 -0700640 struct iov_iter *i)
641{
642 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000643 unsigned int p_mask = pipe->ring_size - 1;
644 unsigned int i_head;
Dan Williamsca146f62018-07-08 13:46:12 -0700645 size_t n, off, xfer = 0;
Dan Williamsca146f62018-07-08 13:46:12 -0700646
647 if (!sanity(i))
648 return 0;
649
Al Viro2a510a72021-05-02 17:16:34 -0400650 n = push_pipe(i, bytes, &i_head, &off);
651 while (n) {
Dan Williamsca146f62018-07-08 13:46:12 -0700652 size_t chunk = min_t(size_t, n, PAGE_SIZE - off);
Al Viro2a510a72021-05-02 17:16:34 -0400653 char *p = kmap_local_page(pipe->bufs[i_head & p_mask].page);
Dan Williamsca146f62018-07-08 13:46:12 -0700654 unsigned long rem;
Al Viro2a510a72021-05-02 17:16:34 -0400655 rem = copy_mc_to_kernel(p + off, addr + xfer, chunk);
656 chunk -= rem;
657 kunmap_local(p);
David Howells8cefc102019-11-15 13:30:32 +0000658 i->head = i_head;
Al Viro2a510a72021-05-02 17:16:34 -0400659 i->iov_offset = off + chunk;
660 xfer += chunk;
Dan Williamsca146f62018-07-08 13:46:12 -0700661 if (rem)
662 break;
663 n -= chunk;
David Howells8cefc102019-11-15 13:30:32 +0000664 off = 0;
665 i_head++;
Al Viro2a510a72021-05-02 17:16:34 -0400666 }
Dan Williamsca146f62018-07-08 13:46:12 -0700667 i->count -= xfer;
668 return xfer;
669}
670
Dan Williamsbf3eeb92018-07-08 13:46:02 -0700671/**
Dan Williamsec6347b2020-10-05 20:40:16 -0700672 * _copy_mc_to_iter - copy to iter with source memory error exception handling
Dan Williamsbf3eeb92018-07-08 13:46:02 -0700673 * @addr: source kernel address
674 * @bytes: total transfer length
Randy Dunlap44e55992021-09-07 19:58:54 -0700675 * @i: destination iterator
Dan Williamsbf3eeb92018-07-08 13:46:02 -0700676 *
Dan Williamsec6347b2020-10-05 20:40:16 -0700677 * The pmem driver deploys this for the dax operation
678 * (dax_copy_to_iter()) for dax reads (bypass page-cache and the
679 * block-layer). Upon #MC read(2) aborts and returns EIO or the bytes
680 * successfully copied.
Dan Williamsbf3eeb92018-07-08 13:46:02 -0700681 *
Dan Williamsec6347b2020-10-05 20:40:16 -0700682 * The main differences between this and typical _copy_to_iter().
Dan Williamsbf3eeb92018-07-08 13:46:02 -0700683 *
684 * * Typical tail/residue handling after a fault retries the copy
685 * byte-by-byte until the fault happens again. Re-triggering machine
686 * checks is potentially fatal so the implementation uses source
687 * alignment and poison alignment assumptions to avoid re-triggering
688 * hardware exceptions.
689 *
690 * * ITER_KVEC, ITER_PIPE, and ITER_BVEC can return short copies.
691 * Compare to copy_to_iter() where only ITER_IOVEC attempts might return
692 * a short copy.
Randy Dunlap44e55992021-09-07 19:58:54 -0700693 *
694 * Return: number of bytes copied (may be %0)
Dan Williamsbf3eeb92018-07-08 13:46:02 -0700695 */
Dan Williamsec6347b2020-10-05 20:40:16 -0700696size_t _copy_mc_to_iter(const void *addr, size_t bytes, struct iov_iter *i)
Dan Williams87803562018-05-03 17:06:31 -0700697{
David Howells00e23702018-10-22 13:07:28 +0100698 if (unlikely(iov_iter_is_pipe(i)))
Dan Williamsec6347b2020-10-05 20:40:16 -0700699 return copy_mc_pipe_to_iter(addr, bytes, i);
Dan Williams87803562018-05-03 17:06:31 -0700700 if (iter_is_iovec(i))
701 might_fault();
Al Viro7baa5092021-05-02 11:35:03 -0400702 __iterate_and_advance(i, bytes, base, len, off,
703 copyout_mc(base, addr + off, len),
704 copy_mc_to_kernel(base, addr + off, len)
Dan Williams87803562018-05-03 17:06:31 -0700705 )
706
707 return bytes;
708}
Dan Williamsec6347b2020-10-05 20:40:16 -0700709EXPORT_SYMBOL_GPL(_copy_mc_to_iter);
710#endif /* CONFIG_ARCH_HAS_COPY_MC */
Dan Williams87803562018-05-03 17:06:31 -0700711
Al Viroaa28de22017-06-29 21:45:10 -0400712size_t _copy_from_iter(void *addr, size_t bytes, struct iov_iter *i)
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400713{
David Howells00e23702018-10-22 13:07:28 +0100714 if (unlikely(iov_iter_is_pipe(i))) {
Al Viro241699c2016-09-22 16:33:12 -0400715 WARN_ON(1);
716 return 0;
717 }
Al Viro09fc68dc2017-06-29 22:25:14 -0400718 if (iter_is_iovec(i))
719 might_fault();
Al Viro7baa5092021-05-02 11:35:03 -0400720 iterate_and_advance(i, bytes, base, len, off,
721 copyin(addr + off, base, len),
722 memcpy(addr + off, base, len)
Al Viro0dbca9a2014-11-27 14:26:43 -0500723 )
724
725 return bytes;
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400726}
Al Viroaa28de22017-06-29 21:45:10 -0400727EXPORT_SYMBOL(_copy_from_iter);
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400728
Al Viroaa28de22017-06-29 21:45:10 -0400729size_t _copy_from_iter_nocache(void *addr, size_t bytes, struct iov_iter *i)
Al Viroaa583092014-11-27 20:27:08 -0500730{
David Howells00e23702018-10-22 13:07:28 +0100731 if (unlikely(iov_iter_is_pipe(i))) {
Al Viro241699c2016-09-22 16:33:12 -0400732 WARN_ON(1);
733 return 0;
734 }
Al Viro7baa5092021-05-02 11:35:03 -0400735 iterate_and_advance(i, bytes, base, len, off,
736 __copy_from_user_inatomic_nocache(addr + off, base, len),
737 memcpy(addr + off, base, len)
Al Viroaa583092014-11-27 20:27:08 -0500738 )
739
740 return bytes;
741}
Al Viroaa28de22017-06-29 21:45:10 -0400742EXPORT_SYMBOL(_copy_from_iter_nocache);
Al Viroaa583092014-11-27 20:27:08 -0500743
Dan Williams0aed55a2017-05-29 12:22:50 -0700744#ifdef CONFIG_ARCH_HAS_UACCESS_FLUSHCACHE
Dan Williamsabd08d72018-07-08 13:46:07 -0700745/**
746 * _copy_from_iter_flushcache - write destination through cpu cache
747 * @addr: destination kernel address
748 * @bytes: total transfer length
Randy Dunlap44e55992021-09-07 19:58:54 -0700749 * @i: source iterator
Dan Williamsabd08d72018-07-08 13:46:07 -0700750 *
751 * The pmem driver arranges for filesystem-dax to use this facility via
752 * dax_copy_from_iter() for ensuring that writes to persistent memory
753 * are flushed through the CPU cache. It is differentiated from
754 * _copy_from_iter_nocache() in that guarantees all data is flushed for
755 * all iterator types. The _copy_from_iter_nocache() only attempts to
756 * bypass the cache for the ITER_IOVEC case, and on some archs may use
757 * instructions that strand dirty-data in the cache.
Randy Dunlap44e55992021-09-07 19:58:54 -0700758 *
759 * Return: number of bytes copied (may be %0)
Dan Williamsabd08d72018-07-08 13:46:07 -0700760 */
Linus Torvalds6a37e942017-07-07 20:39:20 -0700761size_t _copy_from_iter_flushcache(void *addr, size_t bytes, struct iov_iter *i)
Dan Williams0aed55a2017-05-29 12:22:50 -0700762{
David Howells00e23702018-10-22 13:07:28 +0100763 if (unlikely(iov_iter_is_pipe(i))) {
Dan Williams0aed55a2017-05-29 12:22:50 -0700764 WARN_ON(1);
765 return 0;
766 }
Al Viro7baa5092021-05-02 11:35:03 -0400767 iterate_and_advance(i, bytes, base, len, off,
768 __copy_from_user_flushcache(addr + off, base, len),
769 memcpy_flushcache(addr + off, base, len)
Dan Williams0aed55a2017-05-29 12:22:50 -0700770 )
771
772 return bytes;
773}
Linus Torvalds6a37e942017-07-07 20:39:20 -0700774EXPORT_SYMBOL_GPL(_copy_from_iter_flushcache);
Dan Williams0aed55a2017-05-29 12:22:50 -0700775#endif
776
Al Viro72e809e2017-06-29 21:52:57 -0400777static inline bool page_copy_sane(struct page *page, size_t offset, size_t n)
778{
Eric Dumazet6daef952019-02-26 10:42:39 -0800779 struct page *head;
780 size_t v = n + offset;
781
782 /*
783 * The general case needs to access the page order in order
784 * to compute the page size.
785 * However, we mostly deal with order-0 pages and thus can
786 * avoid a possible cache line miss for requests that fit all
787 * page orders.
788 */
789 if (n <= v && v <= PAGE_SIZE)
790 return true;
791
792 head = compound_head(page);
793 v += (page - head) << PAGE_SHIFT;
Petar Penkova90bcb82017-08-29 11:20:32 -0700794
Matthew Wilcox (Oracle)a50b8542019-09-23 15:34:25 -0700795 if (likely(n <= v && v <= (page_size(head))))
Al Viro72e809e2017-06-29 21:52:57 -0400796 return true;
797 WARN_ON(1);
798 return false;
799}
Al Virocbbd26b2016-11-01 22:09:04 -0400800
Al Viro08aa6472021-04-29 20:42:25 -0400801static size_t __copy_page_to_iter(struct page *page, size_t offset, size_t bytes,
Al Virod2715242014-11-27 14:22:37 -0500802 struct iov_iter *i)
803{
Al Viro28f38db2021-06-02 17:25:59 -0400804 if (likely(iter_is_iovec(i)))
805 return copy_page_to_iter_iovec(page, offset, bytes, i);
806 if (iov_iter_is_bvec(i) || iov_iter_is_kvec(i) || iov_iter_is_xarray(i)) {
Al Viroc1d4d6a2021-04-27 12:29:53 -0400807 void *kaddr = kmap_local_page(page);
808 size_t wanted = _copy_to_iter(kaddr + offset, bytes, i);
809 kunmap_local(kaddr);
Al Virod2715242014-11-27 14:22:37 -0500810 return wanted;
Al Viro28f38db2021-06-02 17:25:59 -0400811 }
812 if (iov_iter_is_pipe(i))
813 return copy_page_to_iter_pipe(page, offset, bytes, i);
814 if (unlikely(iov_iter_is_discard(i))) {
Al Viroa506abc2021-04-27 12:34:04 -0400815 if (unlikely(i->count < bytes))
816 bytes = i->count;
817 i->count -= bytes;
David Howells9ea9ce02018-10-20 00:57:56 +0100818 return bytes;
Al Viro28f38db2021-06-02 17:25:59 -0400819 }
820 WARN_ON(1);
821 return 0;
Al Virod2715242014-11-27 14:22:37 -0500822}
Al Viro08aa6472021-04-29 20:42:25 -0400823
824size_t copy_page_to_iter(struct page *page, size_t offset, size_t bytes,
825 struct iov_iter *i)
826{
827 size_t res = 0;
828 if (unlikely(!page_copy_sane(page, offset, bytes)))
829 return 0;
830 page += offset / PAGE_SIZE; // first subpage
831 offset %= PAGE_SIZE;
832 while (1) {
833 size_t n = __copy_page_to_iter(page, offset,
834 min(bytes, (size_t)PAGE_SIZE - offset), i);
835 res += n;
836 bytes -= n;
837 if (!bytes || !n)
838 break;
839 offset += n;
840 if (offset == PAGE_SIZE) {
841 page++;
842 offset = 0;
843 }
844 }
845 return res;
846}
Al Virod2715242014-11-27 14:22:37 -0500847EXPORT_SYMBOL(copy_page_to_iter);
848
849size_t copy_page_from_iter(struct page *page, size_t offset, size_t bytes,
850 struct iov_iter *i)
851{
Al Viro72e809e2017-06-29 21:52:57 -0400852 if (unlikely(!page_copy_sane(page, offset, bytes)))
853 return 0;
Al Viro28f38db2021-06-02 17:25:59 -0400854 if (likely(iter_is_iovec(i)))
855 return copy_page_from_iter_iovec(page, offset, bytes, i);
856 if (iov_iter_is_bvec(i) || iov_iter_is_kvec(i) || iov_iter_is_xarray(i)) {
Al Viro55ca3752021-04-27 12:33:24 -0400857 void *kaddr = kmap_local_page(page);
Al Viroaa28de22017-06-29 21:45:10 -0400858 size_t wanted = _copy_from_iter(kaddr + offset, bytes, i);
Al Viro55ca3752021-04-27 12:33:24 -0400859 kunmap_local(kaddr);
Al Virod2715242014-11-27 14:22:37 -0500860 return wanted;
Al Viro28f38db2021-06-02 17:25:59 -0400861 }
862 WARN_ON(1);
863 return 0;
Al Virod2715242014-11-27 14:22:37 -0500864}
865EXPORT_SYMBOL(copy_page_from_iter);
866
Al Viro241699c2016-09-22 16:33:12 -0400867static size_t pipe_zero(size_t bytes, struct iov_iter *i)
868{
869 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000870 unsigned int p_mask = pipe->ring_size - 1;
871 unsigned int i_head;
Al Viro241699c2016-09-22 16:33:12 -0400872 size_t n, off;
Al Viro241699c2016-09-22 16:33:12 -0400873
874 if (!sanity(i))
875 return 0;
876
David Howells8cefc102019-11-15 13:30:32 +0000877 bytes = n = push_pipe(i, bytes, &i_head, &off);
Al Viro241699c2016-09-22 16:33:12 -0400878 if (unlikely(!n))
879 return 0;
880
David Howells8cefc102019-11-15 13:30:32 +0000881 do {
Al Viro241699c2016-09-22 16:33:12 -0400882 size_t chunk = min_t(size_t, n, PAGE_SIZE - off);
Al Viro893839f2021-04-30 18:39:25 -0400883 char *p = kmap_local_page(pipe->bufs[i_head & p_mask].page);
884 memset(p + off, 0, chunk);
885 kunmap_local(p);
David Howells8cefc102019-11-15 13:30:32 +0000886 i->head = i_head;
Al Viro241699c2016-09-22 16:33:12 -0400887 i->iov_offset = off + chunk;
888 n -= chunk;
David Howells8cefc102019-11-15 13:30:32 +0000889 off = 0;
890 i_head++;
891 } while (n);
Al Viro241699c2016-09-22 16:33:12 -0400892 i->count -= bytes;
893 return bytes;
894}
895
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400896size_t iov_iter_zero(size_t bytes, struct iov_iter *i)
897{
David Howells00e23702018-10-22 13:07:28 +0100898 if (unlikely(iov_iter_is_pipe(i)))
Al Viro241699c2016-09-22 16:33:12 -0400899 return pipe_zero(bytes, i);
Al Viro7baa5092021-05-02 11:35:03 -0400900 iterate_and_advance(i, bytes, base, len, count,
901 clear_user(base, len),
902 memset(base, 0, len)
Al Viro8442fa42014-11-27 14:18:54 -0500903 )
904
905 return bytes;
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400906}
907EXPORT_SYMBOL(iov_iter_zero);
908
Al Virof0b65f32021-04-30 10:26:41 -0400909size_t copy_page_from_iter_atomic(struct page *page, unsigned offset, size_t bytes,
910 struct iov_iter *i)
Al Viro62a80672014-04-04 23:12:29 -0400911{
Al Viro04a31162014-11-27 13:51:41 -0500912 char *kaddr = kmap_atomic(page), *p = kaddr + offset;
Al Viro72e809e2017-06-29 21:52:57 -0400913 if (unlikely(!page_copy_sane(page, offset, bytes))) {
914 kunmap_atomic(kaddr);
915 return 0;
916 }
David Howells9ea9ce02018-10-20 00:57:56 +0100917 if (unlikely(iov_iter_is_pipe(i) || iov_iter_is_discard(i))) {
Al Viro241699c2016-09-22 16:33:12 -0400918 kunmap_atomic(kaddr);
919 WARN_ON(1);
920 return 0;
921 }
Al Viro7baa5092021-05-02 11:35:03 -0400922 iterate_and_advance(i, bytes, base, len, off,
923 copyin(p + off, base, len),
924 memcpy(p + off, base, len)
Al Viro04a31162014-11-27 13:51:41 -0500925 )
926 kunmap_atomic(kaddr);
927 return bytes;
Al Viro62a80672014-04-04 23:12:29 -0400928}
Al Virof0b65f32021-04-30 10:26:41 -0400929EXPORT_SYMBOL(copy_page_from_iter_atomic);
Al Viro62a80672014-04-04 23:12:29 -0400930
Al Virob9dc6f62017-01-14 19:33:08 -0500931static inline void pipe_truncate(struct iov_iter *i)
Al Viro241699c2016-09-22 16:33:12 -0400932{
933 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000934 unsigned int p_tail = pipe->tail;
935 unsigned int p_head = pipe->head;
936 unsigned int p_mask = pipe->ring_size - 1;
937
938 if (!pipe_empty(p_head, p_tail)) {
939 struct pipe_buffer *buf;
940 unsigned int i_head = i->head;
Al Virob9dc6f62017-01-14 19:33:08 -0500941 size_t off = i->iov_offset;
David Howells8cefc102019-11-15 13:30:32 +0000942
Al Virob9dc6f62017-01-14 19:33:08 -0500943 if (off) {
David Howells8cefc102019-11-15 13:30:32 +0000944 buf = &pipe->bufs[i_head & p_mask];
945 buf->len = off - buf->offset;
946 i_head++;
Al Virob9dc6f62017-01-14 19:33:08 -0500947 }
David Howells8cefc102019-11-15 13:30:32 +0000948 while (p_head != i_head) {
949 p_head--;
950 pipe_buf_release(pipe, &pipe->bufs[p_head & p_mask]);
Al Viro241699c2016-09-22 16:33:12 -0400951 }
David Howells8cefc102019-11-15 13:30:32 +0000952
953 pipe->head = p_head;
Al Viro241699c2016-09-22 16:33:12 -0400954 }
Al Virob9dc6f62017-01-14 19:33:08 -0500955}
956
957static void pipe_advance(struct iov_iter *i, size_t size)
958{
959 struct pipe_inode_info *pipe = i->pipe;
Al Virob9dc6f62017-01-14 19:33:08 -0500960 if (size) {
961 struct pipe_buffer *buf;
David Howells8cefc102019-11-15 13:30:32 +0000962 unsigned int p_mask = pipe->ring_size - 1;
963 unsigned int i_head = i->head;
Al Virob9dc6f62017-01-14 19:33:08 -0500964 size_t off = i->iov_offset, left = size;
David Howells8cefc102019-11-15 13:30:32 +0000965
Al Virob9dc6f62017-01-14 19:33:08 -0500966 if (off) /* make it relative to the beginning of buffer */
David Howells8cefc102019-11-15 13:30:32 +0000967 left += off - pipe->bufs[i_head & p_mask].offset;
Al Virob9dc6f62017-01-14 19:33:08 -0500968 while (1) {
David Howells8cefc102019-11-15 13:30:32 +0000969 buf = &pipe->bufs[i_head & p_mask];
Al Virob9dc6f62017-01-14 19:33:08 -0500970 if (left <= buf->len)
971 break;
972 left -= buf->len;
David Howells8cefc102019-11-15 13:30:32 +0000973 i_head++;
Al Virob9dc6f62017-01-14 19:33:08 -0500974 }
David Howells8cefc102019-11-15 13:30:32 +0000975 i->head = i_head;
Al Virob9dc6f62017-01-14 19:33:08 -0500976 i->iov_offset = buf->offset + left;
977 }
978 i->count -= size;
979 /* ... and discard everything past that point */
980 pipe_truncate(i);
Al Viro241699c2016-09-22 16:33:12 -0400981}
982
Pavel Begunkov54c81952021-01-09 16:03:01 +0000983static void iov_iter_bvec_advance(struct iov_iter *i, size_t size)
984{
985 struct bvec_iter bi;
986
987 bi.bi_size = i->count;
988 bi.bi_bvec_done = i->iov_offset;
989 bi.bi_idx = 0;
990 bvec_iter_advance(i->bvec, &bi, size);
991
992 i->bvec += bi.bi_idx;
993 i->nr_segs -= bi.bi_idx;
994 i->count = bi.bi_size;
995 i->iov_offset = bi.bi_bvec_done;
996}
997
Al Viro185ac4d2021-04-23 12:58:53 -0400998static void iov_iter_iovec_advance(struct iov_iter *i, size_t size)
999{
1000 const struct iovec *iov, *end;
1001
1002 if (!i->count)
1003 return;
1004 i->count -= size;
1005
1006 size += i->iov_offset; // from beginning of current segment
1007 for (iov = i->iov, end = iov + i->nr_segs; iov < end; iov++) {
1008 if (likely(size < iov->iov_len))
1009 break;
1010 size -= iov->iov_len;
1011 }
1012 i->iov_offset = size;
1013 i->nr_segs -= iov - i->iov;
1014 i->iov = iov;
1015}
1016
Al Viro62a80672014-04-04 23:12:29 -04001017void iov_iter_advance(struct iov_iter *i, size_t size)
1018{
Al Viro3b3fc052021-04-23 22:24:08 -04001019 if (unlikely(i->count < size))
1020 size = i->count;
Al Viro185ac4d2021-04-23 12:58:53 -04001021 if (likely(iter_is_iovec(i) || iov_iter_is_kvec(i))) {
1022 /* iovec and kvec have identical layouts */
1023 iov_iter_iovec_advance(i, size);
1024 } else if (iov_iter_is_bvec(i)) {
1025 iov_iter_bvec_advance(i, size);
1026 } else if (iov_iter_is_pipe(i)) {
Al Viro241699c2016-09-22 16:33:12 -04001027 pipe_advance(i, size);
Al Viro185ac4d2021-04-23 12:58:53 -04001028 } else if (unlikely(iov_iter_is_xarray(i))) {
David Howells7ff5062072020-02-10 10:00:21 +00001029 i->iov_offset += size;
1030 i->count -= size;
Al Viro185ac4d2021-04-23 12:58:53 -04001031 } else if (iov_iter_is_discard(i)) {
1032 i->count -= size;
David Howells7ff5062072020-02-10 10:00:21 +00001033 }
Al Viro62a80672014-04-04 23:12:29 -04001034}
1035EXPORT_SYMBOL(iov_iter_advance);
1036
Al Viro27c0e372017-02-17 18:42:24 -05001037void iov_iter_revert(struct iov_iter *i, size_t unroll)
1038{
1039 if (!unroll)
1040 return;
Al Viro5b47d592017-05-08 13:54:47 -04001041 if (WARN_ON(unroll > MAX_RW_COUNT))
1042 return;
Al Viro27c0e372017-02-17 18:42:24 -05001043 i->count += unroll;
David Howells00e23702018-10-22 13:07:28 +01001044 if (unlikely(iov_iter_is_pipe(i))) {
Al Viro27c0e372017-02-17 18:42:24 -05001045 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +00001046 unsigned int p_mask = pipe->ring_size - 1;
1047 unsigned int i_head = i->head;
Al Viro27c0e372017-02-17 18:42:24 -05001048 size_t off = i->iov_offset;
1049 while (1) {
David Howells8cefc102019-11-15 13:30:32 +00001050 struct pipe_buffer *b = &pipe->bufs[i_head & p_mask];
1051 size_t n = off - b->offset;
Al Viro27c0e372017-02-17 18:42:24 -05001052 if (unroll < n) {
Al Viro4fa55ce2017-04-29 16:42:30 -04001053 off -= unroll;
Al Viro27c0e372017-02-17 18:42:24 -05001054 break;
1055 }
1056 unroll -= n;
David Howells8cefc102019-11-15 13:30:32 +00001057 if (!unroll && i_head == i->start_head) {
Al Viro27c0e372017-02-17 18:42:24 -05001058 off = 0;
1059 break;
1060 }
David Howells8cefc102019-11-15 13:30:32 +00001061 i_head--;
1062 b = &pipe->bufs[i_head & p_mask];
1063 off = b->offset + b->len;
Al Viro27c0e372017-02-17 18:42:24 -05001064 }
1065 i->iov_offset = off;
David Howells8cefc102019-11-15 13:30:32 +00001066 i->head = i_head;
Al Viro27c0e372017-02-17 18:42:24 -05001067 pipe_truncate(i);
1068 return;
1069 }
David Howells9ea9ce02018-10-20 00:57:56 +01001070 if (unlikely(iov_iter_is_discard(i)))
1071 return;
Al Viro27c0e372017-02-17 18:42:24 -05001072 if (unroll <= i->iov_offset) {
1073 i->iov_offset -= unroll;
1074 return;
1075 }
1076 unroll -= i->iov_offset;
David Howells7ff5062072020-02-10 10:00:21 +00001077 if (iov_iter_is_xarray(i)) {
1078 BUG(); /* We should never go beyond the start of the specified
1079 * range since we might then be straying into pages that
1080 * aren't pinned.
1081 */
1082 } else if (iov_iter_is_bvec(i)) {
Al Viro27c0e372017-02-17 18:42:24 -05001083 const struct bio_vec *bvec = i->bvec;
1084 while (1) {
1085 size_t n = (--bvec)->bv_len;
1086 i->nr_segs++;
1087 if (unroll <= n) {
1088 i->bvec = bvec;
1089 i->iov_offset = n - unroll;
1090 return;
1091 }
1092 unroll -= n;
1093 }
1094 } else { /* same logics for iovec and kvec */
1095 const struct iovec *iov = i->iov;
1096 while (1) {
1097 size_t n = (--iov)->iov_len;
1098 i->nr_segs++;
1099 if (unroll <= n) {
1100 i->iov = iov;
1101 i->iov_offset = n - unroll;
1102 return;
1103 }
1104 unroll -= n;
1105 }
1106 }
1107}
1108EXPORT_SYMBOL(iov_iter_revert);
1109
Al Viro62a80672014-04-04 23:12:29 -04001110/*
1111 * Return the count of just the current iov_iter segment.
1112 */
1113size_t iov_iter_single_seg_count(const struct iov_iter *i)
1114{
Al Viro28f38db2021-06-02 17:25:59 -04001115 if (i->nr_segs > 1) {
1116 if (likely(iter_is_iovec(i) || iov_iter_is_kvec(i)))
1117 return min(i->count, i->iov->iov_len - i->iov_offset);
1118 if (iov_iter_is_bvec(i))
1119 return min(i->count, i->bvec->bv_len - i->iov_offset);
1120 }
1121 return i->count;
Al Viro62a80672014-04-04 23:12:29 -04001122}
1123EXPORT_SYMBOL(iov_iter_single_seg_count);
1124
David Howellsaa563d72018-10-20 00:57:56 +01001125void iov_iter_kvec(struct iov_iter *i, unsigned int direction,
Al Viro05afcb72015-01-23 01:08:07 -05001126 const struct kvec *kvec, unsigned long nr_segs,
Al Viroabb78f82014-11-24 14:46:11 -05001127 size_t count)
1128{
David Howellsaa563d72018-10-20 00:57:56 +01001129 WARN_ON(direction & ~(READ | WRITE));
Al Viro8cd54c12021-04-22 14:50:39 -04001130 *i = (struct iov_iter){
1131 .iter_type = ITER_KVEC,
1132 .data_source = direction,
1133 .kvec = kvec,
1134 .nr_segs = nr_segs,
1135 .iov_offset = 0,
1136 .count = count
1137 };
Al Viroabb78f82014-11-24 14:46:11 -05001138}
1139EXPORT_SYMBOL(iov_iter_kvec);
1140
David Howellsaa563d72018-10-20 00:57:56 +01001141void iov_iter_bvec(struct iov_iter *i, unsigned int direction,
Al Viro05afcb72015-01-23 01:08:07 -05001142 const struct bio_vec *bvec, unsigned long nr_segs,
1143 size_t count)
1144{
David Howellsaa563d72018-10-20 00:57:56 +01001145 WARN_ON(direction & ~(READ | WRITE));
Al Viro8cd54c12021-04-22 14:50:39 -04001146 *i = (struct iov_iter){
1147 .iter_type = ITER_BVEC,
1148 .data_source = direction,
1149 .bvec = bvec,
1150 .nr_segs = nr_segs,
1151 .iov_offset = 0,
1152 .count = count
1153 };
Al Viro05afcb72015-01-23 01:08:07 -05001154}
1155EXPORT_SYMBOL(iov_iter_bvec);
1156
David Howellsaa563d72018-10-20 00:57:56 +01001157void iov_iter_pipe(struct iov_iter *i, unsigned int direction,
Al Viro241699c2016-09-22 16:33:12 -04001158 struct pipe_inode_info *pipe,
1159 size_t count)
1160{
David Howellsaa563d72018-10-20 00:57:56 +01001161 BUG_ON(direction != READ);
David Howells8cefc102019-11-15 13:30:32 +00001162 WARN_ON(pipe_full(pipe->head, pipe->tail, pipe->ring_size));
Al Viro8cd54c12021-04-22 14:50:39 -04001163 *i = (struct iov_iter){
1164 .iter_type = ITER_PIPE,
1165 .data_source = false,
1166 .pipe = pipe,
1167 .head = pipe->head,
1168 .start_head = pipe->head,
1169 .iov_offset = 0,
1170 .count = count
1171 };
Al Viro241699c2016-09-22 16:33:12 -04001172}
1173EXPORT_SYMBOL(iov_iter_pipe);
1174
David Howells9ea9ce02018-10-20 00:57:56 +01001175/**
David Howells7ff5062072020-02-10 10:00:21 +00001176 * iov_iter_xarray - Initialise an I/O iterator to use the pages in an xarray
1177 * @i: The iterator to initialise.
1178 * @direction: The direction of the transfer.
1179 * @xarray: The xarray to access.
1180 * @start: The start file position.
1181 * @count: The size of the I/O buffer in bytes.
1182 *
1183 * Set up an I/O iterator to either draw data out of the pages attached to an
1184 * inode or to inject data into those pages. The pages *must* be prevented
1185 * from evaporation, either by taking a ref on them or locking them by the
1186 * caller.
1187 */
1188void iov_iter_xarray(struct iov_iter *i, unsigned int direction,
1189 struct xarray *xarray, loff_t start, size_t count)
1190{
1191 BUG_ON(direction & ~1);
Al Viro8cd54c12021-04-22 14:50:39 -04001192 *i = (struct iov_iter) {
1193 .iter_type = ITER_XARRAY,
1194 .data_source = direction,
1195 .xarray = xarray,
1196 .xarray_start = start,
1197 .count = count,
1198 .iov_offset = 0
1199 };
David Howells7ff5062072020-02-10 10:00:21 +00001200}
1201EXPORT_SYMBOL(iov_iter_xarray);
1202
1203/**
David Howells9ea9ce02018-10-20 00:57:56 +01001204 * iov_iter_discard - Initialise an I/O iterator that discards data
1205 * @i: The iterator to initialise.
1206 * @direction: The direction of the transfer.
1207 * @count: The size of the I/O buffer in bytes.
1208 *
1209 * Set up an I/O iterator that just discards everything that's written to it.
1210 * It's only available as a READ iterator.
1211 */
1212void iov_iter_discard(struct iov_iter *i, unsigned int direction, size_t count)
1213{
1214 BUG_ON(direction != READ);
Al Viro8cd54c12021-04-22 14:50:39 -04001215 *i = (struct iov_iter){
1216 .iter_type = ITER_DISCARD,
1217 .data_source = false,
1218 .count = count,
1219 .iov_offset = 0
1220 };
David Howells9ea9ce02018-10-20 00:57:56 +01001221}
1222EXPORT_SYMBOL(iov_iter_discard);
1223
Al Viro9221d2e2021-04-25 00:44:35 -04001224static unsigned long iov_iter_alignment_iovec(const struct iov_iter *i)
Al Viro62a80672014-04-04 23:12:29 -04001225{
Al Viro04a31162014-11-27 13:51:41 -05001226 unsigned long res = 0;
1227 size_t size = i->count;
Al Viro9221d2e2021-04-25 00:44:35 -04001228 size_t skip = i->iov_offset;
1229 unsigned k;
Al Viro04a31162014-11-27 13:51:41 -05001230
Al Viro9221d2e2021-04-25 00:44:35 -04001231 for (k = 0; k < i->nr_segs; k++, skip = 0) {
1232 size_t len = i->iov[k].iov_len - skip;
1233 if (len) {
1234 res |= (unsigned long)i->iov[k].iov_base + skip;
1235 if (len > size)
1236 len = size;
1237 res |= len;
1238 size -= len;
1239 if (!size)
1240 break;
1241 }
1242 }
1243 return res;
1244}
1245
1246static unsigned long iov_iter_alignment_bvec(const struct iov_iter *i)
1247{
1248 unsigned res = 0;
1249 size_t size = i->count;
1250 unsigned skip = i->iov_offset;
1251 unsigned k;
1252
1253 for (k = 0; k < i->nr_segs; k++, skip = 0) {
1254 size_t len = i->bvec[k].bv_len - skip;
1255 res |= (unsigned long)i->bvec[k].bv_offset + skip;
1256 if (len > size)
1257 len = size;
1258 res |= len;
1259 size -= len;
1260 if (!size)
1261 break;
1262 }
1263 return res;
1264}
1265
1266unsigned long iov_iter_alignment(const struct iov_iter *i)
1267{
1268 /* iovec and kvec have identical layouts */
1269 if (likely(iter_is_iovec(i) || iov_iter_is_kvec(i)))
1270 return iov_iter_alignment_iovec(i);
1271
1272 if (iov_iter_is_bvec(i))
1273 return iov_iter_alignment_bvec(i);
1274
1275 if (iov_iter_is_pipe(i)) {
Jan Karae0ff1262019-12-16 11:54:32 +01001276 unsigned int p_mask = i->pipe->ring_size - 1;
Al Viro9221d2e2021-04-25 00:44:35 -04001277 size_t size = i->count;
Jan Karae0ff1262019-12-16 11:54:32 +01001278
David Howells8cefc102019-11-15 13:30:32 +00001279 if (size && i->iov_offset && allocated(&i->pipe->bufs[i->head & p_mask]))
Al Viro241699c2016-09-22 16:33:12 -04001280 return size | i->iov_offset;
1281 return size;
1282 }
Al Viro9221d2e2021-04-25 00:44:35 -04001283
1284 if (iov_iter_is_xarray(i))
David Howells3d14ec12021-04-25 22:02:38 +01001285 return (i->xarray_start + i->iov_offset) | i->count;
Al Viro9221d2e2021-04-25 00:44:35 -04001286
1287 return 0;
Al Viro62a80672014-04-04 23:12:29 -04001288}
1289EXPORT_SYMBOL(iov_iter_alignment);
1290
Al Viro357f4352016-04-08 19:05:19 -04001291unsigned long iov_iter_gap_alignment(const struct iov_iter *i)
1292{
Al Viro33844e62016-12-21 21:55:02 -05001293 unsigned long res = 0;
Al Viro610c7a72021-04-25 01:03:16 -04001294 unsigned long v = 0;
Al Viro357f4352016-04-08 19:05:19 -04001295 size_t size = i->count;
Al Viro610c7a72021-04-25 01:03:16 -04001296 unsigned k;
Al Viro357f4352016-04-08 19:05:19 -04001297
Al Viro610c7a72021-04-25 01:03:16 -04001298 if (WARN_ON(!iter_is_iovec(i)))
Al Viro241699c2016-09-22 16:33:12 -04001299 return ~0U;
Al Viro241699c2016-09-22 16:33:12 -04001300
Al Viro610c7a72021-04-25 01:03:16 -04001301 for (k = 0; k < i->nr_segs; k++) {
1302 if (i->iov[k].iov_len) {
1303 unsigned long base = (unsigned long)i->iov[k].iov_base;
1304 if (v) // if not the first one
1305 res |= base | v; // this start | previous end
1306 v = base + i->iov[k].iov_len;
1307 if (size <= i->iov[k].iov_len)
1308 break;
1309 size -= i->iov[k].iov_len;
1310 }
1311 }
Al Viro33844e62016-12-21 21:55:02 -05001312 return res;
Al Viro357f4352016-04-08 19:05:19 -04001313}
1314EXPORT_SYMBOL(iov_iter_gap_alignment);
1315
Ilya Dryomove76b63122018-05-02 20:16:56 +02001316static inline ssize_t __pipe_get_pages(struct iov_iter *i,
Al Viro241699c2016-09-22 16:33:12 -04001317 size_t maxsize,
1318 struct page **pages,
David Howells8cefc102019-11-15 13:30:32 +00001319 int iter_head,
Al Viro241699c2016-09-22 16:33:12 -04001320 size_t *start)
1321{
1322 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +00001323 unsigned int p_mask = pipe->ring_size - 1;
1324 ssize_t n = push_pipe(i, maxsize, &iter_head, start);
Al Viro241699c2016-09-22 16:33:12 -04001325 if (!n)
1326 return -EFAULT;
1327
1328 maxsize = n;
1329 n += *start;
Al Viro1689c732016-10-11 18:21:14 +01001330 while (n > 0) {
David Howells8cefc102019-11-15 13:30:32 +00001331 get_page(*pages++ = pipe->bufs[iter_head & p_mask].page);
1332 iter_head++;
Al Viro241699c2016-09-22 16:33:12 -04001333 n -= PAGE_SIZE;
1334 }
1335
1336 return maxsize;
1337}
1338
1339static ssize_t pipe_get_pages(struct iov_iter *i,
1340 struct page **pages, size_t maxsize, unsigned maxpages,
1341 size_t *start)
1342{
David Howells8cefc102019-11-15 13:30:32 +00001343 unsigned int iter_head, npages;
Al Viro241699c2016-09-22 16:33:12 -04001344 size_t capacity;
Al Viro241699c2016-09-22 16:33:12 -04001345
1346 if (!sanity(i))
1347 return -EFAULT;
1348
David Howells8cefc102019-11-15 13:30:32 +00001349 data_start(i, &iter_head, start);
1350 /* Amount of free space: some of this one + all after this one */
1351 npages = pipe_space_for_user(iter_head, i->pipe->tail, i->pipe);
1352 capacity = min(npages, maxpages) * PAGE_SIZE - *start;
Al Viro241699c2016-09-22 16:33:12 -04001353
David Howells8cefc102019-11-15 13:30:32 +00001354 return __pipe_get_pages(i, min(maxsize, capacity), pages, iter_head, start);
Al Viro241699c2016-09-22 16:33:12 -04001355}
1356
David Howells7ff5062072020-02-10 10:00:21 +00001357static ssize_t iter_xarray_populate_pages(struct page **pages, struct xarray *xa,
1358 pgoff_t index, unsigned int nr_pages)
1359{
1360 XA_STATE(xas, xa, index);
1361 struct page *page;
1362 unsigned int ret = 0;
1363
1364 rcu_read_lock();
1365 for (page = xas_load(&xas); page; page = xas_next(&xas)) {
1366 if (xas_retry(&xas, page))
1367 continue;
1368
1369 /* Has the page moved or been split? */
1370 if (unlikely(page != xas_reload(&xas))) {
1371 xas_reset(&xas);
1372 continue;
1373 }
1374
1375 pages[ret] = find_subpage(page, xas.xa_index);
1376 get_page(pages[ret]);
1377 if (++ret == nr_pages)
1378 break;
1379 }
1380 rcu_read_unlock();
1381 return ret;
1382}
1383
1384static ssize_t iter_xarray_get_pages(struct iov_iter *i,
1385 struct page **pages, size_t maxsize,
1386 unsigned maxpages, size_t *_start_offset)
1387{
1388 unsigned nr, offset;
1389 pgoff_t index, count;
1390 size_t size = maxsize, actual;
1391 loff_t pos;
1392
1393 if (!size || !maxpages)
1394 return 0;
1395
1396 pos = i->xarray_start + i->iov_offset;
1397 index = pos >> PAGE_SHIFT;
1398 offset = pos & ~PAGE_MASK;
1399 *_start_offset = offset;
1400
1401 count = 1;
1402 if (size > PAGE_SIZE - offset) {
1403 size -= PAGE_SIZE - offset;
1404 count += size >> PAGE_SHIFT;
1405 size &= ~PAGE_MASK;
1406 if (size)
1407 count++;
1408 }
1409
1410 if (count > maxpages)
1411 count = maxpages;
1412
1413 nr = iter_xarray_populate_pages(pages, i->xarray, index, count);
1414 if (nr == 0)
1415 return 0;
1416
1417 actual = PAGE_SIZE * nr;
1418 actual -= offset;
1419 if (nr == count && size > 0) {
1420 unsigned last_offset = (nr > 1) ? 0 : offset;
1421 actual -= PAGE_SIZE - (last_offset + size);
1422 }
1423 return actual;
1424}
1425
Al Viro3d671ca2021-04-25 09:14:44 -04001426/* must be done on non-empty ITER_IOVEC one */
1427static unsigned long first_iovec_segment(const struct iov_iter *i,
1428 size_t *size, size_t *start,
1429 size_t maxsize, unsigned maxpages)
1430{
1431 size_t skip;
1432 long k;
1433
1434 for (k = 0, skip = i->iov_offset; k < i->nr_segs; k++, skip = 0) {
1435 unsigned long addr = (unsigned long)i->iov[k].iov_base + skip;
1436 size_t len = i->iov[k].iov_len - skip;
1437
1438 if (unlikely(!len))
1439 continue;
1440 if (len > maxsize)
1441 len = maxsize;
1442 len += (*start = addr % PAGE_SIZE);
1443 if (len > maxpages * PAGE_SIZE)
1444 len = maxpages * PAGE_SIZE;
1445 *size = len;
1446 return addr & PAGE_MASK;
1447 }
1448 BUG(); // if it had been empty, we wouldn't get called
1449}
1450
1451/* must be done on non-empty ITER_BVEC one */
1452static struct page *first_bvec_segment(const struct iov_iter *i,
1453 size_t *size, size_t *start,
1454 size_t maxsize, unsigned maxpages)
1455{
1456 struct page *page;
1457 size_t skip = i->iov_offset, len;
1458
1459 len = i->bvec->bv_len - skip;
1460 if (len > maxsize)
1461 len = maxsize;
1462 skip += i->bvec->bv_offset;
1463 page = i->bvec->bv_page + skip / PAGE_SIZE;
1464 len += (*start = skip % PAGE_SIZE);
1465 if (len > maxpages * PAGE_SIZE)
1466 len = maxpages * PAGE_SIZE;
1467 *size = len;
1468 return page;
1469}
1470
Al Viro62a80672014-04-04 23:12:29 -04001471ssize_t iov_iter_get_pages(struct iov_iter *i,
Miklos Szeredi2c809292014-09-24 17:09:11 +02001472 struct page **pages, size_t maxsize, unsigned maxpages,
Al Viro62a80672014-04-04 23:12:29 -04001473 size_t *start)
1474{
Al Viro3d671ca2021-04-25 09:14:44 -04001475 size_t len;
1476 int n, res;
1477
Al Viroe5393fa2014-11-27 14:12:09 -05001478 if (maxsize > i->count)
1479 maxsize = i->count;
Al Viro3d671ca2021-04-25 09:14:44 -04001480 if (!maxsize)
1481 return 0;
Al Viroe5393fa2014-11-27 14:12:09 -05001482
Al Viro3d671ca2021-04-25 09:14:44 -04001483 if (likely(iter_is_iovec(i))) {
1484 unsigned long addr;
David Howells9ea9ce02018-10-20 00:57:56 +01001485
Al Viro3d671ca2021-04-25 09:14:44 -04001486 addr = first_iovec_segment(i, &len, start, maxsize, maxpages);
Al Viroe5393fa2014-11-27 14:12:09 -05001487 n = DIV_ROUND_UP(len, PAGE_SIZE);
Ira Weiny73b01402019-05-13 17:17:11 -07001488 res = get_user_pages_fast(addr, n,
1489 iov_iter_rw(i) != WRITE ? FOLL_WRITE : 0,
1490 pages);
Al Viroe5393fa2014-11-27 14:12:09 -05001491 if (unlikely(res < 0))
1492 return res;
1493 return (res == n ? len : res * PAGE_SIZE) - *start;
Al Viro3d671ca2021-04-25 09:14:44 -04001494 }
1495 if (iov_iter_is_bvec(i)) {
1496 struct page *page;
1497
1498 page = first_bvec_segment(i, &len, start, maxsize, maxpages);
1499 n = DIV_ROUND_UP(len, PAGE_SIZE);
1500 while (n--)
1501 get_page(*pages++ = page++);
1502 return len - *start;
1503 }
1504 if (iov_iter_is_pipe(i))
1505 return pipe_get_pages(i, pages, maxsize, maxpages, start);
1506 if (iov_iter_is_xarray(i))
1507 return iter_xarray_get_pages(i, pages, maxsize, maxpages, start);
1508 return -EFAULT;
Al Viro62a80672014-04-04 23:12:29 -04001509}
1510EXPORT_SYMBOL(iov_iter_get_pages);
1511
Al Viro1b17f1f2014-11-27 14:14:31 -05001512static struct page **get_pages_array(size_t n)
1513{
Michal Hocko752ade62017-05-08 15:57:27 -07001514 return kvmalloc_array(n, sizeof(struct page *), GFP_KERNEL);
Al Viro1b17f1f2014-11-27 14:14:31 -05001515}
1516
Al Viro241699c2016-09-22 16:33:12 -04001517static ssize_t pipe_get_pages_alloc(struct iov_iter *i,
1518 struct page ***pages, size_t maxsize,
1519 size_t *start)
1520{
1521 struct page **p;
David Howells8cefc102019-11-15 13:30:32 +00001522 unsigned int iter_head, npages;
Ilya Dryomovd7760d62018-05-02 20:16:57 +02001523 ssize_t n;
Al Viro241699c2016-09-22 16:33:12 -04001524
1525 if (!sanity(i))
1526 return -EFAULT;
1527
David Howells8cefc102019-11-15 13:30:32 +00001528 data_start(i, &iter_head, start);
1529 /* Amount of free space: some of this one + all after this one */
1530 npages = pipe_space_for_user(iter_head, i->pipe->tail, i->pipe);
Al Viro241699c2016-09-22 16:33:12 -04001531 n = npages * PAGE_SIZE - *start;
1532 if (maxsize > n)
1533 maxsize = n;
1534 else
1535 npages = DIV_ROUND_UP(maxsize + *start, PAGE_SIZE);
1536 p = get_pages_array(npages);
1537 if (!p)
1538 return -ENOMEM;
David Howells8cefc102019-11-15 13:30:32 +00001539 n = __pipe_get_pages(i, maxsize, p, iter_head, start);
Al Viro241699c2016-09-22 16:33:12 -04001540 if (n > 0)
1541 *pages = p;
1542 else
1543 kvfree(p);
1544 return n;
1545}
1546
David Howells7ff5062072020-02-10 10:00:21 +00001547static ssize_t iter_xarray_get_pages_alloc(struct iov_iter *i,
1548 struct page ***pages, size_t maxsize,
1549 size_t *_start_offset)
1550{
1551 struct page **p;
1552 unsigned nr, offset;
1553 pgoff_t index, count;
1554 size_t size = maxsize, actual;
1555 loff_t pos;
1556
1557 if (!size)
1558 return 0;
1559
1560 pos = i->xarray_start + i->iov_offset;
1561 index = pos >> PAGE_SHIFT;
1562 offset = pos & ~PAGE_MASK;
1563 *_start_offset = offset;
1564
1565 count = 1;
1566 if (size > PAGE_SIZE - offset) {
1567 size -= PAGE_SIZE - offset;
1568 count += size >> PAGE_SHIFT;
1569 size &= ~PAGE_MASK;
1570 if (size)
1571 count++;
1572 }
1573
1574 p = get_pages_array(count);
1575 if (!p)
1576 return -ENOMEM;
1577 *pages = p;
1578
1579 nr = iter_xarray_populate_pages(p, i->xarray, index, count);
1580 if (nr == 0)
1581 return 0;
1582
1583 actual = PAGE_SIZE * nr;
1584 actual -= offset;
1585 if (nr == count && size > 0) {
1586 unsigned last_offset = (nr > 1) ? 0 : offset;
1587 actual -= PAGE_SIZE - (last_offset + size);
1588 }
1589 return actual;
1590}
1591
Al Viro62a80672014-04-04 23:12:29 -04001592ssize_t iov_iter_get_pages_alloc(struct iov_iter *i,
1593 struct page ***pages, size_t maxsize,
1594 size_t *start)
1595{
Al Viro1b17f1f2014-11-27 14:14:31 -05001596 struct page **p;
Al Viro3d671ca2021-04-25 09:14:44 -04001597 size_t len;
1598 int n, res;
Al Viro1b17f1f2014-11-27 14:14:31 -05001599
1600 if (maxsize > i->count)
1601 maxsize = i->count;
Al Viro3d671ca2021-04-25 09:14:44 -04001602 if (!maxsize)
1603 return 0;
Al Viro1b17f1f2014-11-27 14:14:31 -05001604
Al Viro3d671ca2021-04-25 09:14:44 -04001605 if (likely(iter_is_iovec(i))) {
1606 unsigned long addr;
David Howells9ea9ce02018-10-20 00:57:56 +01001607
Al Viro3d671ca2021-04-25 09:14:44 -04001608 addr = first_iovec_segment(i, &len, start, maxsize, ~0U);
Al Viro1b17f1f2014-11-27 14:14:31 -05001609 n = DIV_ROUND_UP(len, PAGE_SIZE);
1610 p = get_pages_array(n);
1611 if (!p)
1612 return -ENOMEM;
Ira Weiny73b01402019-05-13 17:17:11 -07001613 res = get_user_pages_fast(addr, n,
1614 iov_iter_rw(i) != WRITE ? FOLL_WRITE : 0, p);
Al Viro1b17f1f2014-11-27 14:14:31 -05001615 if (unlikely(res < 0)) {
1616 kvfree(p);
1617 return res;
1618 }
1619 *pages = p;
1620 return (res == n ? len : res * PAGE_SIZE) - *start;
Al Viro3d671ca2021-04-25 09:14:44 -04001621 }
1622 if (iov_iter_is_bvec(i)) {
1623 struct page *page;
1624
1625 page = first_bvec_segment(i, &len, start, maxsize, ~0U);
1626 n = DIV_ROUND_UP(len, PAGE_SIZE);
1627 *pages = p = get_pages_array(n);
Al Viro1b17f1f2014-11-27 14:14:31 -05001628 if (!p)
1629 return -ENOMEM;
Al Viro3d671ca2021-04-25 09:14:44 -04001630 while (n--)
1631 get_page(*p++ = page++);
1632 return len - *start;
1633 }
1634 if (iov_iter_is_pipe(i))
1635 return pipe_get_pages_alloc(i, pages, maxsize, start);
1636 if (iov_iter_is_xarray(i))
1637 return iter_xarray_get_pages_alloc(i, pages, maxsize, start);
1638 return -EFAULT;
Al Viro62a80672014-04-04 23:12:29 -04001639}
1640EXPORT_SYMBOL(iov_iter_get_pages_alloc);
1641
Al Viroa604ec72014-11-24 01:08:00 -05001642size_t csum_and_copy_from_iter(void *addr, size_t bytes, __wsum *csum,
1643 struct iov_iter *i)
1644{
Al Viroa604ec72014-11-24 01:08:00 -05001645 __wsum sum, next;
Al Viroa604ec72014-11-24 01:08:00 -05001646 sum = *csum;
David Howells9ea9ce02018-10-20 00:57:56 +01001647 if (unlikely(iov_iter_is_pipe(i) || iov_iter_is_discard(i))) {
Al Viro241699c2016-09-22 16:33:12 -04001648 WARN_ON(1);
1649 return 0;
1650 }
Al Viro7baa5092021-05-02 11:35:03 -04001651 iterate_and_advance(i, bytes, base, len, off, ({
1652 next = csum_and_copy_from_user(base, addr + off, len);
Al Viro2495bdcc2021-04-30 13:40:48 -04001653 sum = csum_block_add(sum, next, off);
Al Viro7baa5092021-05-02 11:35:03 -04001654 next ? 0 : len;
Al Viroa604ec72014-11-24 01:08:00 -05001655 }), ({
Al Viro7baa5092021-05-02 11:35:03 -04001656 sum = csum_and_memcpy(addr + off, base, len, sum, off);
Al Viroa604ec72014-11-24 01:08:00 -05001657 })
1658 )
1659 *csum = sum;
1660 return bytes;
1661}
1662EXPORT_SYMBOL(csum_and_copy_from_iter);
1663
Willem de Bruijn52cbd232021-02-03 14:29:52 -05001664size_t csum_and_copy_to_iter(const void *addr, size_t bytes, void *_csstate,
Al Viroa604ec72014-11-24 01:08:00 -05001665 struct iov_iter *i)
1666{
Willem de Bruijn52cbd232021-02-03 14:29:52 -05001667 struct csum_state *csstate = _csstate;
Al Viroa604ec72014-11-24 01:08:00 -05001668 __wsum sum, next;
Al Viro78e1f382018-11-25 16:24:16 -05001669
Al Viro78e1f382018-11-25 16:24:16 -05001670 if (unlikely(iov_iter_is_discard(i))) {
Al Viro241699c2016-09-22 16:33:12 -04001671 WARN_ON(1); /* for now */
1672 return 0;
1673 }
Al Viro6852df12021-05-02 17:24:40 -04001674
1675 sum = csum_shift(csstate->csum, csstate->off);
1676 if (unlikely(iov_iter_is_pipe(i)))
1677 bytes = csum_and_copy_to_pipe_iter(addr, bytes, i, &sum);
1678 else iterate_and_advance(i, bytes, base, len, off, ({
Al Viro7baa5092021-05-02 11:35:03 -04001679 next = csum_and_copy_to_user(addr + off, base, len);
Al Viro2495bdcc2021-04-30 13:40:48 -04001680 sum = csum_block_add(sum, next, off);
Al Viro7baa5092021-05-02 11:35:03 -04001681 next ? 0 : len;
Al Viroa604ec72014-11-24 01:08:00 -05001682 }), ({
Al Viro7baa5092021-05-02 11:35:03 -04001683 sum = csum_and_memcpy(base, addr + off, len, sum, off);
Al Viroa604ec72014-11-24 01:08:00 -05001684 })
1685 )
Al Viro594e4502021-06-05 10:19:30 -04001686 csstate->csum = csum_shift(sum, csstate->off);
1687 csstate->off += bytes;
Al Viroa604ec72014-11-24 01:08:00 -05001688 return bytes;
1689}
1690EXPORT_SYMBOL(csum_and_copy_to_iter);
1691
Sagi Grimbergd05f4432018-12-03 17:52:09 -08001692size_t hash_and_copy_to_iter(const void *addr, size_t bytes, void *hashp,
1693 struct iov_iter *i)
1694{
Herbert Xu79990962020-06-12 16:57:37 +10001695#ifdef CONFIG_CRYPTO_HASH
Sagi Grimbergd05f4432018-12-03 17:52:09 -08001696 struct ahash_request *hash = hashp;
1697 struct scatterlist sg;
1698 size_t copied;
1699
1700 copied = copy_to_iter(addr, bytes, i);
1701 sg_init_one(&sg, addr, copied);
1702 ahash_request_set_crypt(hash, &sg, NULL, copied);
1703 crypto_ahash_update(hash);
1704 return copied;
YueHaibing27fad742019-04-04 10:31:14 +08001705#else
1706 return 0;
1707#endif
Sagi Grimbergd05f4432018-12-03 17:52:09 -08001708}
1709EXPORT_SYMBOL(hash_and_copy_to_iter);
1710
Al Viro66531c62021-04-25 16:00:48 -04001711static int iov_npages(const struct iov_iter *i, int maxpages)
Al Viro62a80672014-04-04 23:12:29 -04001712{
Al Viro66531c62021-04-25 16:00:48 -04001713 size_t skip = i->iov_offset, size = i->count;
1714 const struct iovec *p;
Al Viroe0f2dc42014-11-27 14:09:46 -05001715 int npages = 0;
1716
Al Viro66531c62021-04-25 16:00:48 -04001717 for (p = i->iov; size; skip = 0, p++) {
1718 unsigned offs = offset_in_page(p->iov_base + skip);
1719 size_t len = min(p->iov_len - skip, size);
Al Viroe0f2dc42014-11-27 14:09:46 -05001720
Al Viro66531c62021-04-25 16:00:48 -04001721 if (len) {
1722 size -= len;
1723 npages += DIV_ROUND_UP(offs + len, PAGE_SIZE);
1724 if (unlikely(npages > maxpages))
1725 return maxpages;
1726 }
1727 }
1728 return npages;
1729}
1730
1731static int bvec_npages(const struct iov_iter *i, int maxpages)
1732{
1733 size_t skip = i->iov_offset, size = i->count;
1734 const struct bio_vec *p;
1735 int npages = 0;
1736
1737 for (p = i->bvec; size; skip = 0, p++) {
1738 unsigned offs = (p->bv_offset + skip) % PAGE_SIZE;
1739 size_t len = min(p->bv_len - skip, size);
1740
1741 size -= len;
1742 npages += DIV_ROUND_UP(offs + len, PAGE_SIZE);
1743 if (unlikely(npages > maxpages))
1744 return maxpages;
1745 }
1746 return npages;
1747}
1748
1749int iov_iter_npages(const struct iov_iter *i, int maxpages)
1750{
1751 if (unlikely(!i->count))
1752 return 0;
1753 /* iovec and kvec have identical layouts */
1754 if (likely(iter_is_iovec(i) || iov_iter_is_kvec(i)))
1755 return iov_npages(i, maxpages);
1756 if (iov_iter_is_bvec(i))
1757 return bvec_npages(i, maxpages);
1758 if (iov_iter_is_pipe(i)) {
David Howells8cefc102019-11-15 13:30:32 +00001759 unsigned int iter_head;
Al Viro66531c62021-04-25 16:00:48 -04001760 int npages;
Al Viro241699c2016-09-22 16:33:12 -04001761 size_t off;
Al Viro241699c2016-09-22 16:33:12 -04001762
1763 if (!sanity(i))
1764 return 0;
1765
David Howells8cefc102019-11-15 13:30:32 +00001766 data_start(i, &iter_head, &off);
Al Viro241699c2016-09-22 16:33:12 -04001767 /* some of this one + all after this one */
Al Viro66531c62021-04-25 16:00:48 -04001768 npages = pipe_space_for_user(iter_head, i->pipe->tail, i->pipe);
1769 return min(npages, maxpages);
1770 }
1771 if (iov_iter_is_xarray(i)) {
Al Viroe4f8df82021-05-03 11:05:29 -04001772 unsigned offset = (i->xarray_start + i->iov_offset) % PAGE_SIZE;
1773 int npages = DIV_ROUND_UP(offset + i->count, PAGE_SIZE);
Al Viro66531c62021-04-25 16:00:48 -04001774 return min(npages, maxpages);
1775 }
1776 return 0;
Al Viro62a80672014-04-04 23:12:29 -04001777}
Al Virof67da302014-03-19 01:16:16 -04001778EXPORT_SYMBOL(iov_iter_npages);
Al Viro4b8164b2015-01-31 20:08:47 -05001779
1780const void *dup_iter(struct iov_iter *new, struct iov_iter *old, gfp_t flags)
1781{
1782 *new = *old;
David Howells00e23702018-10-22 13:07:28 +01001783 if (unlikely(iov_iter_is_pipe(new))) {
Al Viro241699c2016-09-22 16:33:12 -04001784 WARN_ON(1);
1785 return NULL;
1786 }
David Howells7ff5062072020-02-10 10:00:21 +00001787 if (unlikely(iov_iter_is_discard(new) || iov_iter_is_xarray(new)))
David Howells9ea9ce02018-10-20 00:57:56 +01001788 return NULL;
David Howells00e23702018-10-22 13:07:28 +01001789 if (iov_iter_is_bvec(new))
Al Viro4b8164b2015-01-31 20:08:47 -05001790 return new->bvec = kmemdup(new->bvec,
1791 new->nr_segs * sizeof(struct bio_vec),
1792 flags);
1793 else
1794 /* iovec and kvec have identical layout */
1795 return new->iov = kmemdup(new->iov,
1796 new->nr_segs * sizeof(struct iovec),
1797 flags);
1798}
1799EXPORT_SYMBOL(dup_iter);
Al Virobc917be2015-03-21 17:45:43 -04001800
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001801static int copy_compat_iovec_from_user(struct iovec *iov,
1802 const struct iovec __user *uvec, unsigned long nr_segs)
1803{
1804 const struct compat_iovec __user *uiov =
1805 (const struct compat_iovec __user *)uvec;
1806 int ret = -EFAULT, i;
1807
Christoph Hellwiga959a972021-01-11 18:19:26 +01001808 if (!user_access_begin(uiov, nr_segs * sizeof(*uiov)))
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001809 return -EFAULT;
1810
1811 for (i = 0; i < nr_segs; i++) {
1812 compat_uptr_t buf;
1813 compat_ssize_t len;
1814
1815 unsafe_get_user(len, &uiov[i].iov_len, uaccess_end);
1816 unsafe_get_user(buf, &uiov[i].iov_base, uaccess_end);
1817
1818 /* check for compat_size_t not fitting in compat_ssize_t .. */
1819 if (len < 0) {
1820 ret = -EINVAL;
1821 goto uaccess_end;
1822 }
1823 iov[i].iov_base = compat_ptr(buf);
1824 iov[i].iov_len = len;
1825 }
1826
1827 ret = 0;
1828uaccess_end:
1829 user_access_end();
1830 return ret;
1831}
1832
1833static int copy_iovec_from_user(struct iovec *iov,
1834 const struct iovec __user *uvec, unsigned long nr_segs)
David Laightfb041b52020-09-25 06:51:39 +02001835{
1836 unsigned long seg;
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001837
1838 if (copy_from_user(iov, uvec, nr_segs * sizeof(*uvec)))
1839 return -EFAULT;
1840 for (seg = 0; seg < nr_segs; seg++) {
1841 if ((ssize_t)iov[seg].iov_len < 0)
1842 return -EINVAL;
1843 }
1844
1845 return 0;
1846}
1847
1848struct iovec *iovec_from_user(const struct iovec __user *uvec,
1849 unsigned long nr_segs, unsigned long fast_segs,
1850 struct iovec *fast_iov, bool compat)
1851{
1852 struct iovec *iov = fast_iov;
1853 int ret;
David Laightfb041b52020-09-25 06:51:39 +02001854
1855 /*
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001856 * SuS says "The readv() function *may* fail if the iovcnt argument was
1857 * less than or equal to 0, or greater than {IOV_MAX}. Linux has
David Laightfb041b52020-09-25 06:51:39 +02001858 * traditionally returned zero for zero segments, so...
1859 */
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001860 if (nr_segs == 0)
1861 return iov;
1862 if (nr_segs > UIO_MAXIOV)
1863 return ERR_PTR(-EINVAL);
David Laightfb041b52020-09-25 06:51:39 +02001864 if (nr_segs > fast_segs) {
1865 iov = kmalloc_array(nr_segs, sizeof(struct iovec), GFP_KERNEL);
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001866 if (!iov)
1867 return ERR_PTR(-ENOMEM);
David Laightfb041b52020-09-25 06:51:39 +02001868 }
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001869
1870 if (compat)
1871 ret = copy_compat_iovec_from_user(iov, uvec, nr_segs);
1872 else
1873 ret = copy_iovec_from_user(iov, uvec, nr_segs);
1874 if (ret) {
1875 if (iov != fast_iov)
1876 kfree(iov);
1877 return ERR_PTR(ret);
1878 }
1879
1880 return iov;
1881}
1882
1883ssize_t __import_iovec(int type, const struct iovec __user *uvec,
1884 unsigned nr_segs, unsigned fast_segs, struct iovec **iovp,
1885 struct iov_iter *i, bool compat)
1886{
1887 ssize_t total_len = 0;
1888 unsigned long seg;
1889 struct iovec *iov;
1890
1891 iov = iovec_from_user(uvec, nr_segs, fast_segs, *iovp, compat);
1892 if (IS_ERR(iov)) {
1893 *iovp = NULL;
1894 return PTR_ERR(iov);
David Laightfb041b52020-09-25 06:51:39 +02001895 }
1896
1897 /*
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001898 * According to the Single Unix Specification we should return EINVAL if
1899 * an element length is < 0 when cast to ssize_t or if the total length
1900 * would overflow the ssize_t return value of the system call.
David Laightfb041b52020-09-25 06:51:39 +02001901 *
1902 * Linux caps all read/write calls to MAX_RW_COUNT, and avoids the
1903 * overflow case.
1904 */
David Laightfb041b52020-09-25 06:51:39 +02001905 for (seg = 0; seg < nr_segs; seg++) {
David Laightfb041b52020-09-25 06:51:39 +02001906 ssize_t len = (ssize_t)iov[seg].iov_len;
1907
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001908 if (!access_ok(iov[seg].iov_base, len)) {
1909 if (iov != *iovp)
1910 kfree(iov);
1911 *iovp = NULL;
1912 return -EFAULT;
David Laightfb041b52020-09-25 06:51:39 +02001913 }
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001914
1915 if (len > MAX_RW_COUNT - total_len) {
1916 len = MAX_RW_COUNT - total_len;
David Laightfb041b52020-09-25 06:51:39 +02001917 iov[seg].iov_len = len;
1918 }
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001919 total_len += len;
David Laightfb041b52020-09-25 06:51:39 +02001920 }
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001921
1922 iov_iter_init(i, type, iov, nr_segs, total_len);
1923 if (iov == *iovp)
1924 *iovp = NULL;
1925 else
1926 *iovp = iov;
1927 return total_len;
David Laightfb041b52020-09-25 06:51:39 +02001928}
1929
Vegard Nossumffecee42016-10-08 11:18:07 +02001930/**
1931 * import_iovec() - Copy an array of &struct iovec from userspace
1932 * into the kernel, check that it is valid, and initialize a new
1933 * &struct iov_iter iterator to access it.
1934 *
1935 * @type: One of %READ or %WRITE.
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001936 * @uvec: Pointer to the userspace array.
Vegard Nossumffecee42016-10-08 11:18:07 +02001937 * @nr_segs: Number of elements in userspace array.
1938 * @fast_segs: Number of elements in @iov.
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001939 * @iovp: (input and output parameter) Pointer to pointer to (usually small
Vegard Nossumffecee42016-10-08 11:18:07 +02001940 * on-stack) kernel array.
1941 * @i: Pointer to iterator that will be initialized on success.
1942 *
1943 * If the array pointed to by *@iov is large enough to hold all @nr_segs,
1944 * then this function places %NULL in *@iov on return. Otherwise, a new
1945 * array will be allocated and the result placed in *@iov. This means that
1946 * the caller may call kfree() on *@iov regardless of whether the small
1947 * on-stack array was used or not (and regardless of whether this function
1948 * returns an error or not).
1949 *
Jens Axboe87e5e6d2019-05-14 16:02:22 -06001950 * Return: Negative error code on error, bytes imported on success
Vegard Nossumffecee42016-10-08 11:18:07 +02001951 */
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001952ssize_t import_iovec(int type, const struct iovec __user *uvec,
Al Virobc917be2015-03-21 17:45:43 -04001953 unsigned nr_segs, unsigned fast_segs,
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001954 struct iovec **iovp, struct iov_iter *i)
Al Virobc917be2015-03-21 17:45:43 -04001955{
Christoph Hellwig89cd35c2020-09-25 06:51:41 +02001956 return __import_iovec(type, uvec, nr_segs, fast_segs, iovp, i,
1957 in_compat_syscall());
Al Virobc917be2015-03-21 17:45:43 -04001958}
1959EXPORT_SYMBOL(import_iovec);
1960
Al Virobc917be2015-03-21 17:45:43 -04001961int import_single_range(int rw, void __user *buf, size_t len,
1962 struct iovec *iov, struct iov_iter *i)
1963{
1964 if (len > MAX_RW_COUNT)
1965 len = MAX_RW_COUNT;
Linus Torvalds96d4f262019-01-03 18:57:57 -08001966 if (unlikely(!access_ok(buf, len)))
Al Virobc917be2015-03-21 17:45:43 -04001967 return -EFAULT;
1968
1969 iov->iov_base = buf;
1970 iov->iov_len = len;
1971 iov_iter_init(i, rw, iov, 1, len);
1972 return 0;
1973}
Al Viroe1267582015-12-06 20:38:56 -05001974EXPORT_SYMBOL(import_single_range);