blob: c5bc52e47f6ac31b6eb5554b8b762c14cc8f8ba5 [file] [log] [blame]
Catalin Marinas6170a972012-03-05 11:49:29 +00001/*
2 * Copyright (C) 2012 ARM Ltd.
3 *
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License version 2 as
6 * published by the Free Software Foundation.
7 *
8 * This program is distributed in the hope that it will be useful,
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 * GNU General Public License for more details.
12 *
13 * You should have received a copy of the GNU General Public License
14 * along with this program. If not, see <http://www.gnu.org/licenses/>.
15 */
16#ifndef __ASM_FUTEX_H
17#define __ASM_FUTEX_H
18
19#ifdef __KERNEL__
20
21#include <linux/futex.h>
22#include <linux/uaccess.h>
James Morse338d4f42015-07-22 19:05:54 +010023
Catalin Marinas6170a972012-03-05 11:49:29 +000024#include <asm/errno.h>
25
26#define __futex_atomic_op(insn, ret, oldval, uaddr, tmp, oparg) \
Catalin Marinas2962f1d2016-07-01 14:58:21 +010027do { \
28 uaccess_enable(); \
Catalin Marinas6170a972012-03-05 11:49:29 +000029 asm volatile( \
Will Deacon0ea366f2015-05-29 13:31:10 +010030" prfm pstl1strm, %2\n" \
Will Deacon8e86f0b2014-02-04 12:29:12 +000031"1: ldxr %w1, %2\n" \
Catalin Marinas6170a972012-03-05 11:49:29 +000032 insn "\n" \
33"2: stlxr %w3, %w0, %2\n" \
34" cbnz %w3, 1b\n" \
Will Deacon8e86f0b2014-02-04 12:29:12 +000035" dmb ish\n" \
Catalin Marinas6170a972012-03-05 11:49:29 +000036"3:\n" \
37" .pushsection .fixup,\"ax\"\n" \
Will Deacon4da7a562013-11-06 19:31:24 +000038" .align 2\n" \
Catalin Marinas6170a972012-03-05 11:49:29 +000039"4: mov %w0, %w5\n" \
40" b 3b\n" \
41" .popsection\n" \
Ard Biesheuvel6c94f272016-01-01 15:02:12 +010042 _ASM_EXTABLE(1b, 4b) \
43 _ASM_EXTABLE(2b, 4b) \
Catalin Marinas6170a972012-03-05 11:49:29 +000044 : "=&r" (ret), "=&r" (oldval), "+Q" (*uaddr), "=&r" (tmp) \
45 : "r" (oparg), "Ir" (-EFAULT) \
Catalin Marinas2962f1d2016-07-01 14:58:21 +010046 : "memory"); \
47 uaccess_disable(); \
48} while (0)
Catalin Marinas6170a972012-03-05 11:49:29 +000049
50static inline int
Will Deacon1cd969f2018-02-05 15:34:24 +000051futex_atomic_op_inuser(unsigned int encoded_op, u32 __user *_uaddr)
Catalin Marinas6170a972012-03-05 11:49:29 +000052{
53 int op = (encoded_op >> 28) & 7;
54 int cmp = (encoded_op >> 24) & 15;
Will Deacond7c5f8c2017-04-05 11:14:05 +010055 int oparg = (int)(encoded_op << 8) >> 20;
56 int cmparg = (int)(encoded_op << 20) >> 20;
Catalin Marinas6170a972012-03-05 11:49:29 +000057 int oldval = 0, ret, tmp;
Will Deacon1cd969f2018-02-05 15:34:24 +000058 u32 __user *uaddr = __uaccess_mask_ptr(_uaddr);
Catalin Marinas6170a972012-03-05 11:49:29 +000059
60 if (encoded_op & (FUTEX_OP_OPARG_SHIFT << 28))
Will Deacond7c5f8c2017-04-05 11:14:05 +010061 oparg = 1U << (oparg & 0x1f);
Catalin Marinas6170a972012-03-05 11:49:29 +000062
63 if (!access_ok(VERIFY_WRITE, uaddr, sizeof(u32)))
64 return -EFAULT;
65
David Hildenbrand2f09b222015-05-11 17:52:17 +020066 pagefault_disable();
Catalin Marinas6170a972012-03-05 11:49:29 +000067
68 switch (op) {
69 case FUTEX_OP_SET:
70 __futex_atomic_op("mov %w0, %w4",
71 ret, oldval, uaddr, tmp, oparg);
72 break;
73 case FUTEX_OP_ADD:
74 __futex_atomic_op("add %w0, %w1, %w4",
75 ret, oldval, uaddr, tmp, oparg);
76 break;
77 case FUTEX_OP_OR:
78 __futex_atomic_op("orr %w0, %w1, %w4",
79 ret, oldval, uaddr, tmp, oparg);
80 break;
81 case FUTEX_OP_ANDN:
82 __futex_atomic_op("and %w0, %w1, %w4",
83 ret, oldval, uaddr, tmp, ~oparg);
84 break;
85 case FUTEX_OP_XOR:
86 __futex_atomic_op("eor %w0, %w1, %w4",
87 ret, oldval, uaddr, tmp, oparg);
88 break;
89 default:
90 ret = -ENOSYS;
91 }
92
David Hildenbrand2f09b222015-05-11 17:52:17 +020093 pagefault_enable();
Catalin Marinas6170a972012-03-05 11:49:29 +000094
95 if (!ret) {
96 switch (cmp) {
97 case FUTEX_OP_CMP_EQ: ret = (oldval == cmparg); break;
98 case FUTEX_OP_CMP_NE: ret = (oldval != cmparg); break;
99 case FUTEX_OP_CMP_LT: ret = (oldval < cmparg); break;
100 case FUTEX_OP_CMP_GE: ret = (oldval >= cmparg); break;
101 case FUTEX_OP_CMP_LE: ret = (oldval <= cmparg); break;
102 case FUTEX_OP_CMP_GT: ret = (oldval > cmparg); break;
103 default: ret = -ENOSYS;
104 }
105 }
106 return ret;
107}
108
109static inline int
Will Deacon1cd969f2018-02-05 15:34:24 +0000110futex_atomic_cmpxchg_inatomic(u32 *uval, u32 __user *_uaddr,
Catalin Marinas6170a972012-03-05 11:49:29 +0000111 u32 oldval, u32 newval)
112{
113 int ret = 0;
114 u32 val, tmp;
Will Deacon1cd969f2018-02-05 15:34:24 +0000115 u32 __user *uaddr;
Catalin Marinas6170a972012-03-05 11:49:29 +0000116
Will Deacon1cd969f2018-02-05 15:34:24 +0000117 if (!access_ok(VERIFY_WRITE, _uaddr, sizeof(u32)))
Catalin Marinas6170a972012-03-05 11:49:29 +0000118 return -EFAULT;
119
Will Deacon1cd969f2018-02-05 15:34:24 +0000120 uaddr = __uaccess_mask_ptr(_uaddr);
Catalin Marinas2962f1d2016-07-01 14:58:21 +0100121 uaccess_enable();
Catalin Marinas6170a972012-03-05 11:49:29 +0000122 asm volatile("// futex_atomic_cmpxchg_inatomic\n"
Will Deacon0ea366f2015-05-29 13:31:10 +0100123" prfm pstl1strm, %2\n"
Will Deacon8e86f0b2014-02-04 12:29:12 +0000124"1: ldxr %w1, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000125" sub %w3, %w1, %w4\n"
126" cbnz %w3, 3f\n"
127"2: stlxr %w3, %w5, %2\n"
128" cbnz %w3, 1b\n"
Will Deacon8e86f0b2014-02-04 12:29:12 +0000129" dmb ish\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000130"3:\n"
131" .pushsection .fixup,\"ax\"\n"
132"4: mov %w0, %w6\n"
133" b 3b\n"
134" .popsection\n"
Ard Biesheuvel6c94f272016-01-01 15:02:12 +0100135 _ASM_EXTABLE(1b, 4b)
136 _ASM_EXTABLE(2b, 4b)
Catalin Marinas6170a972012-03-05 11:49:29 +0000137 : "+r" (ret), "=&r" (val), "+Q" (*uaddr), "=&r" (tmp)
138 : "r" (oldval), "r" (newval), "Ir" (-EFAULT)
Will Deacon95c41892014-02-04 12:29:13 +0000139 : "memory");
Catalin Marinas2962f1d2016-07-01 14:58:21 +0100140 uaccess_disable();
Catalin Marinas6170a972012-03-05 11:49:29 +0000141
142 *uval = val;
143 return ret;
144}
145
146#endif /* __KERNEL__ */
147#endif /* __ASM_FUTEX_H */