blob: b26509f112f95e49fe3a2c2cb875467843b1e518 [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Aleksa Saraif5a1a532019-10-01 11:10:52 +10002#include <linux/bitops.h>
Marco Elver76d6f062020-01-21 17:05:12 +01003#include <linux/instrumented.h>
4#include <linux/uaccess.h>
Al Virod5975802017-03-20 21:56:06 -04005
6/* out-of-line parts */
7
8#ifndef INLINE_COPY_FROM_USER
9unsigned long _copy_from_user(void *to, const void __user *from, unsigned long n)
10{
11 unsigned long res = n;
Al Viro9c5f6902017-06-29 21:39:54 -040012 might_fault();
Linus Torvalds96d4f262019-01-03 18:57:57 -080013 if (likely(access_ok(from, n))) {
Marco Elver76d6f062020-01-21 17:05:12 +010014 instrument_copy_from_user(to, from, n);
Al Virod5975802017-03-20 21:56:06 -040015 res = raw_copy_from_user(to, from, n);
Al Viro9c5f6902017-06-29 21:39:54 -040016 }
Al Virod5975802017-03-20 21:56:06 -040017 if (unlikely(res))
18 memset(to + (n - res), 0, res);
19 return res;
20}
21EXPORT_SYMBOL(_copy_from_user);
22#endif
23
24#ifndef INLINE_COPY_TO_USER
Christophe Leroya0e94592017-12-09 17:24:24 +010025unsigned long _copy_to_user(void __user *to, const void *from, unsigned long n)
Al Virod5975802017-03-20 21:56:06 -040026{
Al Viro9c5f6902017-06-29 21:39:54 -040027 might_fault();
Linus Torvalds96d4f262019-01-03 18:57:57 -080028 if (likely(access_ok(to, n))) {
Marco Elver76d6f062020-01-21 17:05:12 +010029 instrument_copy_to_user(to, from, n);
Al Virod5975802017-03-20 21:56:06 -040030 n = raw_copy_to_user(to, from, n);
Al Viro9c5f6902017-06-29 21:39:54 -040031 }
Al Virod5975802017-03-20 21:56:06 -040032 return n;
33}
34EXPORT_SYMBOL(_copy_to_user);
35#endif
Aleksa Saraif5a1a532019-10-01 11:10:52 +100036
37/**
38 * check_zeroed_user: check if a userspace buffer only contains zero bytes
39 * @from: Source address, in userspace.
40 * @size: Size of buffer.
41 *
42 * This is effectively shorthand for "memchr_inv(from, 0, size) == NULL" for
43 * userspace addresses (and is more efficient because we don't care where the
44 * first non-zero byte is).
45 *
46 * Returns:
47 * * 0: There were non-zero bytes present in the buffer.
48 * * 1: The buffer was full of zero bytes.
49 * * -EFAULT: access to userspace failed.
50 */
51int check_zeroed_user(const void __user *from, size_t size)
52{
53 unsigned long val;
54 uintptr_t align = (uintptr_t) from % sizeof(unsigned long);
55
56 if (unlikely(size == 0))
57 return 1;
58
59 from -= align;
60 size += align;
61
Christophe Leroy41cd7802020-04-03 07:20:51 +000062 if (!user_read_access_begin(from, size))
Aleksa Saraif5a1a532019-10-01 11:10:52 +100063 return -EFAULT;
64
65 unsafe_get_user(val, (unsigned long __user *) from, err_fault);
66 if (align)
67 val &= ~aligned_byte_mask(align);
68
69 while (size > sizeof(unsigned long)) {
70 if (unlikely(val))
71 goto done;
72
73 from += sizeof(unsigned long);
74 size -= sizeof(unsigned long);
75
76 unsafe_get_user(val, (unsigned long __user *) from, err_fault);
77 }
78
79 if (size < sizeof(unsigned long))
80 val &= aligned_byte_mask(size);
81
82done:
Christophe Leroy41cd7802020-04-03 07:20:51 +000083 user_read_access_end();
Aleksa Saraif5a1a532019-10-01 11:10:52 +100084 return (val == 0);
85err_fault:
Christophe Leroy41cd7802020-04-03 07:20:51 +000086 user_read_access_end();
Aleksa Saraif5a1a532019-10-01 11:10:52 +100087 return -EFAULT;
88}
89EXPORT_SYMBOL(check_zeroed_user);