H. Peter Anvin | 1965aae | 2008-10-22 22:26:29 -0700 | [diff] [blame] | 1 | #ifndef _ASM_X86_UACCESS_64_H |
| 2 | #define _ASM_X86_UACCESS_64_H |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 3 | |
| 4 | /* |
| 5 | * User space memory access functions |
| 6 | */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 7 | #include <linux/compiler.h> |
| 8 | #include <linux/errno.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 9 | #include <linux/prefetch.h> |
Nick Piggin | 16dbc6c | 2008-10-02 14:50:12 -0700 | [diff] [blame] | 10 | #include <linux/lockdep.h> |
Jan Beulich | 1b1d925 | 2009-12-18 16:12:56 +0000 | [diff] [blame^] | 11 | #include <asm/alternative.h> |
| 12 | #include <asm/cpufeature.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 13 | #include <asm/page.h> |
| 14 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 15 | /* |
| 16 | * Copy To/From Userspace |
| 17 | */ |
| 18 | |
| 19 | /* Handles exceptions in both to and from, but doesn't do access_ok */ |
Andi Kleen | 9591200 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 20 | __must_check unsigned long |
Jan Beulich | 1b1d925 | 2009-12-18 16:12:56 +0000 | [diff] [blame^] | 21 | copy_user_generic_string(void *to, const void *from, unsigned len); |
| 22 | __must_check unsigned long |
| 23 | copy_user_generic_unrolled(void *to, const void *from, unsigned len); |
| 24 | |
| 25 | static __always_inline __must_check unsigned long |
| 26 | copy_user_generic(void *to, const void *from, unsigned len) |
| 27 | { |
| 28 | unsigned ret; |
| 29 | |
| 30 | alternative_call(copy_user_generic_unrolled, |
| 31 | copy_user_generic_string, |
| 32 | X86_FEATURE_REP_GOOD, |
| 33 | ASM_OUTPUT2("=a" (ret), "=D" (to), "=S" (from), |
| 34 | "=d" (len)), |
| 35 | "1" (to), "2" (from), "3" (len) |
| 36 | : "memory", "rcx", "r8", "r9", "r10", "r11"); |
| 37 | return ret; |
| 38 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 39 | |
Andi Kleen | 9591200 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 40 | __must_check unsigned long |
Frederic Weisbecker | 3c93ca0 | 2009-11-16 15:42:18 +0100 | [diff] [blame] | 41 | _copy_to_user(void __user *to, const void *from, unsigned len); |
Andi Kleen | 9591200 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 42 | __must_check unsigned long |
Arjan van de Ven | 9f0cf4a | 2009-09-26 14:33:01 +0200 | [diff] [blame] | 43 | _copy_from_user(void *to, const void __user *from, unsigned len); |
Andi Kleen | 9591200 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 44 | __must_check unsigned long |
| 45 | copy_in_user(void __user *to, const void __user *from, unsigned len); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 46 | |
Arjan van de Ven | 9f0cf4a | 2009-09-26 14:33:01 +0200 | [diff] [blame] | 47 | static inline unsigned long __must_check copy_from_user(void *to, |
| 48 | const void __user *from, |
| 49 | unsigned long n) |
| 50 | { |
| 51 | int sz = __compiletime_object_size(to); |
| 52 | int ret = -EFAULT; |
| 53 | |
Frederic Weisbecker | 3c93ca0 | 2009-11-16 15:42:18 +0100 | [diff] [blame] | 54 | might_fault(); |
Arjan van de Ven | 9f0cf4a | 2009-09-26 14:33:01 +0200 | [diff] [blame] | 55 | if (likely(sz == -1 || sz >= n)) |
| 56 | ret = _copy_from_user(to, from, n); |
| 57 | #ifdef CONFIG_DEBUG_VM |
| 58 | else |
| 59 | WARN(1, "Buffer overflow detected!\n"); |
| 60 | #endif |
| 61 | return ret; |
| 62 | } |
| 63 | |
Frederic Weisbecker | 3c93ca0 | 2009-11-16 15:42:18 +0100 | [diff] [blame] | 64 | static __always_inline __must_check |
| 65 | int copy_to_user(void __user *dst, const void *src, unsigned size) |
| 66 | { |
| 67 | might_fault(); |
| 68 | |
| 69 | return _copy_to_user(dst, src, size); |
| 70 | } |
Arjan van de Ven | 9f0cf4a | 2009-09-26 14:33:01 +0200 | [diff] [blame] | 71 | |
Andi Kleen | 9591200 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 72 | static __always_inline __must_check |
| 73 | int __copy_from_user(void *dst, const void __user *src, unsigned size) |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 74 | { |
Andi Kleen | 383d079 | 2006-09-26 10:52:40 +0200 | [diff] [blame] | 75 | int ret = 0; |
Ingo Molnar | d1a7618 | 2008-10-28 16:54:49 +0100 | [diff] [blame] | 76 | |
| 77 | might_fault(); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 78 | if (!__builtin_constant_p(size)) |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 79 | return copy_user_generic(dst, (__force void *)src, size); |
| 80 | switch (size) { |
| 81 | case 1:__get_user_asm(*(u8 *)dst, (u8 __user *)src, |
| 82 | ret, "b", "b", "=q", 1); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 83 | return ret; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 84 | case 2:__get_user_asm(*(u16 *)dst, (u16 __user *)src, |
| 85 | ret, "w", "w", "=r", 2); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 86 | return ret; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 87 | case 4:__get_user_asm(*(u32 *)dst, (u32 __user *)src, |
| 88 | ret, "l", "k", "=r", 4); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 89 | return ret; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 90 | case 8:__get_user_asm(*(u64 *)dst, (u64 __user *)src, |
| 91 | ret, "q", "", "=r", 8); |
| 92 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 93 | case 10: |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 94 | __get_user_asm(*(u64 *)dst, (u64 __user *)src, |
Hiroshi Shimamoto | 20a4a23 | 2008-11-13 18:06:04 -0800 | [diff] [blame] | 95 | ret, "q", "", "=r", 10); |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 96 | if (unlikely(ret)) |
| 97 | return ret; |
| 98 | __get_user_asm(*(u16 *)(8 + (char *)dst), |
| 99 | (u16 __user *)(8 + (char __user *)src), |
| 100 | ret, "w", "w", "=r", 2); |
| 101 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 102 | case 16: |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 103 | __get_user_asm(*(u64 *)dst, (u64 __user *)src, |
| 104 | ret, "q", "", "=r", 16); |
| 105 | if (unlikely(ret)) |
| 106 | return ret; |
| 107 | __get_user_asm(*(u64 *)(8 + (char *)dst), |
| 108 | (u64 __user *)(8 + (char __user *)src), |
| 109 | ret, "q", "", "=r", 8); |
| 110 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 111 | default: |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 112 | return copy_user_generic(dst, (__force void *)src, size); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 113 | } |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 114 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 115 | |
Andi Kleen | 9591200 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 116 | static __always_inline __must_check |
| 117 | int __copy_to_user(void __user *dst, const void *src, unsigned size) |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 118 | { |
Andi Kleen | 383d079 | 2006-09-26 10:52:40 +0200 | [diff] [blame] | 119 | int ret = 0; |
Ingo Molnar | d1a7618 | 2008-10-28 16:54:49 +0100 | [diff] [blame] | 120 | |
| 121 | might_fault(); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 122 | if (!__builtin_constant_p(size)) |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 123 | return copy_user_generic((__force void *)dst, src, size); |
| 124 | switch (size) { |
| 125 | case 1:__put_user_asm(*(u8 *)src, (u8 __user *)dst, |
| 126 | ret, "b", "b", "iq", 1); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 127 | return ret; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 128 | case 2:__put_user_asm(*(u16 *)src, (u16 __user *)dst, |
| 129 | ret, "w", "w", "ir", 2); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 130 | return ret; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 131 | case 4:__put_user_asm(*(u32 *)src, (u32 __user *)dst, |
| 132 | ret, "l", "k", "ir", 4); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 133 | return ret; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 134 | case 8:__put_user_asm(*(u64 *)src, (u64 __user *)dst, |
Uros Bizjak | 155b735 | 2009-07-19 18:06:35 +0200 | [diff] [blame] | 135 | ret, "q", "", "er", 8); |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 136 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 137 | case 10: |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 138 | __put_user_asm(*(u64 *)src, (u64 __user *)dst, |
Uros Bizjak | 155b735 | 2009-07-19 18:06:35 +0200 | [diff] [blame] | 139 | ret, "q", "", "er", 10); |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 140 | if (unlikely(ret)) |
| 141 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 142 | asm("":::"memory"); |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 143 | __put_user_asm(4[(u16 *)src], 4 + (u16 __user *)dst, |
| 144 | ret, "w", "w", "ir", 2); |
| 145 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 146 | case 16: |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 147 | __put_user_asm(*(u64 *)src, (u64 __user *)dst, |
Uros Bizjak | 155b735 | 2009-07-19 18:06:35 +0200 | [diff] [blame] | 148 | ret, "q", "", "er", 16); |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 149 | if (unlikely(ret)) |
| 150 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 151 | asm("":::"memory"); |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 152 | __put_user_asm(1[(u64 *)src], 1 + (u64 __user *)dst, |
Uros Bizjak | 155b735 | 2009-07-19 18:06:35 +0200 | [diff] [blame] | 153 | ret, "q", "", "er", 8); |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 154 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 155 | default: |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 156 | return copy_user_generic((__force void *)dst, src, size); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 157 | } |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 158 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 159 | |
Andi Kleen | 9591200 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 160 | static __always_inline __must_check |
| 161 | int __copy_in_user(void __user *dst, const void __user *src, unsigned size) |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 162 | { |
Andi Kleen | 383d079 | 2006-09-26 10:52:40 +0200 | [diff] [blame] | 163 | int ret = 0; |
Ingo Molnar | d1a7618 | 2008-10-28 16:54:49 +0100 | [diff] [blame] | 164 | |
| 165 | might_fault(); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 166 | if (!__builtin_constant_p(size)) |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 167 | return copy_user_generic((__force void *)dst, |
| 168 | (__force void *)src, size); |
| 169 | switch (size) { |
| 170 | case 1: { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 171 | u8 tmp; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 172 | __get_user_asm(tmp, (u8 __user *)src, |
| 173 | ret, "b", "b", "=q", 1); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 174 | if (likely(!ret)) |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 175 | __put_user_asm(tmp, (u8 __user *)dst, |
| 176 | ret, "b", "b", "iq", 1); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 177 | return ret; |
| 178 | } |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 179 | case 2: { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 180 | u16 tmp; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 181 | __get_user_asm(tmp, (u16 __user *)src, |
| 182 | ret, "w", "w", "=r", 2); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 183 | if (likely(!ret)) |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 184 | __put_user_asm(tmp, (u16 __user *)dst, |
| 185 | ret, "w", "w", "ir", 2); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 186 | return ret; |
| 187 | } |
| 188 | |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 189 | case 4: { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 190 | u32 tmp; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 191 | __get_user_asm(tmp, (u32 __user *)src, |
| 192 | ret, "l", "k", "=r", 4); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 193 | if (likely(!ret)) |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 194 | __put_user_asm(tmp, (u32 __user *)dst, |
| 195 | ret, "l", "k", "ir", 4); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 196 | return ret; |
| 197 | } |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 198 | case 8: { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 199 | u64 tmp; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 200 | __get_user_asm(tmp, (u64 __user *)src, |
| 201 | ret, "q", "", "=r", 8); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 202 | if (likely(!ret)) |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 203 | __put_user_asm(tmp, (u64 __user *)dst, |
Uros Bizjak | 155b735 | 2009-07-19 18:06:35 +0200 | [diff] [blame] | 204 | ret, "q", "", "er", 8); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 205 | return ret; |
| 206 | } |
| 207 | default: |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 208 | return copy_user_generic((__force void *)dst, |
| 209 | (__force void *)src, size); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 210 | } |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 211 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 212 | |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 213 | __must_check long |
Andi Kleen | 9591200 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 214 | strncpy_from_user(char *dst, const char __user *src, long count); |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 215 | __must_check long |
Andi Kleen | 9591200 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 216 | __strncpy_from_user(char *dst, const char __user *src, long count); |
| 217 | __must_check long strnlen_user(const char __user *str, long n); |
| 218 | __must_check long __strnlen_user(const char __user *str, long n); |
| 219 | __must_check long strlen_user(const char __user *str); |
| 220 | __must_check unsigned long clear_user(void __user *mem, unsigned long len); |
| 221 | __must_check unsigned long __clear_user(void __user *mem, unsigned long len); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 222 | |
Jan Beulich | 1472248 | 2009-11-13 11:56:24 +0000 | [diff] [blame] | 223 | static __must_check __always_inline int |
| 224 | __copy_from_user_inatomic(void *dst, const void __user *src, unsigned size) |
| 225 | { |
| 226 | return copy_user_generic(dst, (__force const void *)src, size); |
| 227 | } |
Andi Kleen | b885808 | 2006-09-30 01:47:55 +0200 | [diff] [blame] | 228 | |
| 229 | static __must_check __always_inline int |
| 230 | __copy_to_user_inatomic(void __user *dst, const void *src, unsigned size) |
| 231 | { |
| 232 | return copy_user_generic((__force void *)dst, src, size); |
| 233 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 234 | |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 235 | extern long __copy_user_nocache(void *dst, const void __user *src, |
| 236 | unsigned size, int zerorest); |
Andi Kleen | 0812a57 | 2007-02-13 13:26:19 +0100 | [diff] [blame] | 237 | |
Ingo Molnar | f180053 | 2009-03-02 11:00:57 +0100 | [diff] [blame] | 238 | static inline int |
| 239 | __copy_from_user_nocache(void *dst, const void __user *src, unsigned size) |
Andi Kleen | 0812a57 | 2007-02-13 13:26:19 +0100 | [diff] [blame] | 240 | { |
| 241 | might_sleep(); |
Ingo Molnar | f180053 | 2009-03-02 11:00:57 +0100 | [diff] [blame] | 242 | return __copy_user_nocache(dst, src, size, 1); |
Andi Kleen | 0812a57 | 2007-02-13 13:26:19 +0100 | [diff] [blame] | 243 | } |
| 244 | |
Ingo Molnar | f180053 | 2009-03-02 11:00:57 +0100 | [diff] [blame] | 245 | static inline int |
| 246 | __copy_from_user_inatomic_nocache(void *dst, const void __user *src, |
| 247 | unsigned size) |
Andi Kleen | 0812a57 | 2007-02-13 13:26:19 +0100 | [diff] [blame] | 248 | { |
Ingo Molnar | f180053 | 2009-03-02 11:00:57 +0100 | [diff] [blame] | 249 | return __copy_user_nocache(dst, src, size, 0); |
Andi Kleen | 0812a57 | 2007-02-13 13:26:19 +0100 | [diff] [blame] | 250 | } |
| 251 | |
Vitaly Mayatskikh | 1129585 | 2008-07-02 15:48:21 +0200 | [diff] [blame] | 252 | unsigned long |
| 253 | copy_user_handle_tail(char *to, char *from, unsigned len, unsigned zerorest); |
| 254 | |
H. Peter Anvin | 1965aae | 2008-10-22 22:26:29 -0700 | [diff] [blame] | 255 | #endif /* _ASM_X86_UACCESS_64_H */ |