blob: 8aff4eb4fdfd8373b64f8d0b0f7d33f8e16642f9 [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 WARN_ON_ONCE(uaccess_kernel());
469 *i = (struct iov_iter) {
470 .iter_type = ITER_IOVEC,
471 .data_source = direction,
472 .iov = iov,
473 .nr_segs = nr_segs,
474 .iov_offset = 0,
475 .count = count
476 };
Al Viro71d8e532014-03-05 19:28:09 -0500477}
478EXPORT_SYMBOL(iov_iter_init);
Al Viro7b2c99d2014-03-15 04:05:57 -0400479
Al Viro241699c2016-09-22 16:33:12 -0400480static inline bool allocated(struct pipe_buffer *buf)
481{
482 return buf->ops == &default_pipe_buf_ops;
483}
484
David Howells8cefc102019-11-15 13:30:32 +0000485static inline void data_start(const struct iov_iter *i,
486 unsigned int *iter_headp, size_t *offp)
Al Viro241699c2016-09-22 16:33:12 -0400487{
David Howells8cefc102019-11-15 13:30:32 +0000488 unsigned int p_mask = i->pipe->ring_size - 1;
489 unsigned int iter_head = i->head;
Al Viro241699c2016-09-22 16:33:12 -0400490 size_t off = i->iov_offset;
David Howells8cefc102019-11-15 13:30:32 +0000491
492 if (off && (!allocated(&i->pipe->bufs[iter_head & p_mask]) ||
493 off == PAGE_SIZE)) {
494 iter_head++;
Al Viro241699c2016-09-22 16:33:12 -0400495 off = 0;
496 }
David Howells8cefc102019-11-15 13:30:32 +0000497 *iter_headp = iter_head;
Al Viro241699c2016-09-22 16:33:12 -0400498 *offp = off;
499}
500
501static size_t push_pipe(struct iov_iter *i, size_t size,
David Howells8cefc102019-11-15 13:30:32 +0000502 int *iter_headp, size_t *offp)
Al Viro241699c2016-09-22 16:33:12 -0400503{
504 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000505 unsigned int p_tail = pipe->tail;
506 unsigned int p_mask = pipe->ring_size - 1;
507 unsigned int iter_head;
Al Viro241699c2016-09-22 16:33:12 -0400508 size_t off;
Al Viro241699c2016-09-22 16:33:12 -0400509 ssize_t left;
510
511 if (unlikely(size > i->count))
512 size = i->count;
513 if (unlikely(!size))
514 return 0;
515
516 left = size;
David Howells8cefc102019-11-15 13:30:32 +0000517 data_start(i, &iter_head, &off);
518 *iter_headp = iter_head;
Al Viro241699c2016-09-22 16:33:12 -0400519 *offp = off;
520 if (off) {
521 left -= PAGE_SIZE - off;
522 if (left <= 0) {
David Howells8cefc102019-11-15 13:30:32 +0000523 pipe->bufs[iter_head & p_mask].len += size;
Al Viro241699c2016-09-22 16:33:12 -0400524 return size;
525 }
David Howells8cefc102019-11-15 13:30:32 +0000526 pipe->bufs[iter_head & p_mask].len = PAGE_SIZE;
527 iter_head++;
Al Viro241699c2016-09-22 16:33:12 -0400528 }
David Howells6718b6f2019-10-16 16:47:32 +0100529 while (!pipe_full(iter_head, p_tail, pipe->max_usage)) {
David Howells8cefc102019-11-15 13:30:32 +0000530 struct pipe_buffer *buf = &pipe->bufs[iter_head & p_mask];
Al Viro241699c2016-09-22 16:33:12 -0400531 struct page *page = alloc_page(GFP_USER);
532 if (!page)
533 break;
David Howells8cefc102019-11-15 13:30:32 +0000534
535 buf->ops = &default_pipe_buf_ops;
536 buf->page = page;
537 buf->offset = 0;
538 buf->len = min_t(ssize_t, left, PAGE_SIZE);
539 left -= buf->len;
540 iter_head++;
541 pipe->head = iter_head;
542
543 if (left == 0)
Al Viro241699c2016-09-22 16:33:12 -0400544 return size;
Al Viro241699c2016-09-22 16:33:12 -0400545 }
546 return size - left;
547}
548
549static size_t copy_pipe_to_iter(const void *addr, size_t bytes,
550 struct iov_iter *i)
551{
552 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000553 unsigned int p_mask = pipe->ring_size - 1;
554 unsigned int i_head;
Al Viro241699c2016-09-22 16:33:12 -0400555 size_t n, off;
Al Viro241699c2016-09-22 16:33:12 -0400556
557 if (!sanity(i))
558 return 0;
559
David Howells8cefc102019-11-15 13:30:32 +0000560 bytes = n = push_pipe(i, bytes, &i_head, &off);
Al Viro241699c2016-09-22 16:33:12 -0400561 if (unlikely(!n))
562 return 0;
David Howells8cefc102019-11-15 13:30:32 +0000563 do {
Al Viro241699c2016-09-22 16:33:12 -0400564 size_t chunk = min_t(size_t, n, PAGE_SIZE - off);
David Howells8cefc102019-11-15 13:30:32 +0000565 memcpy_to_page(pipe->bufs[i_head & p_mask].page, off, addr, chunk);
566 i->head = i_head;
Al Viro241699c2016-09-22 16:33:12 -0400567 i->iov_offset = off + chunk;
568 n -= chunk;
569 addr += chunk;
David Howells8cefc102019-11-15 13:30:32 +0000570 off = 0;
571 i_head++;
572 } while (n);
Al Viro241699c2016-09-22 16:33:12 -0400573 i->count -= bytes;
574 return bytes;
575}
576
Al Virof9152892018-11-27 22:32:59 -0500577static __wsum csum_and_memcpy(void *to, const void *from, size_t len,
578 __wsum sum, size_t off)
579{
Al Virocc44c172020-07-11 00:12:07 -0400580 __wsum next = csum_partial_copy_nocheck(from, to, len);
Al Virof9152892018-11-27 22:32:59 -0500581 return csum_block_add(sum, next, off);
582}
583
Al Viro78e1f382018-11-25 16:24:16 -0500584static size_t csum_and_copy_to_pipe_iter(const void *addr, size_t bytes,
Willem de Bruijn52cbd232021-02-03 14:29:52 -0500585 struct csum_state *csstate,
586 struct iov_iter *i)
Al Viro78e1f382018-11-25 16:24:16 -0500587{
588 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000589 unsigned int p_mask = pipe->ring_size - 1;
Willem de Bruijn52cbd232021-02-03 14:29:52 -0500590 __wsum sum = csstate->csum;
591 size_t off = csstate->off;
David Howells8cefc102019-11-15 13:30:32 +0000592 unsigned int i_head;
Al Viro78e1f382018-11-25 16:24:16 -0500593 size_t n, r;
Al Viro78e1f382018-11-25 16:24:16 -0500594
595 if (!sanity(i))
596 return 0;
597
David Howells8cefc102019-11-15 13:30:32 +0000598 bytes = n = push_pipe(i, bytes, &i_head, &r);
Al Viro78e1f382018-11-25 16:24:16 -0500599 if (unlikely(!n))
600 return 0;
David Howells8cefc102019-11-15 13:30:32 +0000601 do {
Al Viro78e1f382018-11-25 16:24:16 -0500602 size_t chunk = min_t(size_t, n, PAGE_SIZE - r);
David Howells8cefc102019-11-15 13:30:32 +0000603 char *p = kmap_atomic(pipe->bufs[i_head & p_mask].page);
Al Virof9152892018-11-27 22:32:59 -0500604 sum = csum_and_memcpy(p + r, addr, chunk, sum, off);
Al Viro78e1f382018-11-25 16:24:16 -0500605 kunmap_atomic(p);
David Howells8cefc102019-11-15 13:30:32 +0000606 i->head = i_head;
Al Viro78e1f382018-11-25 16:24:16 -0500607 i->iov_offset = r + chunk;
608 n -= chunk;
609 off += chunk;
610 addr += chunk;
David Howells8cefc102019-11-15 13:30:32 +0000611 r = 0;
612 i_head++;
613 } while (n);
Al Viro78e1f382018-11-25 16:24:16 -0500614 i->count -= bytes;
Willem de Bruijn52cbd232021-02-03 14:29:52 -0500615 csstate->csum = sum;
616 csstate->off = off;
Al Viro78e1f382018-11-25 16:24:16 -0500617 return bytes;
618}
619
Al Viroaa28de22017-06-29 21:45:10 -0400620size_t _copy_to_iter(const void *addr, size_t bytes, struct iov_iter *i)
Al Viro62a80672014-04-04 23:12:29 -0400621{
David Howells00e23702018-10-22 13:07:28 +0100622 if (unlikely(iov_iter_is_pipe(i)))
Al Viro241699c2016-09-22 16:33:12 -0400623 return copy_pipe_to_iter(addr, bytes, i);
Al Viro09fc68dc2017-06-29 22:25:14 -0400624 if (iter_is_iovec(i))
625 might_fault();
Al Viro7baa5092021-05-02 11:35:03 -0400626 iterate_and_advance(i, bytes, base, len, off,
627 copyout(base, addr + off, len),
628 memcpy(base, addr + off, len)
Al Viro3d4d3e42014-11-27 14:28:06 -0500629 )
Al Viro62a80672014-04-04 23:12:29 -0400630
Al Viro3d4d3e42014-11-27 14:28:06 -0500631 return bytes;
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400632}
Al Viroaa28de22017-06-29 21:45:10 -0400633EXPORT_SYMBOL(_copy_to_iter);
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400634
Dan Williamsec6347b2020-10-05 20:40:16 -0700635#ifdef CONFIG_ARCH_HAS_COPY_MC
636static int copyout_mc(void __user *to, const void *from, size_t n)
Dan Williams87803562018-05-03 17:06:31 -0700637{
Linus Torvalds96d4f262019-01-03 18:57:57 -0800638 if (access_ok(to, n)) {
Marco Elverd0ef4c32020-01-21 17:05:11 +0100639 instrument_copy_to_user(to, from, n);
Dan Williamsec6347b2020-10-05 20:40:16 -0700640 n = copy_mc_to_user((__force void *) to, from, n);
Dan Williams87803562018-05-03 17:06:31 -0700641 }
642 return n;
643}
644
Dan Williamsec6347b2020-10-05 20:40:16 -0700645static unsigned long copy_mc_to_page(struct page *page, size_t offset,
Dan Williams87803562018-05-03 17:06:31 -0700646 const char *from, size_t len)
647{
648 unsigned long ret;
649 char *to;
650
651 to = kmap_atomic(page);
Dan Williamsec6347b2020-10-05 20:40:16 -0700652 ret = copy_mc_to_kernel(to + offset, from, len);
Dan Williams87803562018-05-03 17:06:31 -0700653 kunmap_atomic(to);
654
655 return ret;
656}
657
Dan Williamsec6347b2020-10-05 20:40:16 -0700658static size_t copy_mc_pipe_to_iter(const void *addr, size_t bytes,
Dan Williamsca146f62018-07-08 13:46:12 -0700659 struct iov_iter *i)
660{
661 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000662 unsigned int p_mask = pipe->ring_size - 1;
663 unsigned int i_head;
Dan Williamsca146f62018-07-08 13:46:12 -0700664 size_t n, off, xfer = 0;
Dan Williamsca146f62018-07-08 13:46:12 -0700665
666 if (!sanity(i))
667 return 0;
668
David Howells8cefc102019-11-15 13:30:32 +0000669 bytes = n = push_pipe(i, bytes, &i_head, &off);
Dan Williamsca146f62018-07-08 13:46:12 -0700670 if (unlikely(!n))
671 return 0;
David Howells8cefc102019-11-15 13:30:32 +0000672 do {
Dan Williamsca146f62018-07-08 13:46:12 -0700673 size_t chunk = min_t(size_t, n, PAGE_SIZE - off);
674 unsigned long rem;
675
Dan Williamsec6347b2020-10-05 20:40:16 -0700676 rem = copy_mc_to_page(pipe->bufs[i_head & p_mask].page,
David Howells8cefc102019-11-15 13:30:32 +0000677 off, addr, chunk);
678 i->head = i_head;
Dan Williamsca146f62018-07-08 13:46:12 -0700679 i->iov_offset = off + chunk - rem;
680 xfer += chunk - rem;
681 if (rem)
682 break;
683 n -= chunk;
684 addr += chunk;
David Howells8cefc102019-11-15 13:30:32 +0000685 off = 0;
686 i_head++;
687 } while (n);
Dan Williamsca146f62018-07-08 13:46:12 -0700688 i->count -= xfer;
689 return xfer;
690}
691
Dan Williamsbf3eeb92018-07-08 13:46:02 -0700692/**
Dan Williamsec6347b2020-10-05 20:40:16 -0700693 * _copy_mc_to_iter - copy to iter with source memory error exception handling
Dan Williamsbf3eeb92018-07-08 13:46:02 -0700694 * @addr: source kernel address
695 * @bytes: total transfer length
696 * @iter: destination iterator
697 *
Dan Williamsec6347b2020-10-05 20:40:16 -0700698 * The pmem driver deploys this for the dax operation
699 * (dax_copy_to_iter()) for dax reads (bypass page-cache and the
700 * block-layer). Upon #MC read(2) aborts and returns EIO or the bytes
701 * successfully copied.
Dan Williamsbf3eeb92018-07-08 13:46:02 -0700702 *
Dan Williamsec6347b2020-10-05 20:40:16 -0700703 * The main differences between this and typical _copy_to_iter().
Dan Williamsbf3eeb92018-07-08 13:46:02 -0700704 *
705 * * Typical tail/residue handling after a fault retries the copy
706 * byte-by-byte until the fault happens again. Re-triggering machine
707 * checks is potentially fatal so the implementation uses source
708 * alignment and poison alignment assumptions to avoid re-triggering
709 * hardware exceptions.
710 *
711 * * ITER_KVEC, ITER_PIPE, and ITER_BVEC can return short copies.
712 * Compare to copy_to_iter() where only ITER_IOVEC attempts might return
713 * a short copy.
Dan Williamsbf3eeb92018-07-08 13:46:02 -0700714 */
Dan Williamsec6347b2020-10-05 20:40:16 -0700715size_t _copy_mc_to_iter(const void *addr, size_t bytes, struct iov_iter *i)
Dan Williams87803562018-05-03 17:06:31 -0700716{
David Howells00e23702018-10-22 13:07:28 +0100717 if (unlikely(iov_iter_is_pipe(i)))
Dan Williamsec6347b2020-10-05 20:40:16 -0700718 return copy_mc_pipe_to_iter(addr, bytes, i);
Dan Williams87803562018-05-03 17:06:31 -0700719 if (iter_is_iovec(i))
720 might_fault();
Al Viro7baa5092021-05-02 11:35:03 -0400721 __iterate_and_advance(i, bytes, base, len, off,
722 copyout_mc(base, addr + off, len),
723 copy_mc_to_kernel(base, addr + off, len)
Dan Williams87803562018-05-03 17:06:31 -0700724 )
725
726 return bytes;
727}
Dan Williamsec6347b2020-10-05 20:40:16 -0700728EXPORT_SYMBOL_GPL(_copy_mc_to_iter);
729#endif /* CONFIG_ARCH_HAS_COPY_MC */
Dan Williams87803562018-05-03 17:06:31 -0700730
Al Viroaa28de22017-06-29 21:45:10 -0400731size_t _copy_from_iter(void *addr, size_t bytes, struct iov_iter *i)
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400732{
David Howells00e23702018-10-22 13:07:28 +0100733 if (unlikely(iov_iter_is_pipe(i))) {
Al Viro241699c2016-09-22 16:33:12 -0400734 WARN_ON(1);
735 return 0;
736 }
Al Viro09fc68dc2017-06-29 22:25:14 -0400737 if (iter_is_iovec(i))
738 might_fault();
Al Viro7baa5092021-05-02 11:35:03 -0400739 iterate_and_advance(i, bytes, base, len, off,
740 copyin(addr + off, base, len),
741 memcpy(addr + off, base, len)
Al Viro0dbca9a2014-11-27 14:26:43 -0500742 )
743
744 return bytes;
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400745}
Al Viroaa28de22017-06-29 21:45:10 -0400746EXPORT_SYMBOL(_copy_from_iter);
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400747
Al Viroaa28de22017-06-29 21:45:10 -0400748size_t _copy_from_iter_nocache(void *addr, size_t bytes, struct iov_iter *i)
Al Viroaa583092014-11-27 20:27:08 -0500749{
David Howells00e23702018-10-22 13:07:28 +0100750 if (unlikely(iov_iter_is_pipe(i))) {
Al Viro241699c2016-09-22 16:33:12 -0400751 WARN_ON(1);
752 return 0;
753 }
Al Viro7baa5092021-05-02 11:35:03 -0400754 iterate_and_advance(i, bytes, base, len, off,
755 __copy_from_user_inatomic_nocache(addr + off, base, len),
756 memcpy(addr + off, base, len)
Al Viroaa583092014-11-27 20:27:08 -0500757 )
758
759 return bytes;
760}
Al Viroaa28de22017-06-29 21:45:10 -0400761EXPORT_SYMBOL(_copy_from_iter_nocache);
Al Viroaa583092014-11-27 20:27:08 -0500762
Dan Williams0aed55a2017-05-29 12:22:50 -0700763#ifdef CONFIG_ARCH_HAS_UACCESS_FLUSHCACHE
Dan Williamsabd08d72018-07-08 13:46:07 -0700764/**
765 * _copy_from_iter_flushcache - write destination through cpu cache
766 * @addr: destination kernel address
767 * @bytes: total transfer length
768 * @iter: source iterator
769 *
770 * The pmem driver arranges for filesystem-dax to use this facility via
771 * dax_copy_from_iter() for ensuring that writes to persistent memory
772 * are flushed through the CPU cache. It is differentiated from
773 * _copy_from_iter_nocache() in that guarantees all data is flushed for
774 * all iterator types. The _copy_from_iter_nocache() only attempts to
775 * bypass the cache for the ITER_IOVEC case, and on some archs may use
776 * instructions that strand dirty-data in the cache.
777 */
Linus Torvalds6a37e942017-07-07 20:39:20 -0700778size_t _copy_from_iter_flushcache(void *addr, size_t bytes, struct iov_iter *i)
Dan Williams0aed55a2017-05-29 12:22:50 -0700779{
David Howells00e23702018-10-22 13:07:28 +0100780 if (unlikely(iov_iter_is_pipe(i))) {
Dan Williams0aed55a2017-05-29 12:22:50 -0700781 WARN_ON(1);
782 return 0;
783 }
Al Viro7baa5092021-05-02 11:35:03 -0400784 iterate_and_advance(i, bytes, base, len, off,
785 __copy_from_user_flushcache(addr + off, base, len),
786 memcpy_flushcache(addr + off, base, len)
Dan Williams0aed55a2017-05-29 12:22:50 -0700787 )
788
789 return bytes;
790}
Linus Torvalds6a37e942017-07-07 20:39:20 -0700791EXPORT_SYMBOL_GPL(_copy_from_iter_flushcache);
Dan Williams0aed55a2017-05-29 12:22:50 -0700792#endif
793
Al Viro72e809e2017-06-29 21:52:57 -0400794static inline bool page_copy_sane(struct page *page, size_t offset, size_t n)
795{
Eric Dumazet6daef952019-02-26 10:42:39 -0800796 struct page *head;
797 size_t v = n + offset;
798
799 /*
800 * The general case needs to access the page order in order
801 * to compute the page size.
802 * However, we mostly deal with order-0 pages and thus can
803 * avoid a possible cache line miss for requests that fit all
804 * page orders.
805 */
806 if (n <= v && v <= PAGE_SIZE)
807 return true;
808
809 head = compound_head(page);
810 v += (page - head) << PAGE_SHIFT;
Petar Penkova90bcb82017-08-29 11:20:32 -0700811
Matthew Wilcox (Oracle)a50b8542019-09-23 15:34:25 -0700812 if (likely(n <= v && v <= (page_size(head))))
Al Viro72e809e2017-06-29 21:52:57 -0400813 return true;
814 WARN_ON(1);
815 return false;
816}
Al Virocbbd26b2016-11-01 22:09:04 -0400817
Al Viro08aa6472021-04-29 20:42:25 -0400818static size_t __copy_page_to_iter(struct page *page, size_t offset, size_t bytes,
Al Virod2715242014-11-27 14:22:37 -0500819 struct iov_iter *i)
820{
Al Viro28f38db2021-06-02 17:25:59 -0400821 if (likely(iter_is_iovec(i)))
822 return copy_page_to_iter_iovec(page, offset, bytes, i);
823 if (iov_iter_is_bvec(i) || iov_iter_is_kvec(i) || iov_iter_is_xarray(i)) {
Al Viroc1d4d6a2021-04-27 12:29:53 -0400824 void *kaddr = kmap_local_page(page);
825 size_t wanted = _copy_to_iter(kaddr + offset, bytes, i);
826 kunmap_local(kaddr);
Al Virod2715242014-11-27 14:22:37 -0500827 return wanted;
Al Viro28f38db2021-06-02 17:25:59 -0400828 }
829 if (iov_iter_is_pipe(i))
830 return copy_page_to_iter_pipe(page, offset, bytes, i);
831 if (unlikely(iov_iter_is_discard(i))) {
Al Viroa506abc2021-04-27 12:34:04 -0400832 if (unlikely(i->count < bytes))
833 bytes = i->count;
834 i->count -= bytes;
David Howells9ea9ce02018-10-20 00:57:56 +0100835 return bytes;
Al Viro28f38db2021-06-02 17:25:59 -0400836 }
837 WARN_ON(1);
838 return 0;
Al Virod2715242014-11-27 14:22:37 -0500839}
Al Viro08aa6472021-04-29 20:42:25 -0400840
841size_t copy_page_to_iter(struct page *page, size_t offset, size_t bytes,
842 struct iov_iter *i)
843{
844 size_t res = 0;
845 if (unlikely(!page_copy_sane(page, offset, bytes)))
846 return 0;
847 page += offset / PAGE_SIZE; // first subpage
848 offset %= PAGE_SIZE;
849 while (1) {
850 size_t n = __copy_page_to_iter(page, offset,
851 min(bytes, (size_t)PAGE_SIZE - offset), i);
852 res += n;
853 bytes -= n;
854 if (!bytes || !n)
855 break;
856 offset += n;
857 if (offset == PAGE_SIZE) {
858 page++;
859 offset = 0;
860 }
861 }
862 return res;
863}
Al Virod2715242014-11-27 14:22:37 -0500864EXPORT_SYMBOL(copy_page_to_iter);
865
866size_t copy_page_from_iter(struct page *page, size_t offset, size_t bytes,
867 struct iov_iter *i)
868{
Al Viro72e809e2017-06-29 21:52:57 -0400869 if (unlikely(!page_copy_sane(page, offset, bytes)))
870 return 0;
Al Viro28f38db2021-06-02 17:25:59 -0400871 if (likely(iter_is_iovec(i)))
872 return copy_page_from_iter_iovec(page, offset, bytes, i);
873 if (iov_iter_is_bvec(i) || iov_iter_is_kvec(i) || iov_iter_is_xarray(i)) {
Al Virod2715242014-11-27 14:22:37 -0500874 void *kaddr = kmap_atomic(page);
Al Viroaa28de22017-06-29 21:45:10 -0400875 size_t wanted = _copy_from_iter(kaddr + offset, bytes, i);
Al Virod2715242014-11-27 14:22:37 -0500876 kunmap_atomic(kaddr);
877 return wanted;
Al Viro28f38db2021-06-02 17:25:59 -0400878 }
879 WARN_ON(1);
880 return 0;
Al Virod2715242014-11-27 14:22:37 -0500881}
882EXPORT_SYMBOL(copy_page_from_iter);
883
Al Viro241699c2016-09-22 16:33:12 -0400884static size_t pipe_zero(size_t bytes, struct iov_iter *i)
885{
886 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000887 unsigned int p_mask = pipe->ring_size - 1;
888 unsigned int i_head;
Al Viro241699c2016-09-22 16:33:12 -0400889 size_t n, off;
Al Viro241699c2016-09-22 16:33:12 -0400890
891 if (!sanity(i))
892 return 0;
893
David Howells8cefc102019-11-15 13:30:32 +0000894 bytes = n = push_pipe(i, bytes, &i_head, &off);
Al Viro241699c2016-09-22 16:33:12 -0400895 if (unlikely(!n))
896 return 0;
897
David Howells8cefc102019-11-15 13:30:32 +0000898 do {
Al Viro241699c2016-09-22 16:33:12 -0400899 size_t chunk = min_t(size_t, n, PAGE_SIZE - off);
David Howells8cefc102019-11-15 13:30:32 +0000900 memzero_page(pipe->bufs[i_head & p_mask].page, off, chunk);
901 i->head = i_head;
Al Viro241699c2016-09-22 16:33:12 -0400902 i->iov_offset = off + chunk;
903 n -= chunk;
David Howells8cefc102019-11-15 13:30:32 +0000904 off = 0;
905 i_head++;
906 } while (n);
Al Viro241699c2016-09-22 16:33:12 -0400907 i->count -= bytes;
908 return bytes;
909}
910
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400911size_t iov_iter_zero(size_t bytes, struct iov_iter *i)
912{
David Howells00e23702018-10-22 13:07:28 +0100913 if (unlikely(iov_iter_is_pipe(i)))
Al Viro241699c2016-09-22 16:33:12 -0400914 return pipe_zero(bytes, i);
Al Viro7baa5092021-05-02 11:35:03 -0400915 iterate_and_advance(i, bytes, base, len, count,
916 clear_user(base, len),
917 memset(base, 0, len)
Al Viro8442fa42014-11-27 14:18:54 -0500918 )
919
920 return bytes;
Matthew Wilcoxc35e0242014-08-01 09:27:22 -0400921}
922EXPORT_SYMBOL(iov_iter_zero);
923
Al Virof0b65f32021-04-30 10:26:41 -0400924size_t copy_page_from_iter_atomic(struct page *page, unsigned offset, size_t bytes,
925 struct iov_iter *i)
Al Viro62a80672014-04-04 23:12:29 -0400926{
Al Viro04a31162014-11-27 13:51:41 -0500927 char *kaddr = kmap_atomic(page), *p = kaddr + offset;
Al Viro72e809e2017-06-29 21:52:57 -0400928 if (unlikely(!page_copy_sane(page, offset, bytes))) {
929 kunmap_atomic(kaddr);
930 return 0;
931 }
David Howells9ea9ce02018-10-20 00:57:56 +0100932 if (unlikely(iov_iter_is_pipe(i) || iov_iter_is_discard(i))) {
Al Viro241699c2016-09-22 16:33:12 -0400933 kunmap_atomic(kaddr);
934 WARN_ON(1);
935 return 0;
936 }
Al Viro7baa5092021-05-02 11:35:03 -0400937 iterate_and_advance(i, bytes, base, len, off,
938 copyin(p + off, base, len),
939 memcpy(p + off, base, len)
Al Viro04a31162014-11-27 13:51:41 -0500940 )
941 kunmap_atomic(kaddr);
942 return bytes;
Al Viro62a80672014-04-04 23:12:29 -0400943}
Al Virof0b65f32021-04-30 10:26:41 -0400944EXPORT_SYMBOL(copy_page_from_iter_atomic);
Al Viro62a80672014-04-04 23:12:29 -0400945
Al Virob9dc6f62017-01-14 19:33:08 -0500946static inline void pipe_truncate(struct iov_iter *i)
Al Viro241699c2016-09-22 16:33:12 -0400947{
948 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +0000949 unsigned int p_tail = pipe->tail;
950 unsigned int p_head = pipe->head;
951 unsigned int p_mask = pipe->ring_size - 1;
952
953 if (!pipe_empty(p_head, p_tail)) {
954 struct pipe_buffer *buf;
955 unsigned int i_head = i->head;
Al Virob9dc6f62017-01-14 19:33:08 -0500956 size_t off = i->iov_offset;
David Howells8cefc102019-11-15 13:30:32 +0000957
Al Virob9dc6f62017-01-14 19:33:08 -0500958 if (off) {
David Howells8cefc102019-11-15 13:30:32 +0000959 buf = &pipe->bufs[i_head & p_mask];
960 buf->len = off - buf->offset;
961 i_head++;
Al Virob9dc6f62017-01-14 19:33:08 -0500962 }
David Howells8cefc102019-11-15 13:30:32 +0000963 while (p_head != i_head) {
964 p_head--;
965 pipe_buf_release(pipe, &pipe->bufs[p_head & p_mask]);
Al Viro241699c2016-09-22 16:33:12 -0400966 }
David Howells8cefc102019-11-15 13:30:32 +0000967
968 pipe->head = p_head;
Al Viro241699c2016-09-22 16:33:12 -0400969 }
Al Virob9dc6f62017-01-14 19:33:08 -0500970}
971
972static void pipe_advance(struct iov_iter *i, size_t size)
973{
974 struct pipe_inode_info *pipe = i->pipe;
Al Virob9dc6f62017-01-14 19:33:08 -0500975 if (size) {
976 struct pipe_buffer *buf;
David Howells8cefc102019-11-15 13:30:32 +0000977 unsigned int p_mask = pipe->ring_size - 1;
978 unsigned int i_head = i->head;
Al Virob9dc6f62017-01-14 19:33:08 -0500979 size_t off = i->iov_offset, left = size;
David Howells8cefc102019-11-15 13:30:32 +0000980
Al Virob9dc6f62017-01-14 19:33:08 -0500981 if (off) /* make it relative to the beginning of buffer */
David Howells8cefc102019-11-15 13:30:32 +0000982 left += off - pipe->bufs[i_head & p_mask].offset;
Al Virob9dc6f62017-01-14 19:33:08 -0500983 while (1) {
David Howells8cefc102019-11-15 13:30:32 +0000984 buf = &pipe->bufs[i_head & p_mask];
Al Virob9dc6f62017-01-14 19:33:08 -0500985 if (left <= buf->len)
986 break;
987 left -= buf->len;
David Howells8cefc102019-11-15 13:30:32 +0000988 i_head++;
Al Virob9dc6f62017-01-14 19:33:08 -0500989 }
David Howells8cefc102019-11-15 13:30:32 +0000990 i->head = i_head;
Al Virob9dc6f62017-01-14 19:33:08 -0500991 i->iov_offset = buf->offset + left;
992 }
993 i->count -= size;
994 /* ... and discard everything past that point */
995 pipe_truncate(i);
Al Viro241699c2016-09-22 16:33:12 -0400996}
997
Pavel Begunkov54c81952021-01-09 16:03:01 +0000998static void iov_iter_bvec_advance(struct iov_iter *i, size_t size)
999{
1000 struct bvec_iter bi;
1001
1002 bi.bi_size = i->count;
1003 bi.bi_bvec_done = i->iov_offset;
1004 bi.bi_idx = 0;
1005 bvec_iter_advance(i->bvec, &bi, size);
1006
1007 i->bvec += bi.bi_idx;
1008 i->nr_segs -= bi.bi_idx;
1009 i->count = bi.bi_size;
1010 i->iov_offset = bi.bi_bvec_done;
1011}
1012
Al Viro185ac4d2021-04-23 12:58:53 -04001013static void iov_iter_iovec_advance(struct iov_iter *i, size_t size)
1014{
1015 const struct iovec *iov, *end;
1016
1017 if (!i->count)
1018 return;
1019 i->count -= size;
1020
1021 size += i->iov_offset; // from beginning of current segment
1022 for (iov = i->iov, end = iov + i->nr_segs; iov < end; iov++) {
1023 if (likely(size < iov->iov_len))
1024 break;
1025 size -= iov->iov_len;
1026 }
1027 i->iov_offset = size;
1028 i->nr_segs -= iov - i->iov;
1029 i->iov = iov;
1030}
1031
Al Viro62a80672014-04-04 23:12:29 -04001032void iov_iter_advance(struct iov_iter *i, size_t size)
1033{
Al Viro3b3fc052021-04-23 22:24:08 -04001034 if (unlikely(i->count < size))
1035 size = i->count;
Al Viro185ac4d2021-04-23 12:58:53 -04001036 if (likely(iter_is_iovec(i) || iov_iter_is_kvec(i))) {
1037 /* iovec and kvec have identical layouts */
1038 iov_iter_iovec_advance(i, size);
1039 } else if (iov_iter_is_bvec(i)) {
1040 iov_iter_bvec_advance(i, size);
1041 } else if (iov_iter_is_pipe(i)) {
Al Viro241699c2016-09-22 16:33:12 -04001042 pipe_advance(i, size);
Al Viro185ac4d2021-04-23 12:58:53 -04001043 } else if (unlikely(iov_iter_is_xarray(i))) {
David Howells7ff5062072020-02-10 10:00:21 +00001044 i->iov_offset += size;
1045 i->count -= size;
Al Viro185ac4d2021-04-23 12:58:53 -04001046 } else if (iov_iter_is_discard(i)) {
1047 i->count -= size;
David Howells7ff5062072020-02-10 10:00:21 +00001048 }
Al Viro62a80672014-04-04 23:12:29 -04001049}
1050EXPORT_SYMBOL(iov_iter_advance);
1051
Al Viro27c0e372017-02-17 18:42:24 -05001052void iov_iter_revert(struct iov_iter *i, size_t unroll)
1053{
1054 if (!unroll)
1055 return;
Al Viro5b47d592017-05-08 13:54:47 -04001056 if (WARN_ON(unroll > MAX_RW_COUNT))
1057 return;
Al Viro27c0e372017-02-17 18:42:24 -05001058 i->count += unroll;
David Howells00e23702018-10-22 13:07:28 +01001059 if (unlikely(iov_iter_is_pipe(i))) {
Al Viro27c0e372017-02-17 18:42:24 -05001060 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +00001061 unsigned int p_mask = pipe->ring_size - 1;
1062 unsigned int i_head = i->head;
Al Viro27c0e372017-02-17 18:42:24 -05001063 size_t off = i->iov_offset;
1064 while (1) {
David Howells8cefc102019-11-15 13:30:32 +00001065 struct pipe_buffer *b = &pipe->bufs[i_head & p_mask];
1066 size_t n = off - b->offset;
Al Viro27c0e372017-02-17 18:42:24 -05001067 if (unroll < n) {
Al Viro4fa55ce2017-04-29 16:42:30 -04001068 off -= unroll;
Al Viro27c0e372017-02-17 18:42:24 -05001069 break;
1070 }
1071 unroll -= n;
David Howells8cefc102019-11-15 13:30:32 +00001072 if (!unroll && i_head == i->start_head) {
Al Viro27c0e372017-02-17 18:42:24 -05001073 off = 0;
1074 break;
1075 }
David Howells8cefc102019-11-15 13:30:32 +00001076 i_head--;
1077 b = &pipe->bufs[i_head & p_mask];
1078 off = b->offset + b->len;
Al Viro27c0e372017-02-17 18:42:24 -05001079 }
1080 i->iov_offset = off;
David Howells8cefc102019-11-15 13:30:32 +00001081 i->head = i_head;
Al Viro27c0e372017-02-17 18:42:24 -05001082 pipe_truncate(i);
1083 return;
1084 }
David Howells9ea9ce02018-10-20 00:57:56 +01001085 if (unlikely(iov_iter_is_discard(i)))
1086 return;
Al Viro27c0e372017-02-17 18:42:24 -05001087 if (unroll <= i->iov_offset) {
1088 i->iov_offset -= unroll;
1089 return;
1090 }
1091 unroll -= i->iov_offset;
David Howells7ff5062072020-02-10 10:00:21 +00001092 if (iov_iter_is_xarray(i)) {
1093 BUG(); /* We should never go beyond the start of the specified
1094 * range since we might then be straying into pages that
1095 * aren't pinned.
1096 */
1097 } else if (iov_iter_is_bvec(i)) {
Al Viro27c0e372017-02-17 18:42:24 -05001098 const struct bio_vec *bvec = i->bvec;
1099 while (1) {
1100 size_t n = (--bvec)->bv_len;
1101 i->nr_segs++;
1102 if (unroll <= n) {
1103 i->bvec = bvec;
1104 i->iov_offset = n - unroll;
1105 return;
1106 }
1107 unroll -= n;
1108 }
1109 } else { /* same logics for iovec and kvec */
1110 const struct iovec *iov = i->iov;
1111 while (1) {
1112 size_t n = (--iov)->iov_len;
1113 i->nr_segs++;
1114 if (unroll <= n) {
1115 i->iov = iov;
1116 i->iov_offset = n - unroll;
1117 return;
1118 }
1119 unroll -= n;
1120 }
1121 }
1122}
1123EXPORT_SYMBOL(iov_iter_revert);
1124
Al Viro62a80672014-04-04 23:12:29 -04001125/*
1126 * Return the count of just the current iov_iter segment.
1127 */
1128size_t iov_iter_single_seg_count(const struct iov_iter *i)
1129{
Al Viro28f38db2021-06-02 17:25:59 -04001130 if (i->nr_segs > 1) {
1131 if (likely(iter_is_iovec(i) || iov_iter_is_kvec(i)))
1132 return min(i->count, i->iov->iov_len - i->iov_offset);
1133 if (iov_iter_is_bvec(i))
1134 return min(i->count, i->bvec->bv_len - i->iov_offset);
1135 }
1136 return i->count;
Al Viro62a80672014-04-04 23:12:29 -04001137}
1138EXPORT_SYMBOL(iov_iter_single_seg_count);
1139
David Howellsaa563d72018-10-20 00:57:56 +01001140void iov_iter_kvec(struct iov_iter *i, unsigned int direction,
Al Viro05afcb72015-01-23 01:08:07 -05001141 const struct kvec *kvec, unsigned long nr_segs,
Al Viroabb78f82014-11-24 14:46:11 -05001142 size_t count)
1143{
David Howellsaa563d72018-10-20 00:57:56 +01001144 WARN_ON(direction & ~(READ | WRITE));
Al Viro8cd54c12021-04-22 14:50:39 -04001145 *i = (struct iov_iter){
1146 .iter_type = ITER_KVEC,
1147 .data_source = direction,
1148 .kvec = kvec,
1149 .nr_segs = nr_segs,
1150 .iov_offset = 0,
1151 .count = count
1152 };
Al Viroabb78f82014-11-24 14:46:11 -05001153}
1154EXPORT_SYMBOL(iov_iter_kvec);
1155
David Howellsaa563d72018-10-20 00:57:56 +01001156void iov_iter_bvec(struct iov_iter *i, unsigned int direction,
Al Viro05afcb72015-01-23 01:08:07 -05001157 const struct bio_vec *bvec, unsigned long nr_segs,
1158 size_t count)
1159{
David Howellsaa563d72018-10-20 00:57:56 +01001160 WARN_ON(direction & ~(READ | WRITE));
Al Viro8cd54c12021-04-22 14:50:39 -04001161 *i = (struct iov_iter){
1162 .iter_type = ITER_BVEC,
1163 .data_source = direction,
1164 .bvec = bvec,
1165 .nr_segs = nr_segs,
1166 .iov_offset = 0,
1167 .count = count
1168 };
Al Viro05afcb72015-01-23 01:08:07 -05001169}
1170EXPORT_SYMBOL(iov_iter_bvec);
1171
David Howellsaa563d72018-10-20 00:57:56 +01001172void iov_iter_pipe(struct iov_iter *i, unsigned int direction,
Al Viro241699c2016-09-22 16:33:12 -04001173 struct pipe_inode_info *pipe,
1174 size_t count)
1175{
David Howellsaa563d72018-10-20 00:57:56 +01001176 BUG_ON(direction != READ);
David Howells8cefc102019-11-15 13:30:32 +00001177 WARN_ON(pipe_full(pipe->head, pipe->tail, pipe->ring_size));
Al Viro8cd54c12021-04-22 14:50:39 -04001178 *i = (struct iov_iter){
1179 .iter_type = ITER_PIPE,
1180 .data_source = false,
1181 .pipe = pipe,
1182 .head = pipe->head,
1183 .start_head = pipe->head,
1184 .iov_offset = 0,
1185 .count = count
1186 };
Al Viro241699c2016-09-22 16:33:12 -04001187}
1188EXPORT_SYMBOL(iov_iter_pipe);
1189
David Howells9ea9ce02018-10-20 00:57:56 +01001190/**
David Howells7ff5062072020-02-10 10:00:21 +00001191 * iov_iter_xarray - Initialise an I/O iterator to use the pages in an xarray
1192 * @i: The iterator to initialise.
1193 * @direction: The direction of the transfer.
1194 * @xarray: The xarray to access.
1195 * @start: The start file position.
1196 * @count: The size of the I/O buffer in bytes.
1197 *
1198 * Set up an I/O iterator to either draw data out of the pages attached to an
1199 * inode or to inject data into those pages. The pages *must* be prevented
1200 * from evaporation, either by taking a ref on them or locking them by the
1201 * caller.
1202 */
1203void iov_iter_xarray(struct iov_iter *i, unsigned int direction,
1204 struct xarray *xarray, loff_t start, size_t count)
1205{
1206 BUG_ON(direction & ~1);
Al Viro8cd54c12021-04-22 14:50:39 -04001207 *i = (struct iov_iter) {
1208 .iter_type = ITER_XARRAY,
1209 .data_source = direction,
1210 .xarray = xarray,
1211 .xarray_start = start,
1212 .count = count,
1213 .iov_offset = 0
1214 };
David Howells7ff5062072020-02-10 10:00:21 +00001215}
1216EXPORT_SYMBOL(iov_iter_xarray);
1217
1218/**
David Howells9ea9ce02018-10-20 00:57:56 +01001219 * iov_iter_discard - Initialise an I/O iterator that discards data
1220 * @i: The iterator to initialise.
1221 * @direction: The direction of the transfer.
1222 * @count: The size of the I/O buffer in bytes.
1223 *
1224 * Set up an I/O iterator that just discards everything that's written to it.
1225 * It's only available as a READ iterator.
1226 */
1227void iov_iter_discard(struct iov_iter *i, unsigned int direction, size_t count)
1228{
1229 BUG_ON(direction != READ);
Al Viro8cd54c12021-04-22 14:50:39 -04001230 *i = (struct iov_iter){
1231 .iter_type = ITER_DISCARD,
1232 .data_source = false,
1233 .count = count,
1234 .iov_offset = 0
1235 };
David Howells9ea9ce02018-10-20 00:57:56 +01001236}
1237EXPORT_SYMBOL(iov_iter_discard);
1238
Al Viro9221d2e2021-04-25 00:44:35 -04001239static unsigned long iov_iter_alignment_iovec(const struct iov_iter *i)
Al Viro62a80672014-04-04 23:12:29 -04001240{
Al Viro04a31162014-11-27 13:51:41 -05001241 unsigned long res = 0;
1242 size_t size = i->count;
Al Viro9221d2e2021-04-25 00:44:35 -04001243 size_t skip = i->iov_offset;
1244 unsigned k;
Al Viro04a31162014-11-27 13:51:41 -05001245
Al Viro9221d2e2021-04-25 00:44:35 -04001246 for (k = 0; k < i->nr_segs; k++, skip = 0) {
1247 size_t len = i->iov[k].iov_len - skip;
1248 if (len) {
1249 res |= (unsigned long)i->iov[k].iov_base + skip;
1250 if (len > size)
1251 len = size;
1252 res |= len;
1253 size -= len;
1254 if (!size)
1255 break;
1256 }
1257 }
1258 return res;
1259}
1260
1261static unsigned long iov_iter_alignment_bvec(const struct iov_iter *i)
1262{
1263 unsigned res = 0;
1264 size_t size = i->count;
1265 unsigned skip = i->iov_offset;
1266 unsigned k;
1267
1268 for (k = 0; k < i->nr_segs; k++, skip = 0) {
1269 size_t len = i->bvec[k].bv_len - skip;
1270 res |= (unsigned long)i->bvec[k].bv_offset + skip;
1271 if (len > size)
1272 len = size;
1273 res |= len;
1274 size -= len;
1275 if (!size)
1276 break;
1277 }
1278 return res;
1279}
1280
1281unsigned long iov_iter_alignment(const struct iov_iter *i)
1282{
1283 /* iovec and kvec have identical layouts */
1284 if (likely(iter_is_iovec(i) || iov_iter_is_kvec(i)))
1285 return iov_iter_alignment_iovec(i);
1286
1287 if (iov_iter_is_bvec(i))
1288 return iov_iter_alignment_bvec(i);
1289
1290 if (iov_iter_is_pipe(i)) {
Jan Karae0ff1262019-12-16 11:54:32 +01001291 unsigned int p_mask = i->pipe->ring_size - 1;
Al Viro9221d2e2021-04-25 00:44:35 -04001292 size_t size = i->count;
Jan Karae0ff1262019-12-16 11:54:32 +01001293
David Howells8cefc102019-11-15 13:30:32 +00001294 if (size && i->iov_offset && allocated(&i->pipe->bufs[i->head & p_mask]))
Al Viro241699c2016-09-22 16:33:12 -04001295 return size | i->iov_offset;
1296 return size;
1297 }
Al Viro9221d2e2021-04-25 00:44:35 -04001298
1299 if (iov_iter_is_xarray(i))
David Howells3d14ec12021-04-25 22:02:38 +01001300 return (i->xarray_start + i->iov_offset) | i->count;
Al Viro9221d2e2021-04-25 00:44:35 -04001301
1302 return 0;
Al Viro62a80672014-04-04 23:12:29 -04001303}
1304EXPORT_SYMBOL(iov_iter_alignment);
1305
Al Viro357f4352016-04-08 19:05:19 -04001306unsigned long iov_iter_gap_alignment(const struct iov_iter *i)
1307{
Al Viro33844e62016-12-21 21:55:02 -05001308 unsigned long res = 0;
Al Viro610c7a72021-04-25 01:03:16 -04001309 unsigned long v = 0;
Al Viro357f4352016-04-08 19:05:19 -04001310 size_t size = i->count;
Al Viro610c7a72021-04-25 01:03:16 -04001311 unsigned k;
Al Viro357f4352016-04-08 19:05:19 -04001312
Al Viro610c7a72021-04-25 01:03:16 -04001313 if (WARN_ON(!iter_is_iovec(i)))
Al Viro241699c2016-09-22 16:33:12 -04001314 return ~0U;
Al Viro241699c2016-09-22 16:33:12 -04001315
Al Viro610c7a72021-04-25 01:03:16 -04001316 for (k = 0; k < i->nr_segs; k++) {
1317 if (i->iov[k].iov_len) {
1318 unsigned long base = (unsigned long)i->iov[k].iov_base;
1319 if (v) // if not the first one
1320 res |= base | v; // this start | previous end
1321 v = base + i->iov[k].iov_len;
1322 if (size <= i->iov[k].iov_len)
1323 break;
1324 size -= i->iov[k].iov_len;
1325 }
1326 }
Al Viro33844e62016-12-21 21:55:02 -05001327 return res;
Al Viro357f4352016-04-08 19:05:19 -04001328}
1329EXPORT_SYMBOL(iov_iter_gap_alignment);
1330
Ilya Dryomove76b63122018-05-02 20:16:56 +02001331static inline ssize_t __pipe_get_pages(struct iov_iter *i,
Al Viro241699c2016-09-22 16:33:12 -04001332 size_t maxsize,
1333 struct page **pages,
David Howells8cefc102019-11-15 13:30:32 +00001334 int iter_head,
Al Viro241699c2016-09-22 16:33:12 -04001335 size_t *start)
1336{
1337 struct pipe_inode_info *pipe = i->pipe;
David Howells8cefc102019-11-15 13:30:32 +00001338 unsigned int p_mask = pipe->ring_size - 1;
1339 ssize_t n = push_pipe(i, maxsize, &iter_head, start);
Al Viro241699c2016-09-22 16:33:12 -04001340 if (!n)
1341 return -EFAULT;
1342
1343 maxsize = n;
1344 n += *start;
Al Viro1689c732016-10-11 18:21:14 +01001345 while (n > 0) {
David Howells8cefc102019-11-15 13:30:32 +00001346 get_page(*pages++ = pipe->bufs[iter_head & p_mask].page);
1347 iter_head++;
Al Viro241699c2016-09-22 16:33:12 -04001348 n -= PAGE_SIZE;
1349 }
1350
1351 return maxsize;
1352}
1353
1354static ssize_t pipe_get_pages(struct iov_iter *i,
1355 struct page **pages, size_t maxsize, unsigned maxpages,
1356 size_t *start)
1357{
David Howells8cefc102019-11-15 13:30:32 +00001358 unsigned int iter_head, npages;
Al Viro241699c2016-09-22 16:33:12 -04001359 size_t capacity;
Al Viro241699c2016-09-22 16:33:12 -04001360
1361 if (!sanity(i))
1362 return -EFAULT;
1363
David Howells8cefc102019-11-15 13:30:32 +00001364 data_start(i, &iter_head, start);
1365 /* Amount of free space: some of this one + all after this one */
1366 npages = pipe_space_for_user(iter_head, i->pipe->tail, i->pipe);
1367 capacity = min(npages, maxpages) * PAGE_SIZE - *start;
Al Viro241699c2016-09-22 16:33:12 -04001368
David Howells8cefc102019-11-15 13:30:32 +00001369 return __pipe_get_pages(i, min(maxsize, capacity), pages, iter_head, start);
Al Viro241699c2016-09-22 16:33:12 -04001370}
1371
David Howells7ff5062072020-02-10 10:00:21 +00001372static ssize_t iter_xarray_populate_pages(struct page **pages, struct xarray *xa,
1373 pgoff_t index, unsigned int nr_pages)
1374{
1375 XA_STATE(xas, xa, index);
1376 struct page *page;
1377 unsigned int ret = 0;
1378
1379 rcu_read_lock();
1380 for (page = xas_load(&xas); page; page = xas_next(&xas)) {
1381 if (xas_retry(&xas, page))
1382 continue;
1383
1384 /* Has the page moved or been split? */
1385 if (unlikely(page != xas_reload(&xas))) {
1386 xas_reset(&xas);
1387 continue;
1388 }
1389
1390 pages[ret] = find_subpage(page, xas.xa_index);
1391 get_page(pages[ret]);
1392 if (++ret == nr_pages)
1393 break;
1394 }
1395 rcu_read_unlock();
1396 return ret;
1397}
1398
1399static ssize_t iter_xarray_get_pages(struct iov_iter *i,
1400 struct page **pages, size_t maxsize,
1401 unsigned maxpages, size_t *_start_offset)
1402{
1403 unsigned nr, offset;
1404 pgoff_t index, count;
1405 size_t size = maxsize, actual;
1406 loff_t pos;
1407
1408 if (!size || !maxpages)
1409 return 0;
1410
1411 pos = i->xarray_start + i->iov_offset;
1412 index = pos >> PAGE_SHIFT;
1413 offset = pos & ~PAGE_MASK;
1414 *_start_offset = offset;
1415
1416 count = 1;
1417 if (size > PAGE_SIZE - offset) {
1418 size -= PAGE_SIZE - offset;
1419 count += size >> PAGE_SHIFT;
1420 size &= ~PAGE_MASK;
1421 if (size)
1422 count++;
1423 }
1424
1425 if (count > maxpages)
1426 count = maxpages;
1427
1428 nr = iter_xarray_populate_pages(pages, i->xarray, index, count);
1429 if (nr == 0)
1430 return 0;
1431
1432 actual = PAGE_SIZE * nr;
1433 actual -= offset;
1434 if (nr == count && size > 0) {
1435 unsigned last_offset = (nr > 1) ? 0 : offset;
1436 actual -= PAGE_SIZE - (last_offset + size);
1437 }
1438 return actual;
1439}
1440
Al Viro3d671ca2021-04-25 09:14:44 -04001441/* must be done on non-empty ITER_IOVEC one */
1442static unsigned long first_iovec_segment(const struct iov_iter *i,
1443 size_t *size, size_t *start,
1444 size_t maxsize, unsigned maxpages)
1445{
1446 size_t skip;
1447 long k;
1448
1449 for (k = 0, skip = i->iov_offset; k < i->nr_segs; k++, skip = 0) {
1450 unsigned long addr = (unsigned long)i->iov[k].iov_base + skip;
1451 size_t len = i->iov[k].iov_len - skip;
1452
1453 if (unlikely(!len))
1454 continue;
1455 if (len > maxsize)
1456 len = maxsize;
1457 len += (*start = addr % PAGE_SIZE);
1458 if (len > maxpages * PAGE_SIZE)
1459 len = maxpages * PAGE_SIZE;
1460 *size = len;
1461 return addr & PAGE_MASK;
1462 }
1463 BUG(); // if it had been empty, we wouldn't get called
1464}
1465
1466/* must be done on non-empty ITER_BVEC one */
1467static struct page *first_bvec_segment(const struct iov_iter *i,
1468 size_t *size, size_t *start,
1469 size_t maxsize, unsigned maxpages)
1470{
1471 struct page *page;
1472 size_t skip = i->iov_offset, len;
1473
1474 len = i->bvec->bv_len - skip;
1475 if (len > maxsize)
1476 len = maxsize;
1477 skip += i->bvec->bv_offset;
1478 page = i->bvec->bv_page + skip / PAGE_SIZE;
1479 len += (*start = skip % PAGE_SIZE);
1480 if (len > maxpages * PAGE_SIZE)
1481 len = maxpages * PAGE_SIZE;
1482 *size = len;
1483 return page;
1484}
1485
Al Viro62a80672014-04-04 23:12:29 -04001486ssize_t iov_iter_get_pages(struct iov_iter *i,
Miklos Szeredi2c809292014-09-24 17:09:11 +02001487 struct page **pages, size_t maxsize, unsigned maxpages,
Al Viro62a80672014-04-04 23:12:29 -04001488 size_t *start)
1489{
Al Viro3d671ca2021-04-25 09:14:44 -04001490 size_t len;
1491 int n, res;
1492
Al Viroe5393fa2014-11-27 14:12:09 -05001493 if (maxsize > i->count)
1494 maxsize = i->count;
Al Viro3d671ca2021-04-25 09:14:44 -04001495 if (!maxsize)
1496 return 0;
Al Viroe5393fa2014-11-27 14:12:09 -05001497
Al Viro3d671ca2021-04-25 09:14:44 -04001498 if (likely(iter_is_iovec(i))) {
1499 unsigned long addr;
David Howells9ea9ce02018-10-20 00:57:56 +01001500
Al Viro3d671ca2021-04-25 09:14:44 -04001501 addr = first_iovec_segment(i, &len, start, maxsize, maxpages);
Al Viroe5393fa2014-11-27 14:12:09 -05001502 n = DIV_ROUND_UP(len, PAGE_SIZE);
Ira Weiny73b01402019-05-13 17:17:11 -07001503 res = get_user_pages_fast(addr, n,
1504 iov_iter_rw(i) != WRITE ? FOLL_WRITE : 0,
1505 pages);
Al Viroe5393fa2014-11-27 14:12:09 -05001506 if (unlikely(res < 0))
1507 return res;
1508 return (res == n ? len : res * PAGE_SIZE) - *start;
Al Viro3d671ca2021-04-25 09:14:44 -04001509 }
1510 if (iov_iter_is_bvec(i)) {
1511 struct page *page;
1512
1513 page = first_bvec_segment(i, &len, start, maxsize, maxpages);
1514 n = DIV_ROUND_UP(len, PAGE_SIZE);
1515 while (n--)
1516 get_page(*pages++ = page++);
1517 return len - *start;
1518 }
1519 if (iov_iter_is_pipe(i))
1520 return pipe_get_pages(i, pages, maxsize, maxpages, start);
1521 if (iov_iter_is_xarray(i))
1522 return iter_xarray_get_pages(i, pages, maxsize, maxpages, start);
1523 return -EFAULT;
Al Viro62a80672014-04-04 23:12:29 -04001524}
1525EXPORT_SYMBOL(iov_iter_get_pages);
1526
Al Viro1b17f1f2014-11-27 14:14:31 -05001527static struct page **get_pages_array(size_t n)
1528{
Michal Hocko752ade62017-05-08 15:57:27 -07001529 return kvmalloc_array(n, sizeof(struct page *), GFP_KERNEL);
Al Viro1b17f1f2014-11-27 14:14:31 -05001530}
1531
Al Viro241699c2016-09-22 16:33:12 -04001532static ssize_t pipe_get_pages_alloc(struct iov_iter *i,
1533 struct page ***pages, size_t maxsize,
1534 size_t *start)
1535{
1536 struct page **p;
David Howells8cefc102019-11-15 13:30:32 +00001537 unsigned int iter_head, npages;
Ilya Dryomovd7760d62018-05-02 20:16:57 +02001538 ssize_t n;
Al Viro241699c2016-09-22 16:33:12 -04001539
1540 if (!sanity(i))
1541 return -EFAULT;
1542
David Howells8cefc102019-11-15 13:30:32 +00001543 data_start(i, &iter_head, start);
1544 /* Amount of free space: some of this one + all after this one */
1545 npages = pipe_space_for_user(iter_head, i->pipe->tail, i->pipe);
Al Viro241699c2016-09-22 16:33:12 -04001546 n = npages * PAGE_SIZE - *start;
1547 if (maxsize > n)
1548 maxsize = n;
1549 else
1550 npages = DIV_ROUND_UP(maxsize + *start, PAGE_SIZE);
1551 p = get_pages_array(npages);
1552 if (!p)
1553 return -ENOMEM;
David Howells8cefc102019-11-15 13:30:32 +00001554 n = __pipe_get_pages(i, maxsize, p, iter_head, start);
Al Viro241699c2016-09-22 16:33:12 -04001555 if (n > 0)
1556 *pages = p;
1557 else
1558 kvfree(p);
1559 return n;
1560}
1561
David Howells7ff5062072020-02-10 10:00:21 +00001562static ssize_t iter_xarray_get_pages_alloc(struct iov_iter *i,
1563 struct page ***pages, size_t maxsize,
1564 size_t *_start_offset)
1565{
1566 struct page **p;
1567 unsigned nr, offset;
1568 pgoff_t index, count;
1569 size_t size = maxsize, actual;
1570 loff_t pos;
1571
1572 if (!size)
1573 return 0;
1574
1575 pos = i->xarray_start + i->iov_offset;
1576 index = pos >> PAGE_SHIFT;
1577 offset = pos & ~PAGE_MASK;
1578 *_start_offset = offset;
1579
1580 count = 1;
1581 if (size > PAGE_SIZE - offset) {
1582 size -= PAGE_SIZE - offset;
1583 count += size >> PAGE_SHIFT;
1584 size &= ~PAGE_MASK;
1585 if (size)
1586 count++;
1587 }
1588
1589 p = get_pages_array(count);
1590 if (!p)
1591 return -ENOMEM;
1592 *pages = p;
1593
1594 nr = iter_xarray_populate_pages(p, i->xarray, index, count);
1595 if (nr == 0)
1596 return 0;
1597
1598 actual = PAGE_SIZE * nr;
1599 actual -= offset;
1600 if (nr == count && size > 0) {
1601 unsigned last_offset = (nr > 1) ? 0 : offset;
1602 actual -= PAGE_SIZE - (last_offset + size);
1603 }
1604 return actual;
1605}
1606
Al Viro62a80672014-04-04 23:12:29 -04001607ssize_t iov_iter_get_pages_alloc(struct iov_iter *i,
1608 struct page ***pages, size_t maxsize,
1609 size_t *start)
1610{
Al Viro1b17f1f2014-11-27 14:14:31 -05001611 struct page **p;
Al Viro3d671ca2021-04-25 09:14:44 -04001612 size_t len;
1613 int n, res;
Al Viro1b17f1f2014-11-27 14:14:31 -05001614
1615 if (maxsize > i->count)
1616 maxsize = i->count;
Al Viro3d671ca2021-04-25 09:14:44 -04001617 if (!maxsize)
1618 return 0;
Al Viro1b17f1f2014-11-27 14:14:31 -05001619
Al Viro3d671ca2021-04-25 09:14:44 -04001620 if (likely(iter_is_iovec(i))) {
1621 unsigned long addr;
David Howells9ea9ce02018-10-20 00:57:56 +01001622
Al Viro3d671ca2021-04-25 09:14:44 -04001623 addr = first_iovec_segment(i, &len, start, maxsize, ~0U);
Al Viro1b17f1f2014-11-27 14:14:31 -05001624 n = DIV_ROUND_UP(len, PAGE_SIZE);
1625 p = get_pages_array(n);
1626 if (!p)
1627 return -ENOMEM;
Ira Weiny73b01402019-05-13 17:17:11 -07001628 res = get_user_pages_fast(addr, n,
1629 iov_iter_rw(i) != WRITE ? FOLL_WRITE : 0, p);
Al Viro1b17f1f2014-11-27 14:14:31 -05001630 if (unlikely(res < 0)) {
1631 kvfree(p);
1632 return res;
1633 }
1634 *pages = p;
1635 return (res == n ? len : res * PAGE_SIZE) - *start;
Al Viro3d671ca2021-04-25 09:14:44 -04001636 }
1637 if (iov_iter_is_bvec(i)) {
1638 struct page *page;
1639
1640 page = first_bvec_segment(i, &len, start, maxsize, ~0U);
1641 n = DIV_ROUND_UP(len, PAGE_SIZE);
1642 *pages = p = get_pages_array(n);
Al Viro1b17f1f2014-11-27 14:14:31 -05001643 if (!p)
1644 return -ENOMEM;
Al Viro3d671ca2021-04-25 09:14:44 -04001645 while (n--)
1646 get_page(*p++ = page++);
1647 return len - *start;
1648 }
1649 if (iov_iter_is_pipe(i))
1650 return pipe_get_pages_alloc(i, pages, maxsize, start);
1651 if (iov_iter_is_xarray(i))
1652 return iter_xarray_get_pages_alloc(i, pages, maxsize, start);
1653 return -EFAULT;
Al Viro62a80672014-04-04 23:12:29 -04001654}
1655EXPORT_SYMBOL(iov_iter_get_pages_alloc);
1656
Al Viroa604ec72014-11-24 01:08:00 -05001657size_t csum_and_copy_from_iter(void *addr, size_t bytes, __wsum *csum,
1658 struct iov_iter *i)
1659{
Al Viroa604ec72014-11-24 01:08:00 -05001660 __wsum sum, next;
Al Viroa604ec72014-11-24 01:08:00 -05001661 sum = *csum;
David Howells9ea9ce02018-10-20 00:57:56 +01001662 if (unlikely(iov_iter_is_pipe(i) || iov_iter_is_discard(i))) {
Al Viro241699c2016-09-22 16:33:12 -04001663 WARN_ON(1);
1664 return 0;
1665 }
Al Viro7baa5092021-05-02 11:35:03 -04001666 iterate_and_advance(i, bytes, base, len, off, ({
1667 next = csum_and_copy_from_user(base, addr + off, len);
Al Viro622838f2021-05-02 11:13:09 -04001668 if (next)
Al Viroa604ec72014-11-24 01:08:00 -05001669 sum = csum_block_add(sum, next, off);
Al Viro7baa5092021-05-02 11:35:03 -04001670 next ? 0 : len;
Al Viroa604ec72014-11-24 01:08:00 -05001671 }), ({
Al Viro7baa5092021-05-02 11:35:03 -04001672 sum = csum_and_memcpy(addr + off, base, len, sum, off);
Al Viroa604ec72014-11-24 01:08:00 -05001673 })
1674 )
1675 *csum = sum;
1676 return bytes;
1677}
1678EXPORT_SYMBOL(csum_and_copy_from_iter);
1679
Willem de Bruijn52cbd232021-02-03 14:29:52 -05001680size_t csum_and_copy_to_iter(const void *addr, size_t bytes, void *_csstate,
Al Viroa604ec72014-11-24 01:08:00 -05001681 struct iov_iter *i)
1682{
Willem de Bruijn52cbd232021-02-03 14:29:52 -05001683 struct csum_state *csstate = _csstate;
Al Viroa604ec72014-11-24 01:08:00 -05001684 __wsum sum, next;
Al Viro78e1f382018-11-25 16:24:16 -05001685
1686 if (unlikely(iov_iter_is_pipe(i)))
Willem de Bruijn52cbd232021-02-03 14:29:52 -05001687 return csum_and_copy_to_pipe_iter(addr, bytes, _csstate, i);
Al Viro78e1f382018-11-25 16:24:16 -05001688
Al Viro594e4502021-06-05 10:19:30 -04001689 sum = csum_shift(csstate->csum, csstate->off);
Al Viro78e1f382018-11-25 16:24:16 -05001690 if (unlikely(iov_iter_is_discard(i))) {
Al Viro241699c2016-09-22 16:33:12 -04001691 WARN_ON(1); /* for now */
1692 return 0;
1693 }
Al Viro7baa5092021-05-02 11:35:03 -04001694 iterate_and_advance(i, bytes, base, len, off, ({
1695 next = csum_and_copy_to_user(addr + off, base, len);
Al Viro622838f2021-05-02 11:13:09 -04001696 if (next)
Al Viroa604ec72014-11-24 01:08:00 -05001697 sum = csum_block_add(sum, next, off);
Al Viro7baa5092021-05-02 11:35:03 -04001698 next ? 0 : len;
Al Viroa604ec72014-11-24 01:08:00 -05001699 }), ({
Al Viro7baa5092021-05-02 11:35:03 -04001700 sum = csum_and_memcpy(base, addr + off, len, sum, off);
Al Viroa604ec72014-11-24 01:08:00 -05001701 })
1702 )
Al Viro594e4502021-06-05 10:19:30 -04001703 csstate->csum = csum_shift(sum, csstate->off);
1704 csstate->off += bytes;
Al Viroa604ec72014-11-24 01:08:00 -05001705 return bytes;
1706}
1707EXPORT_SYMBOL(csum_and_copy_to_iter);
1708
Sagi Grimbergd05f4432018-12-03 17:52:09 -08001709size_t hash_and_copy_to_iter(const void *addr, size_t bytes, void *hashp,
1710 struct iov_iter *i)
1711{
Herbert Xu79990962020-06-12 16:57:37 +10001712#ifdef CONFIG_CRYPTO_HASH
Sagi Grimbergd05f4432018-12-03 17:52:09 -08001713 struct ahash_request *hash = hashp;
1714 struct scatterlist sg;
1715 size_t copied;
1716
1717 copied = copy_to_iter(addr, bytes, i);
1718 sg_init_one(&sg, addr, copied);
1719 ahash_request_set_crypt(hash, &sg, NULL, copied);
1720 crypto_ahash_update(hash);
1721 return copied;
YueHaibing27fad742019-04-04 10:31:14 +08001722#else
1723 return 0;
1724#endif
Sagi Grimbergd05f4432018-12-03 17:52:09 -08001725}
1726EXPORT_SYMBOL(hash_and_copy_to_iter);
1727
Al Viro66531c62021-04-25 16:00:48 -04001728static int iov_npages(const struct iov_iter *i, int maxpages)
Al Viro62a80672014-04-04 23:12:29 -04001729{
Al Viro66531c62021-04-25 16:00:48 -04001730 size_t skip = i->iov_offset, size = i->count;
1731 const struct iovec *p;
Al Viroe0f2dc42014-11-27 14:09:46 -05001732 int npages = 0;
1733
Al Viro66531c62021-04-25 16:00:48 -04001734 for (p = i->iov; size; skip = 0, p++) {
1735 unsigned offs = offset_in_page(p->iov_base + skip);
1736 size_t len = min(p->iov_len - skip, size);
Al Viroe0f2dc42014-11-27 14:09:46 -05001737
Al Viro66531c62021-04-25 16:00:48 -04001738 if (len) {
1739 size -= len;
1740 npages += DIV_ROUND_UP(offs + len, PAGE_SIZE);
1741 if (unlikely(npages > maxpages))
1742 return maxpages;
1743 }
1744 }
1745 return npages;
1746}
1747
1748static int bvec_npages(const struct iov_iter *i, int maxpages)
1749{
1750 size_t skip = i->iov_offset, size = i->count;
1751 const struct bio_vec *p;
1752 int npages = 0;
1753
1754 for (p = i->bvec; size; skip = 0, p++) {
1755 unsigned offs = (p->bv_offset + skip) % PAGE_SIZE;
1756 size_t len = min(p->bv_len - skip, size);
1757
1758 size -= len;
1759 npages += DIV_ROUND_UP(offs + len, PAGE_SIZE);
1760 if (unlikely(npages > maxpages))
1761 return maxpages;
1762 }
1763 return npages;
1764}
1765
1766int iov_iter_npages(const struct iov_iter *i, int maxpages)
1767{
1768 if (unlikely(!i->count))
1769 return 0;
1770 /* iovec and kvec have identical layouts */
1771 if (likely(iter_is_iovec(i) || iov_iter_is_kvec(i)))
1772 return iov_npages(i, maxpages);
1773 if (iov_iter_is_bvec(i))
1774 return bvec_npages(i, maxpages);
1775 if (iov_iter_is_pipe(i)) {
David Howells8cefc102019-11-15 13:30:32 +00001776 unsigned int iter_head;
Al Viro66531c62021-04-25 16:00:48 -04001777 int npages;
Al Viro241699c2016-09-22 16:33:12 -04001778 size_t off;
Al Viro241699c2016-09-22 16:33:12 -04001779
1780 if (!sanity(i))
1781 return 0;
1782
David Howells8cefc102019-11-15 13:30:32 +00001783 data_start(i, &iter_head, &off);
Al Viro241699c2016-09-22 16:33:12 -04001784 /* some of this one + all after this one */
Al Viro66531c62021-04-25 16:00:48 -04001785 npages = pipe_space_for_user(iter_head, i->pipe->tail, i->pipe);
1786 return min(npages, maxpages);
1787 }
1788 if (iov_iter_is_xarray(i)) {
Al Viroe4f8df82021-05-03 11:05:29 -04001789 unsigned offset = (i->xarray_start + i->iov_offset) % PAGE_SIZE;
1790 int npages = DIV_ROUND_UP(offset + i->count, PAGE_SIZE);
Al Viro66531c62021-04-25 16:00:48 -04001791 return min(npages, maxpages);
1792 }
1793 return 0;
Al Viro62a80672014-04-04 23:12:29 -04001794}
Al Virof67da302014-03-19 01:16:16 -04001795EXPORT_SYMBOL(iov_iter_npages);
Al Viro4b8164b2015-01-31 20:08:47 -05001796
1797const void *dup_iter(struct iov_iter *new, struct iov_iter *old, gfp_t flags)
1798{
1799 *new = *old;
David Howells00e23702018-10-22 13:07:28 +01001800 if (unlikely(iov_iter_is_pipe(new))) {
Al Viro241699c2016-09-22 16:33:12 -04001801 WARN_ON(1);
1802 return NULL;
1803 }
David Howells7ff5062072020-02-10 10:00:21 +00001804 if (unlikely(iov_iter_is_discard(new) || iov_iter_is_xarray(new)))
David Howells9ea9ce02018-10-20 00:57:56 +01001805 return NULL;
David Howells00e23702018-10-22 13:07:28 +01001806 if (iov_iter_is_bvec(new))
Al Viro4b8164b2015-01-31 20:08:47 -05001807 return new->bvec = kmemdup(new->bvec,
1808 new->nr_segs * sizeof(struct bio_vec),
1809 flags);
1810 else
1811 /* iovec and kvec have identical layout */
1812 return new->iov = kmemdup(new->iov,
1813 new->nr_segs * sizeof(struct iovec),
1814 flags);
1815}
1816EXPORT_SYMBOL(dup_iter);
Al Virobc917be2015-03-21 17:45:43 -04001817
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001818static int copy_compat_iovec_from_user(struct iovec *iov,
1819 const struct iovec __user *uvec, unsigned long nr_segs)
1820{
1821 const struct compat_iovec __user *uiov =
1822 (const struct compat_iovec __user *)uvec;
1823 int ret = -EFAULT, i;
1824
Christoph Hellwiga959a972021-01-11 18:19:26 +01001825 if (!user_access_begin(uiov, nr_segs * sizeof(*uiov)))
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001826 return -EFAULT;
1827
1828 for (i = 0; i < nr_segs; i++) {
1829 compat_uptr_t buf;
1830 compat_ssize_t len;
1831
1832 unsafe_get_user(len, &uiov[i].iov_len, uaccess_end);
1833 unsafe_get_user(buf, &uiov[i].iov_base, uaccess_end);
1834
1835 /* check for compat_size_t not fitting in compat_ssize_t .. */
1836 if (len < 0) {
1837 ret = -EINVAL;
1838 goto uaccess_end;
1839 }
1840 iov[i].iov_base = compat_ptr(buf);
1841 iov[i].iov_len = len;
1842 }
1843
1844 ret = 0;
1845uaccess_end:
1846 user_access_end();
1847 return ret;
1848}
1849
1850static int copy_iovec_from_user(struct iovec *iov,
1851 const struct iovec __user *uvec, unsigned long nr_segs)
David Laightfb041b52020-09-25 06:51:39 +02001852{
1853 unsigned long seg;
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001854
1855 if (copy_from_user(iov, uvec, nr_segs * sizeof(*uvec)))
1856 return -EFAULT;
1857 for (seg = 0; seg < nr_segs; seg++) {
1858 if ((ssize_t)iov[seg].iov_len < 0)
1859 return -EINVAL;
1860 }
1861
1862 return 0;
1863}
1864
1865struct iovec *iovec_from_user(const struct iovec __user *uvec,
1866 unsigned long nr_segs, unsigned long fast_segs,
1867 struct iovec *fast_iov, bool compat)
1868{
1869 struct iovec *iov = fast_iov;
1870 int ret;
David Laightfb041b52020-09-25 06:51:39 +02001871
1872 /*
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001873 * SuS says "The readv() function *may* fail if the iovcnt argument was
1874 * less than or equal to 0, or greater than {IOV_MAX}. Linux has
David Laightfb041b52020-09-25 06:51:39 +02001875 * traditionally returned zero for zero segments, so...
1876 */
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001877 if (nr_segs == 0)
1878 return iov;
1879 if (nr_segs > UIO_MAXIOV)
1880 return ERR_PTR(-EINVAL);
David Laightfb041b52020-09-25 06:51:39 +02001881 if (nr_segs > fast_segs) {
1882 iov = kmalloc_array(nr_segs, sizeof(struct iovec), GFP_KERNEL);
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001883 if (!iov)
1884 return ERR_PTR(-ENOMEM);
David Laightfb041b52020-09-25 06:51:39 +02001885 }
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001886
1887 if (compat)
1888 ret = copy_compat_iovec_from_user(iov, uvec, nr_segs);
1889 else
1890 ret = copy_iovec_from_user(iov, uvec, nr_segs);
1891 if (ret) {
1892 if (iov != fast_iov)
1893 kfree(iov);
1894 return ERR_PTR(ret);
1895 }
1896
1897 return iov;
1898}
1899
1900ssize_t __import_iovec(int type, const struct iovec __user *uvec,
1901 unsigned nr_segs, unsigned fast_segs, struct iovec **iovp,
1902 struct iov_iter *i, bool compat)
1903{
1904 ssize_t total_len = 0;
1905 unsigned long seg;
1906 struct iovec *iov;
1907
1908 iov = iovec_from_user(uvec, nr_segs, fast_segs, *iovp, compat);
1909 if (IS_ERR(iov)) {
1910 *iovp = NULL;
1911 return PTR_ERR(iov);
David Laightfb041b52020-09-25 06:51:39 +02001912 }
1913
1914 /*
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001915 * According to the Single Unix Specification we should return EINVAL if
1916 * an element length is < 0 when cast to ssize_t or if the total length
1917 * would overflow the ssize_t return value of the system call.
David Laightfb041b52020-09-25 06:51:39 +02001918 *
1919 * Linux caps all read/write calls to MAX_RW_COUNT, and avoids the
1920 * overflow case.
1921 */
David Laightfb041b52020-09-25 06:51:39 +02001922 for (seg = 0; seg < nr_segs; seg++) {
David Laightfb041b52020-09-25 06:51:39 +02001923 ssize_t len = (ssize_t)iov[seg].iov_len;
1924
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001925 if (!access_ok(iov[seg].iov_base, len)) {
1926 if (iov != *iovp)
1927 kfree(iov);
1928 *iovp = NULL;
1929 return -EFAULT;
David Laightfb041b52020-09-25 06:51:39 +02001930 }
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001931
1932 if (len > MAX_RW_COUNT - total_len) {
1933 len = MAX_RW_COUNT - total_len;
David Laightfb041b52020-09-25 06:51:39 +02001934 iov[seg].iov_len = len;
1935 }
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001936 total_len += len;
David Laightfb041b52020-09-25 06:51:39 +02001937 }
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001938
1939 iov_iter_init(i, type, iov, nr_segs, total_len);
1940 if (iov == *iovp)
1941 *iovp = NULL;
1942 else
1943 *iovp = iov;
1944 return total_len;
David Laightfb041b52020-09-25 06:51:39 +02001945}
1946
Vegard Nossumffecee42016-10-08 11:18:07 +02001947/**
1948 * import_iovec() - Copy an array of &struct iovec from userspace
1949 * into the kernel, check that it is valid, and initialize a new
1950 * &struct iov_iter iterator to access it.
1951 *
1952 * @type: One of %READ or %WRITE.
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001953 * @uvec: Pointer to the userspace array.
Vegard Nossumffecee42016-10-08 11:18:07 +02001954 * @nr_segs: Number of elements in userspace array.
1955 * @fast_segs: Number of elements in @iov.
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001956 * @iovp: (input and output parameter) Pointer to pointer to (usually small
Vegard Nossumffecee42016-10-08 11:18:07 +02001957 * on-stack) kernel array.
1958 * @i: Pointer to iterator that will be initialized on success.
1959 *
1960 * If the array pointed to by *@iov is large enough to hold all @nr_segs,
1961 * then this function places %NULL in *@iov on return. Otherwise, a new
1962 * array will be allocated and the result placed in *@iov. This means that
1963 * the caller may call kfree() on *@iov regardless of whether the small
1964 * on-stack array was used or not (and regardless of whether this function
1965 * returns an error or not).
1966 *
Jens Axboe87e5e6d2019-05-14 16:02:22 -06001967 * Return: Negative error code on error, bytes imported on success
Vegard Nossumffecee42016-10-08 11:18:07 +02001968 */
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001969ssize_t import_iovec(int type, const struct iovec __user *uvec,
Al Virobc917be2015-03-21 17:45:43 -04001970 unsigned nr_segs, unsigned fast_segs,
Christoph Hellwigbfdc5972020-09-25 06:51:40 +02001971 struct iovec **iovp, struct iov_iter *i)
Al Virobc917be2015-03-21 17:45:43 -04001972{
Christoph Hellwig89cd35c2020-09-25 06:51:41 +02001973 return __import_iovec(type, uvec, nr_segs, fast_segs, iovp, i,
1974 in_compat_syscall());
Al Virobc917be2015-03-21 17:45:43 -04001975}
1976EXPORT_SYMBOL(import_iovec);
1977
Al Virobc917be2015-03-21 17:45:43 -04001978int import_single_range(int rw, void __user *buf, size_t len,
1979 struct iovec *iov, struct iov_iter *i)
1980{
1981 if (len > MAX_RW_COUNT)
1982 len = MAX_RW_COUNT;
Linus Torvalds96d4f262019-01-03 18:57:57 -08001983 if (unlikely(!access_ok(buf, len)))
Al Virobc917be2015-03-21 17:45:43 -04001984 return -EFAULT;
1985
1986 iov->iov_base = buf;
1987 iov->iov_len = len;
1988 iov_iter_init(i, rw, iov, 1, len);
1989 return 0;
1990}
Al Viroe1267582015-12-06 20:38:56 -05001991EXPORT_SYMBOL(import_single_range);