1b2441318SGreg Kroah-Hartman // SPDX-License-Identifier: GPL-2.0
25671dca2SAndy Shevchenko #include <linux/compiler.h>
35671dca2SAndy Shevchenko #include <linux/errno.h>
45671dca2SAndy Shevchenko #include <linux/export.h>
54d0e9df5SAlbert van der Linde #include <linux/fault-inject-usercopy.h>
676d6f06cSMarco Elver #include <linux/instrumented.h>
75671dca2SAndy Shevchenko #include <linux/kernel.h>
85671dca2SAndy Shevchenko #include <linux/nospec.h>
95671dca2SAndy Shevchenko #include <linux/string.h>
1076d6f06cSMarco Elver #include <linux/uaccess.h>
119f2c2d6bSAndy Shevchenko #include <linux/wordpart.h>
12d597580dSAl Viro
13d597580dSAl Viro /* out-of-line parts */
14d597580dSAl Viro
15*1f9a8286SArnd Bergmann #if !defined(INLINE_COPY_FROM_USER) || defined(CONFIG_RUST)
_copy_from_user(void * to,const void __user * from,unsigned long n)16d597580dSAl Viro unsigned long _copy_from_user(void *to, const void __user *from, unsigned long n)
17d597580dSAl Viro {
18*1f9a8286SArnd Bergmann return _inline_copy_from_user(to, from, n);
19d597580dSAl Viro }
20d597580dSAl Viro EXPORT_SYMBOL(_copy_from_user);
21d597580dSAl Viro #endif
22d597580dSAl Viro
23*1f9a8286SArnd Bergmann #if !defined(INLINE_COPY_TO_USER) || defined(CONFIG_RUST)
_copy_to_user(void __user * to,const void * from,unsigned long n)24a0e94598SChristophe Leroy unsigned long _copy_to_user(void __user *to, const void *from, unsigned long n)
25d597580dSAl Viro {
26*1f9a8286SArnd Bergmann return _inline_copy_to_user(to, from, n);
27d597580dSAl Viro }
28d597580dSAl Viro EXPORT_SYMBOL(_copy_to_user);
29d597580dSAl Viro #endif
30f5a1a536SAleksa Sarai
31f5a1a536SAleksa Sarai /**
32f5a1a536SAleksa Sarai * check_zeroed_user: check if a userspace buffer only contains zero bytes
33f5a1a536SAleksa Sarai * @from: Source address, in userspace.
34f5a1a536SAleksa Sarai * @size: Size of buffer.
35f5a1a536SAleksa Sarai *
36f5a1a536SAleksa Sarai * This is effectively shorthand for "memchr_inv(from, 0, size) == NULL" for
37f5a1a536SAleksa Sarai * userspace addresses (and is more efficient because we don't care where the
38f5a1a536SAleksa Sarai * first non-zero byte is).
39f5a1a536SAleksa Sarai *
40f5a1a536SAleksa Sarai * Returns:
41f5a1a536SAleksa Sarai * * 0: There were non-zero bytes present in the buffer.
42f5a1a536SAleksa Sarai * * 1: The buffer was full of zero bytes.
43f5a1a536SAleksa Sarai * * -EFAULT: access to userspace failed.
44f5a1a536SAleksa Sarai */
check_zeroed_user(const void __user * from,size_t size)45f5a1a536SAleksa Sarai int check_zeroed_user(const void __user *from, size_t size)
46f5a1a536SAleksa Sarai {
47f5a1a536SAleksa Sarai unsigned long val;
48f5a1a536SAleksa Sarai uintptr_t align = (uintptr_t) from % sizeof(unsigned long);
49f5a1a536SAleksa Sarai
50f5a1a536SAleksa Sarai if (unlikely(size == 0))
51f5a1a536SAleksa Sarai return 1;
52f5a1a536SAleksa Sarai
53f5a1a536SAleksa Sarai from -= align;
54f5a1a536SAleksa Sarai size += align;
55f5a1a536SAleksa Sarai
5641cd7805SChristophe Leroy if (!user_read_access_begin(from, size))
57f5a1a536SAleksa Sarai return -EFAULT;
58f5a1a536SAleksa Sarai
59f5a1a536SAleksa Sarai unsafe_get_user(val, (unsigned long __user *) from, err_fault);
60f5a1a536SAleksa Sarai if (align)
61f5a1a536SAleksa Sarai val &= ~aligned_byte_mask(align);
62f5a1a536SAleksa Sarai
63f5a1a536SAleksa Sarai while (size > sizeof(unsigned long)) {
64f5a1a536SAleksa Sarai if (unlikely(val))
65f5a1a536SAleksa Sarai goto done;
66f5a1a536SAleksa Sarai
67f5a1a536SAleksa Sarai from += sizeof(unsigned long);
68f5a1a536SAleksa Sarai size -= sizeof(unsigned long);
69f5a1a536SAleksa Sarai
70f5a1a536SAleksa Sarai unsafe_get_user(val, (unsigned long __user *) from, err_fault);
71f5a1a536SAleksa Sarai }
72f5a1a536SAleksa Sarai
73f5a1a536SAleksa Sarai if (size < sizeof(unsigned long))
74f5a1a536SAleksa Sarai val &= aligned_byte_mask(size);
75f5a1a536SAleksa Sarai
76f5a1a536SAleksa Sarai done:
7741cd7805SChristophe Leroy user_read_access_end();
78f5a1a536SAleksa Sarai return (val == 0);
79f5a1a536SAleksa Sarai err_fault:
8041cd7805SChristophe Leroy user_read_access_end();
81f5a1a536SAleksa Sarai return -EFAULT;
82f5a1a536SAleksa Sarai }
83f5a1a536SAleksa Sarai EXPORT_SYMBOL(check_zeroed_user);
84