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> |
Nick Piggin | 16dbc6c | 2008-10-02 14:50:12 -0700 | [diff] [blame] | 9 | #include <linux/lockdep.h> |
Jan Beulich | 1b1d925 | 2009-12-18 16:12:56 +0000 | [diff] [blame] | 10 | #include <asm/alternative.h> |
| 11 | #include <asm/cpufeature.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 12 | #include <asm/page.h> |
| 13 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 14 | /* |
| 15 | * Copy To/From Userspace |
| 16 | */ |
| 17 | |
| 18 | /* 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] | 19 | __must_check unsigned long |
Fenghua Yu | 954e482 | 2012-05-24 18:19:45 -0700 | [diff] [blame] | 20 | copy_user_enhanced_fast_string(void *to, const void *from, unsigned len); |
| 21 | __must_check unsigned long |
Jan Beulich | 1b1d925 | 2009-12-18 16:12:56 +0000 | [diff] [blame] | 22 | copy_user_generic_string(void *to, const void *from, unsigned len); |
| 23 | __must_check unsigned long |
| 24 | copy_user_generic_unrolled(void *to, const void *from, unsigned len); |
| 25 | |
| 26 | static __always_inline __must_check unsigned long |
| 27 | copy_user_generic(void *to, const void *from, unsigned len) |
| 28 | { |
| 29 | unsigned ret; |
| 30 | |
Fenghua Yu | 954e482 | 2012-05-24 18:19:45 -0700 | [diff] [blame] | 31 | /* |
| 32 | * If CPU has ERMS feature, use copy_user_enhanced_fast_string. |
| 33 | * Otherwise, if CPU has rep_good feature, use copy_user_generic_string. |
| 34 | * Otherwise, use copy_user_generic_unrolled. |
| 35 | */ |
| 36 | alternative_call_2(copy_user_generic_unrolled, |
Jan Beulich | 1b1d925 | 2009-12-18 16:12:56 +0000 | [diff] [blame] | 37 | copy_user_generic_string, |
| 38 | X86_FEATURE_REP_GOOD, |
Fenghua Yu | 954e482 | 2012-05-24 18:19:45 -0700 | [diff] [blame] | 39 | copy_user_enhanced_fast_string, |
| 40 | X86_FEATURE_ERMS, |
Jan Beulich | 1b1d925 | 2009-12-18 16:12:56 +0000 | [diff] [blame] | 41 | ASM_OUTPUT2("=a" (ret), "=D" (to), "=S" (from), |
| 42 | "=d" (len)), |
| 43 | "1" (to), "2" (from), "3" (len) |
| 44 | : "memory", "rcx", "r8", "r9", "r10", "r11"); |
| 45 | return ret; |
| 46 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 47 | |
Andi Kleen | 9591200 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 48 | __must_check unsigned long |
Andi Kleen | 9591200 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 49 | copy_in_user(void __user *to, const void __user *from, unsigned len); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 50 | |
Frederic Weisbecker | 3c93ca0 | 2009-11-16 15:42:18 +0100 | [diff] [blame] | 51 | static __always_inline __must_check |
Andi Kleen | ff47ab4f | 2013-08-16 14:17:19 -0700 | [diff] [blame] | 52 | int __copy_from_user_nocheck(void *dst, const void __user *src, unsigned size) |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 53 | { |
Andi Kleen | 383d079 | 2006-09-26 10:52:40 +0200 | [diff] [blame] | 54 | int ret = 0; |
Ingo Molnar | d1a7618 | 2008-10-28 16:54:49 +0100 | [diff] [blame] | 55 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 56 | if (!__builtin_constant_p(size)) |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 57 | return copy_user_generic(dst, (__force void *)src, size); |
| 58 | switch (size) { |
| 59 | case 1:__get_user_asm(*(u8 *)dst, (u8 __user *)src, |
| 60 | ret, "b", "b", "=q", 1); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 61 | return ret; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 62 | case 2:__get_user_asm(*(u16 *)dst, (u16 __user *)src, |
| 63 | ret, "w", "w", "=r", 2); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 64 | return ret; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 65 | case 4:__get_user_asm(*(u32 *)dst, (u32 __user *)src, |
| 66 | ret, "l", "k", "=r", 4); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 67 | return ret; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 68 | case 8:__get_user_asm(*(u64 *)dst, (u64 __user *)src, |
| 69 | ret, "q", "", "=r", 8); |
| 70 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 71 | case 10: |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 72 | __get_user_asm(*(u64 *)dst, (u64 __user *)src, |
Hiroshi Shimamoto | 20a4a23 | 2008-11-13 18:06:04 -0800 | [diff] [blame] | 73 | ret, "q", "", "=r", 10); |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 74 | if (unlikely(ret)) |
| 75 | return ret; |
| 76 | __get_user_asm(*(u16 *)(8 + (char *)dst), |
| 77 | (u16 __user *)(8 + (char __user *)src), |
| 78 | ret, "w", "w", "=r", 2); |
| 79 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 80 | case 16: |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 81 | __get_user_asm(*(u64 *)dst, (u64 __user *)src, |
| 82 | ret, "q", "", "=r", 16); |
| 83 | if (unlikely(ret)) |
| 84 | return ret; |
| 85 | __get_user_asm(*(u64 *)(8 + (char *)dst), |
| 86 | (u64 __user *)(8 + (char __user *)src), |
| 87 | ret, "q", "", "=r", 8); |
| 88 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 89 | default: |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 90 | return copy_user_generic(dst, (__force void *)src, size); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 91 | } |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 92 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 93 | |
Andi Kleen | 9591200 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 94 | static __always_inline __must_check |
Andi Kleen | ff47ab4f | 2013-08-16 14:17:19 -0700 | [diff] [blame] | 95 | int __copy_from_user(void *dst, const void __user *src, unsigned size) |
| 96 | { |
| 97 | might_fault(); |
| 98 | return __copy_from_user_nocheck(dst, src, size); |
| 99 | } |
| 100 | |
| 101 | static __always_inline __must_check |
| 102 | int __copy_to_user_nocheck(void __user *dst, const void *src, unsigned size) |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 103 | { |
Andi Kleen | 383d079 | 2006-09-26 10:52:40 +0200 | [diff] [blame] | 104 | int ret = 0; |
Ingo Molnar | d1a7618 | 2008-10-28 16:54:49 +0100 | [diff] [blame] | 105 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 106 | if (!__builtin_constant_p(size)) |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 107 | return copy_user_generic((__force void *)dst, src, size); |
| 108 | switch (size) { |
| 109 | case 1:__put_user_asm(*(u8 *)src, (u8 __user *)dst, |
| 110 | ret, "b", "b", "iq", 1); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 111 | return ret; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 112 | case 2:__put_user_asm(*(u16 *)src, (u16 __user *)dst, |
| 113 | ret, "w", "w", "ir", 2); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 114 | return ret; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 115 | case 4:__put_user_asm(*(u32 *)src, (u32 __user *)dst, |
| 116 | ret, "l", "k", "ir", 4); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 117 | return ret; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 118 | case 8:__put_user_asm(*(u64 *)src, (u64 __user *)dst, |
Uros Bizjak | 155b735 | 2009-07-19 18:06:35 +0200 | [diff] [blame] | 119 | ret, "q", "", "er", 8); |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 120 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 121 | case 10: |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 122 | __put_user_asm(*(u64 *)src, (u64 __user *)dst, |
Uros Bizjak | 155b735 | 2009-07-19 18:06:35 +0200 | [diff] [blame] | 123 | ret, "q", "", "er", 10); |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 124 | if (unlikely(ret)) |
| 125 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 126 | asm("":::"memory"); |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 127 | __put_user_asm(4[(u16 *)src], 4 + (u16 __user *)dst, |
| 128 | ret, "w", "w", "ir", 2); |
| 129 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 130 | case 16: |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 131 | __put_user_asm(*(u64 *)src, (u64 __user *)dst, |
Uros Bizjak | 155b735 | 2009-07-19 18:06:35 +0200 | [diff] [blame] | 132 | ret, "q", "", "er", 16); |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 133 | if (unlikely(ret)) |
| 134 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 135 | asm("":::"memory"); |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 136 | __put_user_asm(1[(u64 *)src], 1 + (u64 __user *)dst, |
Uros Bizjak | 155b735 | 2009-07-19 18:06:35 +0200 | [diff] [blame] | 137 | ret, "q", "", "er", 8); |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 138 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 139 | default: |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 140 | return copy_user_generic((__force void *)dst, src, size); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 141 | } |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 142 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 143 | |
Andi Kleen | 9591200 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 144 | static __always_inline __must_check |
Andi Kleen | ff47ab4f | 2013-08-16 14:17:19 -0700 | [diff] [blame] | 145 | int __copy_to_user(void __user *dst, const void *src, unsigned size) |
| 146 | { |
| 147 | might_fault(); |
| 148 | return __copy_to_user_nocheck(dst, src, size); |
| 149 | } |
| 150 | |
| 151 | static __always_inline __must_check |
Andi Kleen | 9591200 | 2006-09-26 10:52:39 +0200 | [diff] [blame] | 152 | 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] | 153 | { |
Andi Kleen | 383d079 | 2006-09-26 10:52:40 +0200 | [diff] [blame] | 154 | int ret = 0; |
Ingo Molnar | d1a7618 | 2008-10-28 16:54:49 +0100 | [diff] [blame] | 155 | |
| 156 | might_fault(); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 157 | if (!__builtin_constant_p(size)) |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 158 | return copy_user_generic((__force void *)dst, |
| 159 | (__force void *)src, size); |
| 160 | switch (size) { |
| 161 | case 1: { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 162 | u8 tmp; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 163 | __get_user_asm(tmp, (u8 __user *)src, |
| 164 | ret, "b", "b", "=q", 1); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 165 | if (likely(!ret)) |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 166 | __put_user_asm(tmp, (u8 __user *)dst, |
| 167 | ret, "b", "b", "iq", 1); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 168 | return ret; |
| 169 | } |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 170 | case 2: { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 171 | u16 tmp; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 172 | __get_user_asm(tmp, (u16 __user *)src, |
| 173 | ret, "w", "w", "=r", 2); |
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, (u16 __user *)dst, |
| 176 | ret, "w", "w", "ir", 2); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 177 | return ret; |
| 178 | } |
| 179 | |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 180 | case 4: { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 181 | u32 tmp; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 182 | __get_user_asm(tmp, (u32 __user *)src, |
| 183 | ret, "l", "k", "=r", 4); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 184 | if (likely(!ret)) |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 185 | __put_user_asm(tmp, (u32 __user *)dst, |
| 186 | ret, "l", "k", "ir", 4); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 187 | return ret; |
| 188 | } |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 189 | case 8: { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 190 | u64 tmp; |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 191 | __get_user_asm(tmp, (u64 __user *)src, |
| 192 | ret, "q", "", "=r", 8); |
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, (u64 __user *)dst, |
Uros Bizjak | 155b735 | 2009-07-19 18:06:35 +0200 | [diff] [blame] | 195 | ret, "q", "", "er", 8); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 196 | return ret; |
| 197 | } |
| 198 | default: |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 199 | return copy_user_generic((__force void *)dst, |
| 200 | (__force void *)src, size); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 201 | } |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 202 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 203 | |
Jan Beulich | 1472248 | 2009-11-13 11:56:24 +0000 | [diff] [blame] | 204 | static __must_check __always_inline int |
| 205 | __copy_from_user_inatomic(void *dst, const void __user *src, unsigned size) |
| 206 | { |
Andi Kleen | ff47ab4f | 2013-08-16 14:17:19 -0700 | [diff] [blame] | 207 | return __copy_from_user_nocheck(dst, (__force const void *)src, size); |
Jan Beulich | 1472248 | 2009-11-13 11:56:24 +0000 | [diff] [blame] | 208 | } |
Andi Kleen | b885808 | 2006-09-30 01:47:55 +0200 | [diff] [blame] | 209 | |
| 210 | static __must_check __always_inline int |
| 211 | __copy_to_user_inatomic(void __user *dst, const void *src, unsigned size) |
| 212 | { |
Andi Kleen | ff47ab4f | 2013-08-16 14:17:19 -0700 | [diff] [blame] | 213 | return __copy_to_user_nocheck((__force void *)dst, src, size); |
Andi Kleen | b885808 | 2006-09-30 01:47:55 +0200 | [diff] [blame] | 214 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 215 | |
Joe Perches | b896313 | 2008-03-23 01:03:49 -0700 | [diff] [blame] | 216 | extern long __copy_user_nocache(void *dst, const void __user *src, |
| 217 | unsigned size, int zerorest); |
Andi Kleen | 0812a57 | 2007-02-13 13:26:19 +0100 | [diff] [blame] | 218 | |
Ingo Molnar | f180053 | 2009-03-02 11:00:57 +0100 | [diff] [blame] | 219 | static inline int |
| 220 | __copy_from_user_nocache(void *dst, const void __user *src, unsigned size) |
Andi Kleen | 0812a57 | 2007-02-13 13:26:19 +0100 | [diff] [blame] | 221 | { |
Michael S. Tsirkin | 016be2e | 2013-05-26 17:31:55 +0300 | [diff] [blame] | 222 | might_fault(); |
Ingo Molnar | f180053 | 2009-03-02 11:00:57 +0100 | [diff] [blame] | 223 | return __copy_user_nocache(dst, src, size, 1); |
Andi Kleen | 0812a57 | 2007-02-13 13:26:19 +0100 | [diff] [blame] | 224 | } |
| 225 | |
Ingo Molnar | f180053 | 2009-03-02 11:00:57 +0100 | [diff] [blame] | 226 | static inline int |
| 227 | __copy_from_user_inatomic_nocache(void *dst, const void __user *src, |
| 228 | unsigned size) |
Andi Kleen | 0812a57 | 2007-02-13 13:26:19 +0100 | [diff] [blame] | 229 | { |
Ingo Molnar | f180053 | 2009-03-02 11:00:57 +0100 | [diff] [blame] | 230 | return __copy_user_nocache(dst, src, size, 0); |
Andi Kleen | 0812a57 | 2007-02-13 13:26:19 +0100 | [diff] [blame] | 231 | } |
| 232 | |
Vitaly Mayatskikh | 1129585 | 2008-07-02 15:48:21 +0200 | [diff] [blame] | 233 | unsigned long |
| 234 | copy_user_handle_tail(char *to, char *from, unsigned len, unsigned zerorest); |
| 235 | |
H. Peter Anvin | 1965aae | 2008-10-22 22:26:29 -0700 | [diff] [blame] | 236 | #endif /* _ASM_X86_UACCESS_64_H */ |