blob: ed023eae067447d24e19ac421d694de5bcb7e624 [file] [log] [blame]
Jakub Jelinek4732efb2005-09-06 15:16:25 -07001#ifndef _ASM_FUTEX_H
2#define _ASM_FUTEX_H
3
4#ifdef __KERNEL__
5
6#include <linux/futex.h>
7#include <asm/errno.h>
8#include <asm/uaccess.h>
Ralf Baechle6ee1da92006-05-03 20:42:39 +01009#include <asm/war.h>
Jakub Jelinek4732efb2005-09-06 15:16:25 -070010
Ralf Baechleebfaeba2005-09-15 08:52:34 +000011#ifdef CONFIG_SMP
12#define __FUTEX_SMP_SYNC " sync \n"
13#else
14#define __FUTEX_SMP_SYNC
15#endif
16
17#define __futex_atomic_op(insn, ret, oldval, uaddr, oparg) \
18{ \
Ralf Baechle6ee1da92006-05-03 20:42:39 +010019 if (cpu_has_llsc && R10000_LLSC_WAR) { \
20 __asm__ __volatile__( \
21 " .set push \n" \
22 " .set noat \n" \
23 " .set mips3 \n" \
Atsushi Nemoto0307e8d2006-06-11 23:25:43 +090024 "1: ll %1, %4 # __futex_atomic_op \n" \
Ralf Baechle6ee1da92006-05-03 20:42:39 +010025 " .set mips0 \n" \
26 " " insn " \n" \
27 " .set mips3 \n" \
Atsushi Nemoto0307e8d2006-06-11 23:25:43 +090028 "2: sc $1, %2 \n" \
Ralf Baechle6ee1da92006-05-03 20:42:39 +010029 " beqzl $1, 1b \n" \
30 __FUTEX_SMP_SYNC \
31 "3: \n" \
32 " .set pop \n" \
33 " .set mips0 \n" \
34 " .section .fixup,\"ax\" \n" \
Atsushi Nemoto0307e8d2006-06-11 23:25:43 +090035 "4: li %0, %6 \n" \
Ralf Baechle6ee1da92006-05-03 20:42:39 +010036 " j 2b \n" \
37 " .previous \n" \
38 " .section __ex_table,\"a\" \n" \
39 " "__UA_ADDR "\t1b, 4b \n" \
40 " "__UA_ADDR "\t2b, 4b \n" \
41 " .previous \n" \
Atsushi Nemoto0307e8d2006-06-11 23:25:43 +090042 : "=r" (ret), "=&r" (oldval), "=R" (*uaddr) \
43 : "0" (0), "R" (*uaddr), "Jr" (oparg), "i" (-EFAULT) \
44 : "memory"); \
Ralf Baechle6ee1da92006-05-03 20:42:39 +010045 } else if (cpu_has_llsc) { \
46 __asm__ __volatile__( \
47 " .set push \n" \
48 " .set noat \n" \
49 " .set mips3 \n" \
Atsushi Nemoto0307e8d2006-06-11 23:25:43 +090050 "1: ll %1, %4 # __futex_atomic_op \n" \
Ralf Baechle6ee1da92006-05-03 20:42:39 +010051 " .set mips0 \n" \
52 " " insn " \n" \
53 " .set mips3 \n" \
Atsushi Nemoto0307e8d2006-06-11 23:25:43 +090054 "2: sc $1, %2 \n" \
Ralf Baechle6ee1da92006-05-03 20:42:39 +010055 " beqz $1, 1b \n" \
56 __FUTEX_SMP_SYNC \
57 "3: \n" \
58 " .set pop \n" \
59 " .set mips0 \n" \
60 " .section .fixup,\"ax\" \n" \
Atsushi Nemoto0307e8d2006-06-11 23:25:43 +090061 "4: li %0, %6 \n" \
Ralf Baechle6ee1da92006-05-03 20:42:39 +010062 " j 2b \n" \
63 " .previous \n" \
64 " .section __ex_table,\"a\" \n" \
65 " "__UA_ADDR "\t1b, 4b \n" \
66 " "__UA_ADDR "\t2b, 4b \n" \
67 " .previous \n" \
Atsushi Nemoto0307e8d2006-06-11 23:25:43 +090068 : "=r" (ret), "=&r" (oldval), "=R" (*uaddr) \
69 : "0" (0), "R" (*uaddr), "Jr" (oparg), "i" (-EFAULT) \
70 : "memory"); \
Ralf Baechle6ee1da92006-05-03 20:42:39 +010071 } else \
72 ret = -ENOSYS; \
Ralf Baechleebfaeba2005-09-15 08:52:34 +000073}
74
Jakub Jelinek4732efb2005-09-06 15:16:25 -070075static inline int
76futex_atomic_op_inuser (int encoded_op, int __user *uaddr)
77{
78 int op = (encoded_op >> 28) & 7;
79 int cmp = (encoded_op >> 24) & 15;
80 int oparg = (encoded_op << 8) >> 20;
81 int cmparg = (encoded_op << 20) >> 20;
82 int oldval = 0, ret;
83 if (encoded_op & (FUTEX_OP_OPARG_SHIFT << 28))
84 oparg = 1 << oparg;
85
86 if (! access_ok (VERIFY_WRITE, uaddr, sizeof(int)))
87 return -EFAULT;
88
89 inc_preempt_count();
90
91 switch (op) {
92 case FUTEX_OP_SET:
Atsushi Nemoto0307e8d2006-06-11 23:25:43 +090093 __futex_atomic_op("move $1, %z5", ret, oldval, uaddr, oparg);
Ralf Baechleebfaeba2005-09-15 08:52:34 +000094 break;
95
Jakub Jelinek4732efb2005-09-06 15:16:25 -070096 case FUTEX_OP_ADD:
Atsushi Nemoto0307e8d2006-06-11 23:25:43 +090097 __futex_atomic_op("addu $1, %1, %z5",
Ralf Baechleebfaeba2005-09-15 08:52:34 +000098 ret, oldval, uaddr, oparg);
99 break;
Jakub Jelinek4732efb2005-09-06 15:16:25 -0700100 case FUTEX_OP_OR:
Atsushi Nemoto0307e8d2006-06-11 23:25:43 +0900101 __futex_atomic_op("or $1, %1, %z5",
Ralf Baechleebfaeba2005-09-15 08:52:34 +0000102 ret, oldval, uaddr, oparg);
103 break;
Jakub Jelinek4732efb2005-09-06 15:16:25 -0700104 case FUTEX_OP_ANDN:
Atsushi Nemoto0307e8d2006-06-11 23:25:43 +0900105 __futex_atomic_op("and $1, %1, %z5",
Ralf Baechleebfaeba2005-09-15 08:52:34 +0000106 ret, oldval, uaddr, ~oparg);
107 break;
Jakub Jelinek4732efb2005-09-06 15:16:25 -0700108 case FUTEX_OP_XOR:
Atsushi Nemoto0307e8d2006-06-11 23:25:43 +0900109 __futex_atomic_op("xor $1, %1, %z5",
Ralf Baechleebfaeba2005-09-15 08:52:34 +0000110 ret, oldval, uaddr, oparg);
111 break;
Jakub Jelinek4732efb2005-09-06 15:16:25 -0700112 default:
113 ret = -ENOSYS;
114 }
115
116 dec_preempt_count();
117
118 if (!ret) {
119 switch (cmp) {
120 case FUTEX_OP_CMP_EQ: ret = (oldval == cmparg); break;
121 case FUTEX_OP_CMP_NE: ret = (oldval != cmparg); break;
122 case FUTEX_OP_CMP_LT: ret = (oldval < cmparg); break;
123 case FUTEX_OP_CMP_GE: ret = (oldval >= cmparg); break;
124 case FUTEX_OP_CMP_LE: ret = (oldval <= cmparg); break;
125 case FUTEX_OP_CMP_GT: ret = (oldval > cmparg); break;
126 default: ret = -ENOSYS;
127 }
128 }
129 return ret;
130}
131
Ingo Molnare9056f12006-03-27 01:16:21 -0800132static inline int
Ingo Molnar8f17d3a2006-03-27 01:16:27 -0800133futex_atomic_cmpxchg_inatomic(int __user *uaddr, int oldval, int newval)
Ingo Molnare9056f12006-03-27 01:16:21 -0800134{
Ralf Baechle6ee1da92006-05-03 20:42:39 +0100135 int retval;
136
137 if (!access_ok(VERIFY_WRITE, uaddr, sizeof(int)))
138 return -EFAULT;
139
140 if (cpu_has_llsc && R10000_LLSC_WAR) {
141 __asm__ __volatile__(
142 "# futex_atomic_cmpxchg_inatomic \n"
143 " .set push \n"
144 " .set noat \n"
145 " .set mips3 \n"
146 "1: ll %0, %2 \n"
147 " bne %0, %z3, 3f \n"
148 " .set mips0 \n"
149 " move $1, %z4 \n"
150 " .set mips3 \n"
151 "2: sc $1, %1 \n"
152 " beqzl $1, 1b \n"
153 __FUTEX_SMP_SYNC
154 "3: \n"
155 " .set pop \n"
156 " .section .fixup,\"ax\" \n"
157 "4: li %0, %5 \n"
158 " j 3b \n"
159 " .previous \n"
160 " .section __ex_table,\"a\" \n"
161 " "__UA_ADDR "\t1b, 4b \n"
162 " "__UA_ADDR "\t2b, 4b \n"
163 " .previous \n"
164 : "=&r" (retval), "=R" (*uaddr)
165 : "R" (*uaddr), "Jr" (oldval), "Jr" (newval), "i" (-EFAULT)
166 : "memory");
167 } else if (cpu_has_llsc) {
168 __asm__ __volatile__(
169 "# futex_atomic_cmpxchg_inatomic \n"
170 " .set push \n"
171 " .set noat \n"
172 " .set mips3 \n"
173 "1: ll %0, %2 \n"
174 " bne %0, %z3, 3f \n"
175 " .set mips0 \n"
176 " move $1, %z4 \n"
177 " .set mips3 \n"
178 "2: sc $1, %1 \n"
179 " beqz $1, 1b \n"
180 __FUTEX_SMP_SYNC
181 "3: \n"
182 " .set pop \n"
183 " .section .fixup,\"ax\" \n"
184 "4: li %0, %5 \n"
185 " j 3b \n"
186 " .previous \n"
187 " .section __ex_table,\"a\" \n"
188 " "__UA_ADDR "\t1b, 4b \n"
189 " "__UA_ADDR "\t2b, 4b \n"
190 " .previous \n"
191 : "=&r" (retval), "=R" (*uaddr)
192 : "R" (*uaddr), "Jr" (oldval), "Jr" (newval), "i" (-EFAULT)
193 : "memory");
194 } else
195 return -ENOSYS;
196
197 return retval;
Ingo Molnare9056f12006-03-27 01:16:21 -0800198}
199
Jakub Jelinek4732efb2005-09-06 15:16:25 -0700200#endif
201#endif