Gerald Schaefer | 59f35d5 | 2006-12-04 15:40:45 +0100 | [diff] [blame] | 1 | /* |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 2 | * User access functions based on page table walks for enhanced |
| 3 | * system layout without hardware support. |
Gerald Schaefer | 59f35d5 | 2006-12-04 15:40:45 +0100 | [diff] [blame] | 4 | * |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 5 | * Copyright IBM Corp. 2006, 2012 |
Gerald Schaefer | 59f35d5 | 2006-12-04 15:40:45 +0100 | [diff] [blame] | 6 | * Author(s): Gerald Schaefer (gerald.schaefer@de.ibm.com) |
| 7 | */ |
| 8 | |
| 9 | #include <linux/errno.h> |
Heiko Carstens | d8ad075 | 2007-01-09 10:18:50 +0100 | [diff] [blame] | 10 | #include <linux/hardirq.h> |
Gerald Schaefer | 59f35d5 | 2006-12-04 15:40:45 +0100 | [diff] [blame] | 11 | #include <linux/mm.h> |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 12 | #include <linux/hugetlb.h> |
Heiko Carstens | 2215591 | 2006-12-08 15:53:49 +0100 | [diff] [blame] | 13 | #include <asm/uaccess.h> |
Gerald Schaefer | 59f35d5 | 2006-12-04 15:40:45 +0100 | [diff] [blame] | 14 | #include <asm/futex.h> |
Heiko Carstens | 2b67fc4 | 2007-02-05 21:16:47 +0100 | [diff] [blame] | 15 | #include "uaccess.h" |
Gerald Schaefer | 59f35d5 | 2006-12-04 15:40:45 +0100 | [diff] [blame] | 16 | |
Heiko Carstens | 066c437 | 2013-02-25 09:10:23 +0100 | [diff] [blame^] | 17 | #ifndef CONFIG_64BIT |
| 18 | #define AHI "ahi" |
| 19 | #define SLR "slr" |
| 20 | #else |
| 21 | #define AHI "aghi" |
| 22 | #define SLR "slgr" |
| 23 | #endif |
| 24 | |
| 25 | static size_t strnlen_kernel(size_t count, const char __user *src) |
| 26 | { |
| 27 | register unsigned long reg0 asm("0") = 0UL; |
| 28 | unsigned long tmp1, tmp2; |
| 29 | |
| 30 | asm volatile( |
| 31 | " la %2,0(%1)\n" |
| 32 | " la %3,0(%0,%1)\n" |
| 33 | " "SLR" %0,%0\n" |
| 34 | "0: srst %3,%2\n" |
| 35 | " jo 0b\n" |
| 36 | " la %0,1(%3)\n" /* strnlen_kernel results includes \0 */ |
| 37 | " "SLR" %0,%1\n" |
| 38 | "1:\n" |
| 39 | EX_TABLE(0b,1b) |
| 40 | : "+a" (count), "+a" (src), "=a" (tmp1), "=a" (tmp2) |
| 41 | : "d" (reg0) : "cc", "memory"); |
| 42 | return count; |
| 43 | } |
| 44 | |
| 45 | static size_t copy_in_kernel(size_t count, void __user *to, |
| 46 | const void __user *from) |
| 47 | { |
| 48 | unsigned long tmp1; |
| 49 | |
| 50 | asm volatile( |
| 51 | " "AHI" %0,-1\n" |
| 52 | " jo 5f\n" |
| 53 | " bras %3,3f\n" |
| 54 | "0:"AHI" %0,257\n" |
| 55 | "1: mvc 0(1,%1),0(%2)\n" |
| 56 | " la %1,1(%1)\n" |
| 57 | " la %2,1(%2)\n" |
| 58 | " "AHI" %0,-1\n" |
| 59 | " jnz 1b\n" |
| 60 | " j 5f\n" |
| 61 | "2: mvc 0(256,%1),0(%2)\n" |
| 62 | " la %1,256(%1)\n" |
| 63 | " la %2,256(%2)\n" |
| 64 | "3:"AHI" %0,-256\n" |
| 65 | " jnm 2b\n" |
| 66 | "4: ex %0,1b-0b(%3)\n" |
| 67 | "5:"SLR" %0,%0\n" |
| 68 | "6:\n" |
| 69 | EX_TABLE(1b,6b) EX_TABLE(2b,0b) EX_TABLE(4b,0b) |
| 70 | : "+a" (count), "+a" (to), "+a" (from), "=a" (tmp1) |
| 71 | : : "cc", "memory"); |
| 72 | return count; |
| 73 | } |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 74 | |
| 75 | /* |
| 76 | * Returns kernel address for user virtual address. If the returned address is |
| 77 | * >= -4095 (IS_ERR_VALUE(x) returns true), a fault has occured and the address |
| 78 | * contains the (negative) exception code. |
| 79 | */ |
| 80 | static __always_inline unsigned long follow_table(struct mm_struct *mm, |
| 81 | unsigned long addr, int write) |
Martin Schwidefsky | e4aa402 | 2007-10-22 12:52:46 +0200 | [diff] [blame] | 82 | { |
| 83 | pgd_t *pgd; |
Martin Schwidefsky | 190a1d7 | 2007-10-22 12:52:48 +0200 | [diff] [blame] | 84 | pud_t *pud; |
Martin Schwidefsky | e4aa402 | 2007-10-22 12:52:46 +0200 | [diff] [blame] | 85 | pmd_t *pmd; |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 86 | pte_t *ptep; |
Martin Schwidefsky | e4aa402 | 2007-10-22 12:52:46 +0200 | [diff] [blame] | 87 | |
| 88 | pgd = pgd_offset(mm, addr); |
| 89 | if (pgd_none(*pgd) || unlikely(pgd_bad(*pgd))) |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 90 | return -0x3aUL; |
Martin Schwidefsky | e4aa402 | 2007-10-22 12:52:46 +0200 | [diff] [blame] | 91 | |
Martin Schwidefsky | 190a1d7 | 2007-10-22 12:52:48 +0200 | [diff] [blame] | 92 | pud = pud_offset(pgd, addr); |
| 93 | if (pud_none(*pud) || unlikely(pud_bad(*pud))) |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 94 | return -0x3bUL; |
Martin Schwidefsky | 190a1d7 | 2007-10-22 12:52:48 +0200 | [diff] [blame] | 95 | |
| 96 | pmd = pmd_offset(pud, addr); |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 97 | if (pmd_none(*pmd)) |
| 98 | return -0x10UL; |
Gerald Schaefer | 156152f | 2012-10-25 17:24:12 +0200 | [diff] [blame] | 99 | if (pmd_large(*pmd)) { |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 100 | if (write && (pmd_val(*pmd) & _SEGMENT_ENTRY_RO)) |
| 101 | return -0x04UL; |
| 102 | return (pmd_val(*pmd) & HPAGE_MASK) + (addr & ~HPAGE_MASK); |
| 103 | } |
| 104 | if (unlikely(pmd_bad(*pmd))) |
| 105 | return -0x10UL; |
Martin Schwidefsky | e4aa402 | 2007-10-22 12:52:46 +0200 | [diff] [blame] | 106 | |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 107 | ptep = pte_offset_map(pmd, addr); |
| 108 | if (!pte_present(*ptep)) |
| 109 | return -0x11UL; |
Martin Schwidefsky | abf09be | 2012-11-07 13:17:37 +0100 | [diff] [blame] | 110 | if (write && (!pte_write(*ptep) || !pte_dirty(*ptep))) |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 111 | return -0x04UL; |
| 112 | |
| 113 | return (pte_val(*ptep) & PAGE_MASK) + (addr & ~PAGE_MASK); |
Martin Schwidefsky | e4aa402 | 2007-10-22 12:52:46 +0200 | [diff] [blame] | 114 | } |
| 115 | |
Gerald Schaefer | 6c1e3e7 | 2009-12-07 12:51:47 +0100 | [diff] [blame] | 116 | static __always_inline size_t __user_copy_pt(unsigned long uaddr, void *kptr, |
| 117 | size_t n, int write_user) |
Gerald Schaefer | 59f35d5 | 2006-12-04 15:40:45 +0100 | [diff] [blame] | 118 | { |
| 119 | struct mm_struct *mm = current->mm; |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 120 | unsigned long offset, done, size, kaddr; |
Gerald Schaefer | 59f35d5 | 2006-12-04 15:40:45 +0100 | [diff] [blame] | 121 | void *from, *to; |
| 122 | |
| 123 | done = 0; |
| 124 | retry: |
| 125 | spin_lock(&mm->page_table_lock); |
| 126 | do { |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 127 | kaddr = follow_table(mm, uaddr, write_user); |
| 128 | if (IS_ERR_VALUE(kaddr)) |
Gerald Schaefer | 59f35d5 | 2006-12-04 15:40:45 +0100 | [diff] [blame] | 129 | goto fault; |
| 130 | |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 131 | offset = uaddr & ~PAGE_MASK; |
Gerald Schaefer | 59f35d5 | 2006-12-04 15:40:45 +0100 | [diff] [blame] | 132 | size = min(n - done, PAGE_SIZE - offset); |
| 133 | if (write_user) { |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 134 | to = (void *) kaddr; |
Gerald Schaefer | 59f35d5 | 2006-12-04 15:40:45 +0100 | [diff] [blame] | 135 | from = kptr + done; |
| 136 | } else { |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 137 | from = (void *) kaddr; |
Gerald Schaefer | 59f35d5 | 2006-12-04 15:40:45 +0100 | [diff] [blame] | 138 | to = kptr + done; |
| 139 | } |
| 140 | memcpy(to, from, size); |
| 141 | done += size; |
| 142 | uaddr += size; |
| 143 | } while (done < n); |
Gerald Schaefer | 59f35d5 | 2006-12-04 15:40:45 +0100 | [diff] [blame] | 144 | spin_unlock(&mm->page_table_lock); |
| 145 | return n - done; |
| 146 | fault: |
| 147 | spin_unlock(&mm->page_table_lock); |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 148 | if (__handle_fault(uaddr, -kaddr, write_user)) |
Gerald Schaefer | 59f35d5 | 2006-12-04 15:40:45 +0100 | [diff] [blame] | 149 | return n - done; |
| 150 | goto retry; |
| 151 | } |
| 152 | |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 153 | /* |
| 154 | * Do DAT for user address by page table walk, return kernel address. |
| 155 | * This function needs to be called with current->mm->page_table_lock held. |
| 156 | */ |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 157 | static __always_inline unsigned long __dat_user_addr(unsigned long uaddr, |
| 158 | int write) |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 159 | { |
| 160 | struct mm_struct *mm = current->mm; |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 161 | unsigned long kaddr; |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 162 | int rc; |
| 163 | |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 164 | retry: |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 165 | kaddr = follow_table(mm, uaddr, write); |
| 166 | if (IS_ERR_VALUE(kaddr)) |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 167 | goto fault; |
| 168 | |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 169 | return kaddr; |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 170 | fault: |
| 171 | spin_unlock(&mm->page_table_lock); |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 172 | rc = __handle_fault(uaddr, -kaddr, write); |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 173 | spin_lock(&mm->page_table_lock); |
Gerald Schaefer | 6c1e3e7 | 2009-12-07 12:51:47 +0100 | [diff] [blame] | 174 | if (!rc) |
| 175 | goto retry; |
| 176 | return 0; |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 177 | } |
| 178 | |
Gerald Schaefer | 59f35d5 | 2006-12-04 15:40:45 +0100 | [diff] [blame] | 179 | size_t copy_from_user_pt(size_t n, const void __user *from, void *to) |
| 180 | { |
| 181 | size_t rc; |
| 182 | |
Heiko Carstens | 066c437 | 2013-02-25 09:10:23 +0100 | [diff] [blame^] | 183 | if (segment_eq(get_fs(), KERNEL_DS)) |
| 184 | return copy_in_kernel(n, (void __user *) to, from); |
Gerald Schaefer | 59f35d5 | 2006-12-04 15:40:45 +0100 | [diff] [blame] | 185 | rc = __user_copy_pt((unsigned long) from, to, n, 0); |
| 186 | if (unlikely(rc)) |
| 187 | memset(to + n - rc, 0, rc); |
| 188 | return rc; |
| 189 | } |
| 190 | |
| 191 | size_t copy_to_user_pt(size_t n, void __user *to, const void *from) |
| 192 | { |
Heiko Carstens | 066c437 | 2013-02-25 09:10:23 +0100 | [diff] [blame^] | 193 | if (segment_eq(get_fs(), KERNEL_DS)) |
| 194 | return copy_in_kernel(n, to, (void __user *) from); |
Gerald Schaefer | 59f35d5 | 2006-12-04 15:40:45 +0100 | [diff] [blame] | 195 | return __user_copy_pt((unsigned long) to, (void *) from, n, 1); |
| 196 | } |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 197 | |
| 198 | static size_t clear_user_pt(size_t n, void __user *to) |
| 199 | { |
Heiko Carstens | 066c437 | 2013-02-25 09:10:23 +0100 | [diff] [blame^] | 200 | void *zpage = &empty_zero_page; |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 201 | long done, size, ret; |
| 202 | |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 203 | done = 0; |
| 204 | do { |
| 205 | if (n - done > PAGE_SIZE) |
| 206 | size = PAGE_SIZE; |
| 207 | else |
| 208 | size = n - done; |
Heiko Carstens | 066c437 | 2013-02-25 09:10:23 +0100 | [diff] [blame^] | 209 | if (segment_eq(get_fs(), KERNEL_DS)) |
| 210 | ret = copy_in_kernel(n, to, (void __user *) zpage); |
| 211 | else |
| 212 | ret = __user_copy_pt((unsigned long) to, zpage, size, 1); |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 213 | done += size; |
Heiko Carstens | 066c437 | 2013-02-25 09:10:23 +0100 | [diff] [blame^] | 214 | to += size; |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 215 | if (ret) |
| 216 | return ret + n - done; |
| 217 | } while (done < n); |
| 218 | return 0; |
| 219 | } |
| 220 | |
| 221 | static size_t strnlen_user_pt(size_t count, const char __user *src) |
| 222 | { |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 223 | unsigned long uaddr = (unsigned long) src; |
| 224 | struct mm_struct *mm = current->mm; |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 225 | unsigned long offset, done, len, kaddr; |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 226 | size_t len_str; |
| 227 | |
Heiko Carstens | f45655f | 2013-02-21 13:30:42 +0100 | [diff] [blame] | 228 | if (unlikely(!count)) |
| 229 | return 0; |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 230 | if (segment_eq(get_fs(), KERNEL_DS)) |
Heiko Carstens | 066c437 | 2013-02-25 09:10:23 +0100 | [diff] [blame^] | 231 | return strnlen_kernel(count, src); |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 232 | done = 0; |
| 233 | retry: |
| 234 | spin_lock(&mm->page_table_lock); |
| 235 | do { |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 236 | kaddr = follow_table(mm, uaddr, 0); |
| 237 | if (IS_ERR_VALUE(kaddr)) |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 238 | goto fault; |
| 239 | |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 240 | offset = uaddr & ~PAGE_MASK; |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 241 | len = min(count - done, PAGE_SIZE - offset); |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 242 | len_str = strnlen((char *) kaddr, len); |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 243 | done += len_str; |
| 244 | uaddr += len_str; |
| 245 | } while ((len_str == len) && (done < count)); |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 246 | spin_unlock(&mm->page_table_lock); |
| 247 | return done + 1; |
| 248 | fault: |
| 249 | spin_unlock(&mm->page_table_lock); |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 250 | if (__handle_fault(uaddr, -kaddr, 0)) |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 251 | return 0; |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 252 | goto retry; |
| 253 | } |
| 254 | |
| 255 | static size_t strncpy_from_user_pt(size_t count, const char __user *src, |
| 256 | char *dst) |
| 257 | { |
Heiko Carstens | 225cf8d | 2013-02-25 07:24:20 +0100 | [diff] [blame] | 258 | size_t done, len, offset, len_str; |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 259 | |
Heiko Carstens | f45655f | 2013-02-21 13:30:42 +0100 | [diff] [blame] | 260 | if (unlikely(!count)) |
| 261 | return 0; |
Heiko Carstens | 225cf8d | 2013-02-25 07:24:20 +0100 | [diff] [blame] | 262 | done = 0; |
| 263 | do { |
| 264 | offset = (size_t)src & ~PAGE_MASK; |
| 265 | len = min(count - done, PAGE_SIZE - offset); |
Heiko Carstens | 066c437 | 2013-02-25 09:10:23 +0100 | [diff] [blame^] | 266 | if (segment_eq(get_fs(), KERNEL_DS)) { |
| 267 | if (copy_in_kernel(len, (void __user *) dst, src)) |
| 268 | return -EFAULT; |
| 269 | } else { |
| 270 | if (__user_copy_pt((unsigned long) src, dst, len, 0)) |
| 271 | return -EFAULT; |
| 272 | } |
Heiko Carstens | 225cf8d | 2013-02-25 07:24:20 +0100 | [diff] [blame] | 273 | len_str = strnlen(dst, len); |
| 274 | done += len_str; |
| 275 | src += len_str; |
| 276 | dst += len_str; |
| 277 | } while ((len_str == len) && (done < count)); |
| 278 | return done; |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 279 | } |
| 280 | |
| 281 | static size_t copy_in_user_pt(size_t n, void __user *to, |
| 282 | const void __user *from) |
| 283 | { |
| 284 | struct mm_struct *mm = current->mm; |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 285 | unsigned long offset_max, uaddr, done, size, error_code; |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 286 | unsigned long uaddr_from = (unsigned long) from; |
| 287 | unsigned long uaddr_to = (unsigned long) to; |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 288 | unsigned long kaddr_to, kaddr_from; |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 289 | int write_user; |
| 290 | |
Heiko Carstens | 066c437 | 2013-02-25 09:10:23 +0100 | [diff] [blame^] | 291 | if (segment_eq(get_fs(), KERNEL_DS)) |
| 292 | return copy_in_kernel(n, to, from); |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 293 | done = 0; |
| 294 | retry: |
| 295 | spin_lock(&mm->page_table_lock); |
| 296 | do { |
Gerald Schaefer | 6c1e3e7 | 2009-12-07 12:51:47 +0100 | [diff] [blame] | 297 | write_user = 0; |
| 298 | uaddr = uaddr_from; |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 299 | kaddr_from = follow_table(mm, uaddr_from, 0); |
| 300 | error_code = kaddr_from; |
| 301 | if (IS_ERR_VALUE(error_code)) |
Gerald Schaefer | 6c1e3e7 | 2009-12-07 12:51:47 +0100 | [diff] [blame] | 302 | goto fault; |
Martin Schwidefsky | e4aa402 | 2007-10-22 12:52:46 +0200 | [diff] [blame] | 303 | |
Gerald Schaefer | 6c1e3e7 | 2009-12-07 12:51:47 +0100 | [diff] [blame] | 304 | write_user = 1; |
| 305 | uaddr = uaddr_to; |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 306 | kaddr_to = follow_table(mm, uaddr_to, 1); |
| 307 | error_code = (unsigned long) kaddr_to; |
| 308 | if (IS_ERR_VALUE(error_code)) |
Gerald Schaefer | 6c1e3e7 | 2009-12-07 12:51:47 +0100 | [diff] [blame] | 309 | goto fault; |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 310 | |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 311 | offset_max = max(uaddr_from & ~PAGE_MASK, |
| 312 | uaddr_to & ~PAGE_MASK); |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 313 | size = min(n - done, PAGE_SIZE - offset_max); |
| 314 | |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 315 | memcpy((void *) kaddr_to, (void *) kaddr_from, size); |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 316 | done += size; |
| 317 | uaddr_from += size; |
| 318 | uaddr_to += size; |
| 319 | } while (done < n); |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 320 | spin_unlock(&mm->page_table_lock); |
| 321 | return n - done; |
| 322 | fault: |
| 323 | spin_unlock(&mm->page_table_lock); |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 324 | if (__handle_fault(uaddr, -error_code, write_user)) |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 325 | return n - done; |
| 326 | goto retry; |
| 327 | } |
| 328 | |
| 329 | #define __futex_atomic_op(insn, ret, oldval, newval, uaddr, oparg) \ |
| 330 | asm volatile("0: l %1,0(%6)\n" \ |
| 331 | "1: " insn \ |
| 332 | "2: cs %1,%2,0(%6)\n" \ |
| 333 | "3: jl 1b\n" \ |
| 334 | " lhi %0,0\n" \ |
| 335 | "4:\n" \ |
| 336 | EX_TABLE(0b,4b) EX_TABLE(2b,4b) EX_TABLE(3b,4b) \ |
| 337 | : "=d" (ret), "=&d" (oldval), "=&d" (newval), \ |
| 338 | "=m" (*uaddr) \ |
| 339 | : "0" (-EFAULT), "d" (oparg), "a" (uaddr), \ |
| 340 | "m" (*uaddr) : "cc" ); |
| 341 | |
Michel Lespinasse | 8d7718a | 2011-03-10 18:50:58 -0800 | [diff] [blame] | 342 | static int __futex_atomic_op_pt(int op, u32 __user *uaddr, int oparg, int *old) |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 343 | { |
| 344 | int oldval = 0, newval, ret; |
| 345 | |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 346 | switch (op) { |
| 347 | case FUTEX_OP_SET: |
| 348 | __futex_atomic_op("lr %2,%5\n", |
| 349 | ret, oldval, newval, uaddr, oparg); |
| 350 | break; |
| 351 | case FUTEX_OP_ADD: |
| 352 | __futex_atomic_op("lr %2,%1\nar %2,%5\n", |
| 353 | ret, oldval, newval, uaddr, oparg); |
| 354 | break; |
| 355 | case FUTEX_OP_OR: |
| 356 | __futex_atomic_op("lr %2,%1\nor %2,%5\n", |
| 357 | ret, oldval, newval, uaddr, oparg); |
| 358 | break; |
| 359 | case FUTEX_OP_ANDN: |
| 360 | __futex_atomic_op("lr %2,%1\nnr %2,%5\n", |
| 361 | ret, oldval, newval, uaddr, oparg); |
| 362 | break; |
| 363 | case FUTEX_OP_XOR: |
| 364 | __futex_atomic_op("lr %2,%1\nxr %2,%5\n", |
| 365 | ret, oldval, newval, uaddr, oparg); |
| 366 | break; |
| 367 | default: |
| 368 | ret = -ENOSYS; |
| 369 | } |
Heiko Carstens | 3f12ebc | 2008-04-17 07:46:27 +0200 | [diff] [blame] | 370 | if (ret == 0) |
| 371 | *old = oldval; |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 372 | return ret; |
| 373 | } |
| 374 | |
Michel Lespinasse | 8d7718a | 2011-03-10 18:50:58 -0800 | [diff] [blame] | 375 | int futex_atomic_op_pt(int op, u32 __user *uaddr, int oparg, int *old) |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 376 | { |
| 377 | int ret; |
| 378 | |
Heiko Carstens | 3f12ebc | 2008-04-17 07:46:27 +0200 | [diff] [blame] | 379 | if (segment_eq(get_fs(), KERNEL_DS)) |
| 380 | return __futex_atomic_op_pt(op, uaddr, oparg, old); |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 381 | spin_lock(¤t->mm->page_table_lock); |
Martin Schwidefsky | 3c52e49 | 2011-10-30 15:17:15 +0100 | [diff] [blame] | 382 | uaddr = (u32 __force __user *) |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 383 | __dat_user_addr((__force unsigned long) uaddr, 1); |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 384 | if (!uaddr) { |
| 385 | spin_unlock(¤t->mm->page_table_lock); |
| 386 | return -EFAULT; |
| 387 | } |
| 388 | get_page(virt_to_page(uaddr)); |
| 389 | spin_unlock(¤t->mm->page_table_lock); |
Heiko Carstens | 3f12ebc | 2008-04-17 07:46:27 +0200 | [diff] [blame] | 390 | ret = __futex_atomic_op_pt(op, uaddr, oparg, old); |
| 391 | put_page(virt_to_page(uaddr)); |
| 392 | return ret; |
| 393 | } |
| 394 | |
Michel Lespinasse | 8d7718a | 2011-03-10 18:50:58 -0800 | [diff] [blame] | 395 | static int __futex_atomic_cmpxchg_pt(u32 *uval, u32 __user *uaddr, |
| 396 | u32 oldval, u32 newval) |
Heiko Carstens | 3f12ebc | 2008-04-17 07:46:27 +0200 | [diff] [blame] | 397 | { |
| 398 | int ret; |
| 399 | |
| 400 | asm volatile("0: cs %1,%4,0(%5)\n" |
Michel Lespinasse | 37a9d91 | 2011-03-10 18:48:51 -0800 | [diff] [blame] | 401 | "1: la %0,0\n" |
Heiko Carstens | 3f12ebc | 2008-04-17 07:46:27 +0200 | [diff] [blame] | 402 | "2:\n" |
| 403 | EX_TABLE(0b,2b) EX_TABLE(1b,2b) |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 404 | : "=d" (ret), "+d" (oldval), "=m" (*uaddr) |
| 405 | : "0" (-EFAULT), "d" (newval), "a" (uaddr), "m" (*uaddr) |
| 406 | : "cc", "memory" ); |
Michel Lespinasse | 37a9d91 | 2011-03-10 18:48:51 -0800 | [diff] [blame] | 407 | *uval = oldval; |
Heiko Carstens | 3f12ebc | 2008-04-17 07:46:27 +0200 | [diff] [blame] | 408 | return ret; |
| 409 | } |
| 410 | |
Michel Lespinasse | 8d7718a | 2011-03-10 18:50:58 -0800 | [diff] [blame] | 411 | int futex_atomic_cmpxchg_pt(u32 *uval, u32 __user *uaddr, |
| 412 | u32 oldval, u32 newval) |
Heiko Carstens | 3f12ebc | 2008-04-17 07:46:27 +0200 | [diff] [blame] | 413 | { |
| 414 | int ret; |
| 415 | |
| 416 | if (segment_eq(get_fs(), KERNEL_DS)) |
Michel Lespinasse | 37a9d91 | 2011-03-10 18:48:51 -0800 | [diff] [blame] | 417 | return __futex_atomic_cmpxchg_pt(uval, uaddr, oldval, newval); |
Heiko Carstens | 3f12ebc | 2008-04-17 07:46:27 +0200 | [diff] [blame] | 418 | spin_lock(¤t->mm->page_table_lock); |
Martin Schwidefsky | 3c52e49 | 2011-10-30 15:17:15 +0100 | [diff] [blame] | 419 | uaddr = (u32 __force __user *) |
Gerald Schaefer | 4db84d4 | 2012-09-10 16:43:26 +0200 | [diff] [blame] | 420 | __dat_user_addr((__force unsigned long) uaddr, 1); |
Heiko Carstens | 3f12ebc | 2008-04-17 07:46:27 +0200 | [diff] [blame] | 421 | if (!uaddr) { |
| 422 | spin_unlock(¤t->mm->page_table_lock); |
| 423 | return -EFAULT; |
| 424 | } |
| 425 | get_page(virt_to_page(uaddr)); |
| 426 | spin_unlock(¤t->mm->page_table_lock); |
Michel Lespinasse | 37a9d91 | 2011-03-10 18:48:51 -0800 | [diff] [blame] | 427 | ret = __futex_atomic_cmpxchg_pt(uval, uaddr, oldval, newval); |
Gerald Schaefer | c1821c2 | 2007-02-05 21:18:17 +0100 | [diff] [blame] | 428 | put_page(virt_to_page(uaddr)); |
| 429 | return ret; |
| 430 | } |
| 431 | |
| 432 | struct uaccess_ops uaccess_pt = { |
| 433 | .copy_from_user = copy_from_user_pt, |
| 434 | .copy_from_user_small = copy_from_user_pt, |
| 435 | .copy_to_user = copy_to_user_pt, |
| 436 | .copy_to_user_small = copy_to_user_pt, |
| 437 | .copy_in_user = copy_in_user_pt, |
| 438 | .clear_user = clear_user_pt, |
| 439 | .strnlen_user = strnlen_user_pt, |
| 440 | .strncpy_from_user = strncpy_from_user_pt, |
| 441 | .futex_atomic_op = futex_atomic_op_pt, |
| 442 | .futex_atomic_cmpxchg = futex_atomic_cmpxchg_pt, |
| 443 | }; |