blob: a049bf7f51507f10ad873ffd16ba8d7a3c9b28ff [file] [log] [blame]
Catalin Marinas6170a972012-03-05 11:49:29 +00001/*
2 * Based on arch/arm/include/asm/atomic.h
3 *
4 * Copyright (C) 1996 Russell King.
5 * Copyright (C) 2002 Deep Blue Solutions Ltd.
6 * Copyright (C) 2012 ARM Ltd.
7 *
8 * This program is free software; you can redistribute it and/or modify
9 * it under the terms of the GNU General Public License version 2 as
10 * published by the Free Software Foundation.
11 *
12 * This program is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with this program. If not, see <http://www.gnu.org/licenses/>.
19 */
20#ifndef __ASM_ATOMIC_H
21#define __ASM_ATOMIC_H
22
23#include <linux/compiler.h>
24#include <linux/types.h>
25
26#include <asm/barrier.h>
27#include <asm/cmpxchg.h>
28
29#define ATOMIC_INIT(i) { (i) }
30
31#ifdef __KERNEL__
32
33/*
34 * On ARM, ordinary assignment (str instruction) doesn't clear the local
35 * strex/ldrex monitor on some implementations. The reason we can use it for
36 * atomic_set() is the clrex or dummy strex done on every exception return.
37 */
38#define atomic_read(v) (*(volatile int *)&(v)->counter)
39#define atomic_set(v,i) (((v)->counter) = (i))
40
41/*
42 * AArch64 UP and SMP safe atomic ops. We use load exclusive and
43 * store exclusive to ensure that these are atomic. We may loop
44 * to ensure that the update happens.
45 */
46static inline void atomic_add(int i, atomic_t *v)
47{
48 unsigned long tmp;
49 int result;
50
51 asm volatile("// atomic_add\n"
Will Deacon3a0310e2013-02-04 12:12:33 +000052"1: ldxr %w0, %2\n"
53" add %w0, %w0, %w3\n"
54" stxr %w1, %w0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +000055" cbnz %w1, 1b"
Will Deacon3a0310e2013-02-04 12:12:33 +000056 : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)
Will Deacon8d0390d2014-02-04 12:29:13 +000057 : "Ir" (i));
Catalin Marinas6170a972012-03-05 11:49:29 +000058}
59
60static inline int atomic_add_return(int i, atomic_t *v)
61{
62 unsigned long tmp;
63 int result;
64
65 asm volatile("// atomic_add_return\n"
Will Deacond0d49072014-02-04 12:29:12 +000066"1: ldxr %w0, %2\n"
Will Deacon3a0310e2013-02-04 12:12:33 +000067" add %w0, %w0, %w3\n"
68" stlxr %w1, %w0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +000069" cbnz %w1, 1b"
Will Deacon3a0310e2013-02-04 12:12:33 +000070 : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)
71 : "Ir" (i)
Will Deacon8d0390d2014-02-04 12:29:13 +000072 : "memory");
Catalin Marinas6170a972012-03-05 11:49:29 +000073
Will Deacond0d49072014-02-04 12:29:12 +000074 smp_mb();
Catalin Marinas6170a972012-03-05 11:49:29 +000075 return result;
76}
77
78static inline void atomic_sub(int i, atomic_t *v)
79{
80 unsigned long tmp;
81 int result;
82
83 asm volatile("// atomic_sub\n"
Will Deacon3a0310e2013-02-04 12:12:33 +000084"1: ldxr %w0, %2\n"
85" sub %w0, %w0, %w3\n"
86" stxr %w1, %w0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +000087" cbnz %w1, 1b"
Will Deacon3a0310e2013-02-04 12:12:33 +000088 : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)
Will Deacon8d0390d2014-02-04 12:29:13 +000089 : "Ir" (i));
Catalin Marinas6170a972012-03-05 11:49:29 +000090}
91
92static inline int atomic_sub_return(int i, atomic_t *v)
93{
94 unsigned long tmp;
95 int result;
96
97 asm volatile("// atomic_sub_return\n"
Will Deacond0d49072014-02-04 12:29:12 +000098"1: ldxr %w0, %2\n"
Will Deacon3a0310e2013-02-04 12:12:33 +000099" sub %w0, %w0, %w3\n"
100" stlxr %w1, %w0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000101" cbnz %w1, 1b"
Will Deacon3a0310e2013-02-04 12:12:33 +0000102 : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)
103 : "Ir" (i)
Will Deacon8d0390d2014-02-04 12:29:13 +0000104 : "memory");
Catalin Marinas6170a972012-03-05 11:49:29 +0000105
Will Deacond0d49072014-02-04 12:29:12 +0000106 smp_mb();
Catalin Marinas6170a972012-03-05 11:49:29 +0000107 return result;
108}
109
110static inline int atomic_cmpxchg(atomic_t *ptr, int old, int new)
111{
112 unsigned long tmp;
113 int oldval;
114
Will Deacond0d49072014-02-04 12:29:12 +0000115 smp_mb();
116
Catalin Marinas6170a972012-03-05 11:49:29 +0000117 asm volatile("// atomic_cmpxchg\n"
Will Deacond0d49072014-02-04 12:29:12 +0000118"1: ldxr %w1, %2\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000119" cmp %w1, %w3\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000120" b.ne 2f\n"
Will Deacond0d49072014-02-04 12:29:12 +0000121" stxr %w0, %w4, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000122" cbnz %w0, 1b\n"
123"2:"
Will Deacon3a0310e2013-02-04 12:12:33 +0000124 : "=&r" (tmp), "=&r" (oldval), "+Q" (ptr->counter)
125 : "Ir" (old), "r" (new)
Will Deacon8d0390d2014-02-04 12:29:13 +0000126 : "cc");
Catalin Marinas6170a972012-03-05 11:49:29 +0000127
Will Deacond0d49072014-02-04 12:29:12 +0000128 smp_mb();
Catalin Marinas6170a972012-03-05 11:49:29 +0000129 return oldval;
130}
131
132static inline void atomic_clear_mask(unsigned long mask, unsigned long *addr)
133{
134 unsigned long tmp, tmp2;
135
136 asm volatile("// atomic_clear_mask\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000137"1: ldxr %0, %2\n"
138" bic %0, %0, %3\n"
139" stxr %w1, %0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000140" cbnz %w1, 1b"
Will Deacon3a0310e2013-02-04 12:12:33 +0000141 : "=&r" (tmp), "=&r" (tmp2), "+Q" (*addr)
142 : "Ir" (mask)
Catalin Marinas6170a972012-03-05 11:49:29 +0000143 : "cc");
144}
145
146#define atomic_xchg(v, new) (xchg(&((v)->counter), new))
147
148static inline int __atomic_add_unless(atomic_t *v, int a, int u)
149{
150 int c, old;
151
152 c = atomic_read(v);
153 while (c != u && (old = atomic_cmpxchg((v), c, c + a)) != c)
154 c = old;
155 return c;
156}
157
158#define atomic_inc(v) atomic_add(1, v)
159#define atomic_dec(v) atomic_sub(1, v)
160
161#define atomic_inc_and_test(v) (atomic_add_return(1, v) == 0)
162#define atomic_dec_and_test(v) (atomic_sub_return(1, v) == 0)
163#define atomic_inc_return(v) (atomic_add_return(1, v))
164#define atomic_dec_return(v) (atomic_sub_return(1, v))
165#define atomic_sub_and_test(i, v) (atomic_sub_return(i, v) == 0)
166
167#define atomic_add_negative(i,v) (atomic_add_return(i, v) < 0)
168
169#define smp_mb__before_atomic_dec() smp_mb()
170#define smp_mb__after_atomic_dec() smp_mb()
171#define smp_mb__before_atomic_inc() smp_mb()
172#define smp_mb__after_atomic_inc() smp_mb()
173
174/*
175 * 64-bit atomic operations.
176 */
177#define ATOMIC64_INIT(i) { (i) }
178
Bjorn Helgaas045d86c2014-05-08 22:13:47 +0100179#define atomic64_read(v) (*(volatile long *)&(v)->counter)
Catalin Marinas6170a972012-03-05 11:49:29 +0000180#define atomic64_set(v,i) (((v)->counter) = (i))
181
182static inline void atomic64_add(u64 i, atomic64_t *v)
183{
184 long result;
185 unsigned long tmp;
186
187 asm volatile("// atomic64_add\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000188"1: ldxr %0, %2\n"
189" add %0, %0, %3\n"
190" stxr %w1, %0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000191" cbnz %w1, 1b"
Will Deacon3a0310e2013-02-04 12:12:33 +0000192 : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)
Will Deacon8d0390d2014-02-04 12:29:13 +0000193 : "Ir" (i));
Catalin Marinas6170a972012-03-05 11:49:29 +0000194}
195
196static inline long atomic64_add_return(long i, atomic64_t *v)
197{
198 long result;
199 unsigned long tmp;
200
201 asm volatile("// atomic64_add_return\n"
Will Deacond0d49072014-02-04 12:29:12 +0000202"1: ldxr %0, %2\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000203" add %0, %0, %3\n"
204" stlxr %w1, %0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000205" cbnz %w1, 1b"
Will Deacon3a0310e2013-02-04 12:12:33 +0000206 : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)
207 : "Ir" (i)
Will Deacon8d0390d2014-02-04 12:29:13 +0000208 : "memory");
Catalin Marinas6170a972012-03-05 11:49:29 +0000209
Will Deacond0d49072014-02-04 12:29:12 +0000210 smp_mb();
Catalin Marinas6170a972012-03-05 11:49:29 +0000211 return result;
212}
213
214static inline void atomic64_sub(u64 i, atomic64_t *v)
215{
216 long result;
217 unsigned long tmp;
218
219 asm volatile("// atomic64_sub\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000220"1: ldxr %0, %2\n"
221" sub %0, %0, %3\n"
222" stxr %w1, %0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000223" cbnz %w1, 1b"
Will Deacon3a0310e2013-02-04 12:12:33 +0000224 : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)
Will Deacon8d0390d2014-02-04 12:29:13 +0000225 : "Ir" (i));
Catalin Marinas6170a972012-03-05 11:49:29 +0000226}
227
228static inline long atomic64_sub_return(long i, atomic64_t *v)
229{
230 long result;
231 unsigned long tmp;
232
233 asm volatile("// atomic64_sub_return\n"
Will Deacond0d49072014-02-04 12:29:12 +0000234"1: ldxr %0, %2\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000235" sub %0, %0, %3\n"
236" stlxr %w1, %0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000237" cbnz %w1, 1b"
Will Deacon3a0310e2013-02-04 12:12:33 +0000238 : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)
239 : "Ir" (i)
Will Deacon8d0390d2014-02-04 12:29:13 +0000240 : "memory");
Catalin Marinas6170a972012-03-05 11:49:29 +0000241
Will Deacond0d49072014-02-04 12:29:12 +0000242 smp_mb();
Catalin Marinas6170a972012-03-05 11:49:29 +0000243 return result;
244}
245
246static inline long atomic64_cmpxchg(atomic64_t *ptr, long old, long new)
247{
248 long oldval;
249 unsigned long res;
250
Will Deacond0d49072014-02-04 12:29:12 +0000251 smp_mb();
252
Catalin Marinas6170a972012-03-05 11:49:29 +0000253 asm volatile("// atomic64_cmpxchg\n"
Will Deacond0d49072014-02-04 12:29:12 +0000254"1: ldxr %1, %2\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000255" cmp %1, %3\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000256" b.ne 2f\n"
Will Deacond0d49072014-02-04 12:29:12 +0000257" stxr %w0, %4, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000258" cbnz %w0, 1b\n"
259"2:"
Will Deacon3a0310e2013-02-04 12:12:33 +0000260 : "=&r" (res), "=&r" (oldval), "+Q" (ptr->counter)
261 : "Ir" (old), "r" (new)
Will Deacon8d0390d2014-02-04 12:29:13 +0000262 : "cc");
Catalin Marinas6170a972012-03-05 11:49:29 +0000263
Will Deacond0d49072014-02-04 12:29:12 +0000264 smp_mb();
Catalin Marinas6170a972012-03-05 11:49:29 +0000265 return oldval;
266}
267
268#define atomic64_xchg(v, new) (xchg(&((v)->counter), new))
269
270static inline long atomic64_dec_if_positive(atomic64_t *v)
271{
272 long result;
273 unsigned long tmp;
274
275 asm volatile("// atomic64_dec_if_positive\n"
Will Deacond0d49072014-02-04 12:29:12 +0000276"1: ldxr %0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000277" subs %0, %0, #1\n"
278" b.mi 2f\n"
Will Deacon3a0310e2013-02-04 12:12:33 +0000279" stlxr %w1, %0, %2\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000280" cbnz %w1, 1b\n"
Will Deacond0d49072014-02-04 12:29:12 +0000281" dmb ish\n"
Catalin Marinas6170a972012-03-05 11:49:29 +0000282"2:"
Will Deacon3a0310e2013-02-04 12:12:33 +0000283 : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)
284 :
285 : "cc", "memory");
Catalin Marinas6170a972012-03-05 11:49:29 +0000286
287 return result;
288}
289
290static inline int atomic64_add_unless(atomic64_t *v, long a, long u)
291{
292 long c, old;
293
294 c = atomic64_read(v);
295 while (c != u && (old = atomic64_cmpxchg((v), c, c + a)) != c)
296 c = old;
297
298 return c != u;
299}
300
301#define atomic64_add_negative(a, v) (atomic64_add_return((a), (v)) < 0)
302#define atomic64_inc(v) atomic64_add(1LL, (v))
303#define atomic64_inc_return(v) atomic64_add_return(1LL, (v))
304#define atomic64_inc_and_test(v) (atomic64_inc_return(v) == 0)
305#define atomic64_sub_and_test(a, v) (atomic64_sub_return((a), (v)) == 0)
306#define atomic64_dec(v) atomic64_sub(1LL, (v))
307#define atomic64_dec_return(v) atomic64_sub_return(1LL, (v))
308#define atomic64_dec_and_test(v) (atomic64_dec_return((v)) == 0)
309#define atomic64_inc_not_zero(v) atomic64_add_unless((v), 1LL, 0LL)
310
311#endif
312#endif