blob: bcaf6fba1b65bd559359c35e43a43339051c5cfe [file] [log] [blame]
Catalin Marinas0aea86a2012-03-05 11:49:32 +00001/*
2 * Based on arch/arm/include/asm/uaccess.h
3 *
4 * Copyright (C) 2012 ARM Ltd.
5 *
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License version 2 as
8 * published by the Free Software Foundation.
9 *
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
14 *
15 * You should have received a copy of the GNU General Public License
16 * along with this program. If not, see <http://www.gnu.org/licenses/>.
17 */
18#ifndef __ASM_UACCESS_H
19#define __ASM_UACCESS_H
20
21/*
22 * User space memory access functions
23 */
Yang Shibffe1baff2016-06-08 14:40:56 -070024#include <linux/kasan-checks.h>
Catalin Marinas0aea86a2012-03-05 11:49:32 +000025#include <linux/string.h>
26#include <linux/thread_info.h>
27
James Morse338d4f42015-07-22 19:05:54 +010028#include <asm/alternative.h>
29#include <asm/cpufeature.h>
Catalin Marinas0aea86a2012-03-05 11:49:32 +000030#include <asm/ptrace.h>
James Morse338d4f42015-07-22 19:05:54 +010031#include <asm/sysreg.h>
Catalin Marinas0aea86a2012-03-05 11:49:32 +000032#include <asm/errno.h>
33#include <asm/memory.h>
34#include <asm/compiler.h>
35
36#define VERIFY_READ 0
37#define VERIFY_WRITE 1
38
39/*
Ard Biesheuvel6c94f272016-01-01 15:02:12 +010040 * The exception table consists of pairs of relative offsets: the first
41 * is the relative offset to an instruction that is allowed to fault,
42 * and the second is the relative offset at which the program should
43 * continue. No registers are modified, so it is entirely up to the
44 * continuation code to figure out what to do.
Catalin Marinas0aea86a2012-03-05 11:49:32 +000045 *
46 * All the routines below use bits of fixup code that are out of line
47 * with the main instruction path. This means when everything is well,
48 * we don't even have to jump over them. Further, they do not intrude
49 * on our cache or tlb entries.
50 */
51
52struct exception_table_entry
53{
Ard Biesheuvel6c94f272016-01-01 15:02:12 +010054 int insn, fixup;
Catalin Marinas0aea86a2012-03-05 11:49:32 +000055};
56
Ard Biesheuvel6c94f272016-01-01 15:02:12 +010057#define ARCH_HAS_RELATIVE_EXTABLE
58
Catalin Marinas0aea86a2012-03-05 11:49:32 +000059extern int fixup_exception(struct pt_regs *regs);
60
61#define KERNEL_DS (-1UL)
62#define get_ds() (KERNEL_DS)
63
64#define USER_DS TASK_SIZE_64
65#define get_fs() (current_thread_info()->addr_limit)
66
67static inline void set_fs(mm_segment_t fs)
68{
69 current_thread_info()->addr_limit = fs;
James Morse57f49592016-02-05 14:58:48 +000070
71 /*
72 * Enable/disable UAO so that copy_to_user() etc can access
73 * kernel memory with the unprivileged instructions.
74 */
75 if (IS_ENABLED(CONFIG_ARM64_UAO) && fs == KERNEL_DS)
76 asm(ALTERNATIVE("nop", SET_PSTATE_UAO(1), ARM64_HAS_UAO));
77 else
78 asm(ALTERNATIVE("nop", SET_PSTATE_UAO(0), ARM64_HAS_UAO,
79 CONFIG_ARM64_UAO));
Catalin Marinas0aea86a2012-03-05 11:49:32 +000080}
81
Michael S. Tsirkin967f0e52015-01-06 15:11:13 +020082#define segment_eq(a, b) ((a) == (b))
Catalin Marinas0aea86a2012-03-05 11:49:32 +000083
84/*
Catalin Marinas0aea86a2012-03-05 11:49:32 +000085 * Test whether a block of memory is a valid user space address.
86 * Returns 1 if the range is valid, 0 otherwise.
87 *
88 * This is equivalent to the following test:
Christopher Covington31b1e942014-03-19 16:29:37 +000089 * (u65)addr + (u65)size <= current->addr_limit
Catalin Marinas0aea86a2012-03-05 11:49:32 +000090 *
91 * This needs 65-bit arithmetic.
92 */
93#define __range_ok(addr, size) \
94({ \
95 unsigned long flag, roksum; \
96 __chk_user_ptr(addr); \
Christopher Covington31b1e942014-03-19 16:29:37 +000097 asm("adds %1, %1, %3; ccmp %1, %4, #2, cc; cset %0, ls" \
Catalin Marinas0aea86a2012-03-05 11:49:32 +000098 : "=&r" (flag), "=&r" (roksum) \
99 : "1" (addr), "Ir" (size), \
100 "r" (current_thread_info()->addr_limit) \
101 : "cc"); \
102 flag; \
103})
104
105#define access_ok(type, addr, size) __range_ok(addr, size)
Will Deacon12a0ef72013-11-06 17:20:22 +0000106#define user_addr_max get_fs
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000107
Ard Biesheuvel6c94f272016-01-01 15:02:12 +0100108#define _ASM_EXTABLE(from, to) \
109 " .pushsection __ex_table, \"a\"\n" \
110 " .align 3\n" \
111 " .long (" #from " - .), (" #to " - .)\n" \
112 " .popsection\n"
113
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000114/*
115 * The "__xxx" versions of the user access functions do not verify the address
116 * space - it must have been done previously with a separate "access_ok()"
117 * call.
118 *
119 * The "__xxx_error" versions set the third argument to -EFAULT if an error
120 * occurs, and leave it unchanged on success.
121 */
James Morse57f49592016-02-05 14:58:48 +0000122#define __get_user_asm(instr, alt_instr, reg, x, addr, err, feature) \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000123 asm volatile( \
James Morse57f49592016-02-05 14:58:48 +0000124 "1:"ALTERNATIVE(instr " " reg "1, [%2]\n", \
125 alt_instr " " reg "1, [%2]\n", feature) \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000126 "2:\n" \
127 " .section .fixup, \"ax\"\n" \
128 " .align 2\n" \
129 "3: mov %w0, %3\n" \
130 " mov %1, #0\n" \
131 " b 2b\n" \
132 " .previous\n" \
Ard Biesheuvel6c94f272016-01-01 15:02:12 +0100133 _ASM_EXTABLE(1b, 3b) \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000134 : "+r" (err), "=&r" (x) \
135 : "r" (addr), "i" (-EFAULT))
136
137#define __get_user_err(x, ptr, err) \
138do { \
139 unsigned long __gu_val; \
140 __chk_user_ptr(ptr); \
James Morse70544192016-02-05 14:58:50 +0000141 asm(ALTERNATIVE("nop", SET_PSTATE_PAN(0), ARM64_ALT_PAN_NOT_UAO,\
James Morse338d4f42015-07-22 19:05:54 +0100142 CONFIG_ARM64_PAN)); \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000143 switch (sizeof(*(ptr))) { \
144 case 1: \
James Morse57f49592016-02-05 14:58:48 +0000145 __get_user_asm("ldrb", "ldtrb", "%w", __gu_val, (ptr), \
146 (err), ARM64_HAS_UAO); \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000147 break; \
148 case 2: \
James Morse57f49592016-02-05 14:58:48 +0000149 __get_user_asm("ldrh", "ldtrh", "%w", __gu_val, (ptr), \
150 (err), ARM64_HAS_UAO); \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000151 break; \
152 case 4: \
James Morse57f49592016-02-05 14:58:48 +0000153 __get_user_asm("ldr", "ldtr", "%w", __gu_val, (ptr), \
154 (err), ARM64_HAS_UAO); \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000155 break; \
156 case 8: \
James Morse57f49592016-02-05 14:58:48 +0000157 __get_user_asm("ldr", "ldtr", "%", __gu_val, (ptr), \
158 (err), ARM64_HAS_UAO); \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000159 break; \
160 default: \
161 BUILD_BUG(); \
162 } \
Michael S. Tsirkin58fff512014-12-12 01:56:04 +0200163 (x) = (__force __typeof__(*(ptr)))__gu_val; \
James Morse70544192016-02-05 14:58:50 +0000164 asm(ALTERNATIVE("nop", SET_PSTATE_PAN(1), ARM64_ALT_PAN_NOT_UAO,\
James Morse338d4f42015-07-22 19:05:54 +0100165 CONFIG_ARM64_PAN)); \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000166} while (0)
167
168#define __get_user(x, ptr) \
169({ \
170 int __gu_err = 0; \
171 __get_user_err((x), (ptr), __gu_err); \
172 __gu_err; \
173})
174
175#define __get_user_error(x, ptr, err) \
176({ \
177 __get_user_err((x), (ptr), (err)); \
178 (void)0; \
179})
180
181#define __get_user_unaligned __get_user
182
183#define get_user(x, ptr) \
184({ \
AKASHI Takahiro1f65c132013-09-24 10:00:50 +0100185 __typeof__(*(ptr)) __user *__p = (ptr); \
Michael S. Tsirkin56d2ef72013-05-26 17:30:42 +0300186 might_fault(); \
AKASHI Takahiro1f65c132013-09-24 10:00:50 +0100187 access_ok(VERIFY_READ, __p, sizeof(*__p)) ? \
188 __get_user((x), __p) : \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000189 ((x) = 0, -EFAULT); \
190})
191
James Morse57f49592016-02-05 14:58:48 +0000192#define __put_user_asm(instr, alt_instr, reg, x, addr, err, feature) \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000193 asm volatile( \
James Morse57f49592016-02-05 14:58:48 +0000194 "1:"ALTERNATIVE(instr " " reg "1, [%2]\n", \
195 alt_instr " " reg "1, [%2]\n", feature) \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000196 "2:\n" \
197 " .section .fixup,\"ax\"\n" \
198 " .align 2\n" \
199 "3: mov %w0, %3\n" \
200 " b 2b\n" \
201 " .previous\n" \
Ard Biesheuvel6c94f272016-01-01 15:02:12 +0100202 _ASM_EXTABLE(1b, 3b) \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000203 : "+r" (err) \
204 : "r" (x), "r" (addr), "i" (-EFAULT))
205
206#define __put_user_err(x, ptr, err) \
207do { \
208 __typeof__(*(ptr)) __pu_val = (x); \
209 __chk_user_ptr(ptr); \
James Morse70544192016-02-05 14:58:50 +0000210 asm(ALTERNATIVE("nop", SET_PSTATE_PAN(0), ARM64_ALT_PAN_NOT_UAO,\
James Morse338d4f42015-07-22 19:05:54 +0100211 CONFIG_ARM64_PAN)); \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000212 switch (sizeof(*(ptr))) { \
213 case 1: \
James Morse57f49592016-02-05 14:58:48 +0000214 __put_user_asm("strb", "sttrb", "%w", __pu_val, (ptr), \
215 (err), ARM64_HAS_UAO); \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000216 break; \
217 case 2: \
James Morse57f49592016-02-05 14:58:48 +0000218 __put_user_asm("strh", "sttrh", "%w", __pu_val, (ptr), \
219 (err), ARM64_HAS_UAO); \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000220 break; \
221 case 4: \
James Morse57f49592016-02-05 14:58:48 +0000222 __put_user_asm("str", "sttr", "%w", __pu_val, (ptr), \
223 (err), ARM64_HAS_UAO); \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000224 break; \
225 case 8: \
James Morse57f49592016-02-05 14:58:48 +0000226 __put_user_asm("str", "sttr", "%", __pu_val, (ptr), \
227 (err), ARM64_HAS_UAO); \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000228 break; \
229 default: \
230 BUILD_BUG(); \
231 } \
James Morse70544192016-02-05 14:58:50 +0000232 asm(ALTERNATIVE("nop", SET_PSTATE_PAN(1), ARM64_ALT_PAN_NOT_UAO,\
James Morse338d4f42015-07-22 19:05:54 +0100233 CONFIG_ARM64_PAN)); \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000234} while (0)
235
236#define __put_user(x, ptr) \
237({ \
238 int __pu_err = 0; \
239 __put_user_err((x), (ptr), __pu_err); \
240 __pu_err; \
241})
242
243#define __put_user_error(x, ptr, err) \
244({ \
245 __put_user_err((x), (ptr), (err)); \
246 (void)0; \
247})
248
249#define __put_user_unaligned __put_user
250
251#define put_user(x, ptr) \
252({ \
AKASHI Takahiro1f65c132013-09-24 10:00:50 +0100253 __typeof__(*(ptr)) __user *__p = (ptr); \
Michael S. Tsirkin56d2ef72013-05-26 17:30:42 +0300254 might_fault(); \
AKASHI Takahiro1f65c132013-09-24 10:00:50 +0100255 access_ok(VERIFY_WRITE, __p, sizeof(*__p)) ? \
256 __put_user((x), __p) : \
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000257 -EFAULT; \
258})
259
Yang Shibffe1baff2016-06-08 14:40:56 -0700260extern unsigned long __must_check __arch_copy_from_user(void *to, const void __user *from, unsigned long n);
261extern unsigned long __must_check __arch_copy_to_user(void __user *to, const void *from, unsigned long n);
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000262extern unsigned long __must_check __copy_in_user(void __user *to, const void __user *from, unsigned long n);
263extern unsigned long __must_check __clear_user(void __user *addr, unsigned long n);
264
Yang Shibffe1baff2016-06-08 14:40:56 -0700265static inline unsigned long __must_check __copy_from_user(void *to, const void __user *from, unsigned long n)
266{
267 kasan_check_write(to, n);
Kees Cookfaf5b632016-06-23 15:59:42 -0700268 check_object_size(to, n, false);
269 return __arch_copy_from_user(to, from, n);
Yang Shibffe1baff2016-06-08 14:40:56 -0700270}
271
272static inline unsigned long __must_check __copy_to_user(void __user *to, const void *from, unsigned long n)
273{
274 kasan_check_read(from, n);
Kees Cookfaf5b632016-06-23 15:59:42 -0700275 check_object_size(from, n, true);
276 return __arch_copy_to_user(to, from, n);
Yang Shibffe1baff2016-06-08 14:40:56 -0700277}
278
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000279static inline unsigned long __must_check copy_from_user(void *to, const void __user *from, unsigned long n)
280{
Al Viro4855bd22016-09-10 16:50:00 -0400281 unsigned long res = n;
Yang Shibffe1baff2016-06-08 14:40:56 -0700282 kasan_check_write(to, n);
283
Kees Cookfaf5b632016-06-23 15:59:42 -0700284 if (access_ok(VERIFY_READ, from, n)) {
285 check_object_size(to, n, false);
Al Viro4855bd22016-09-10 16:50:00 -0400286 res = __arch_copy_from_user(to, from, n);
287 }
288 if (unlikely(res))
289 memset(to + (n - res), 0, res);
290 return res;
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000291}
292
293static inline unsigned long __must_check copy_to_user(void __user *to, const void *from, unsigned long n)
294{
Yang Shibffe1baff2016-06-08 14:40:56 -0700295 kasan_check_read(from, n);
296
Kees Cookfaf5b632016-06-23 15:59:42 -0700297 if (access_ok(VERIFY_WRITE, to, n)) {
298 check_object_size(from, n, true);
Yang Shibffe1baff2016-06-08 14:40:56 -0700299 n = __arch_copy_to_user(to, from, n);
Kees Cookfaf5b632016-06-23 15:59:42 -0700300 }
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000301 return n;
302}
303
304static inline unsigned long __must_check copy_in_user(void __user *to, const void __user *from, unsigned long n)
305{
306 if (access_ok(VERIFY_READ, from, n) && access_ok(VERIFY_WRITE, to, n))
307 n = __copy_in_user(to, from, n);
308 return n;
309}
310
311#define __copy_to_user_inatomic __copy_to_user
312#define __copy_from_user_inatomic __copy_from_user
313
314static inline unsigned long __must_check clear_user(void __user *to, unsigned long n)
315{
316 if (access_ok(VERIFY_WRITE, to, n))
317 n = __clear_user(to, n);
318 return n;
319}
320
Will Deacon12a0ef72013-11-06 17:20:22 +0000321extern long strncpy_from_user(char *dest, const char __user *src, long count);
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000322
Will Deacon12a0ef72013-11-06 17:20:22 +0000323extern __must_check long strlen_user(const char __user *str);
324extern __must_check long strnlen_user(const char __user *str, long n);
Catalin Marinas0aea86a2012-03-05 11:49:32 +0000325
326#endif /* __ASM_UACCESS_H */