blob: 0e29d8e6a5c2ae69332a7d24ed78de93d2957766 [file] [log] [blame]
Mikael Petterssone589ed22008-08-20 09:36:07 +01001#ifndef _ASM_ARM_FUTEX_H
2#define _ASM_ARM_FUTEX_H
3
4#ifdef __KERNEL__
5
6#ifdef CONFIG_SMP
Jakub Jelinek4732efb2005-09-06 15:16:25 -07007
Jeff Dikef8aaeace2006-01-08 01:01:32 -08008#include <asm-generic/futex.h>
Jakub Jelinek4732efb2005-09-06 15:16:25 -07009
Mikael Petterssone589ed22008-08-20 09:36:07 +010010#else /* !SMP, we can work around lack of atomic ops by disabling preemption */
11
12#include <linux/futex.h>
13#include <linux/preempt.h>
14#include <linux/uaccess.h>
15#include <asm/errno.h>
Catalin Marinas247055a2010-09-13 16:03:21 +010016#include <asm/domain.h>
Mikael Petterssone589ed22008-08-20 09:36:07 +010017
18#define __futex_atomic_op(insn, ret, oldval, uaddr, oparg) \
19 __asm__ __volatile__( \
Catalin Marinas247055a2010-09-13 16:03:21 +010020 "1: " T(ldr) " %1, [%2]\n" \
Mikael Petterssone589ed22008-08-20 09:36:07 +010021 " " insn "\n" \
Catalin Marinas247055a2010-09-13 16:03:21 +010022 "2: " T(str) " %0, [%2]\n" \
Mikael Petterssone589ed22008-08-20 09:36:07 +010023 " mov %0, #0\n" \
24 "3:\n" \
Russell King42604152010-04-19 10:15:03 +010025 " .pushsection __ex_table,\"a\"\n" \
Mikael Petterssone589ed22008-08-20 09:36:07 +010026 " .align 3\n" \
27 " .long 1b, 4f, 2b, 4f\n" \
Russell King42604152010-04-19 10:15:03 +010028 " .popsection\n" \
29 " .pushsection .fixup,\"ax\"\n" \
Mikael Petterssone589ed22008-08-20 09:36:07 +010030 "4: mov %0, %4\n" \
31 " b 3b\n" \
Russell King42604152010-04-19 10:15:03 +010032 " .popsection" \
Mikael Petterssone589ed22008-08-20 09:36:07 +010033 : "=&r" (ret), "=&r" (oldval) \
34 : "r" (uaddr), "r" (oparg), "Ir" (-EFAULT) \
35 : "cc", "memory")
36
37static inline int
Michel Lespinasse8d7718a2011-03-10 18:50:58 -080038futex_atomic_op_inuser (int encoded_op, u32 __user *uaddr)
Mikael Petterssone589ed22008-08-20 09:36:07 +010039{
40 int op = (encoded_op >> 28) & 7;
41 int cmp = (encoded_op >> 24) & 15;
42 int oparg = (encoded_op << 8) >> 20;
43 int cmparg = (encoded_op << 20) >> 20;
44 int oldval = 0, ret;
45
46 if (encoded_op & (FUTEX_OP_OPARG_SHIFT << 28))
47 oparg = 1 << oparg;
48
Michel Lespinasse8d7718a2011-03-10 18:50:58 -080049 if (!access_ok(VERIFY_WRITE, uaddr, sizeof(u32)))
Mikael Petterssone589ed22008-08-20 09:36:07 +010050 return -EFAULT;
51
52 pagefault_disable(); /* implies preempt_disable() */
53
54 switch (op) {
55 case FUTEX_OP_SET:
56 __futex_atomic_op("mov %0, %3", ret, oldval, uaddr, oparg);
57 break;
58 case FUTEX_OP_ADD:
59 __futex_atomic_op("add %0, %1, %3", ret, oldval, uaddr, oparg);
60 break;
61 case FUTEX_OP_OR:
62 __futex_atomic_op("orr %0, %1, %3", ret, oldval, uaddr, oparg);
63 break;
64 case FUTEX_OP_ANDN:
65 __futex_atomic_op("and %0, %1, %3", ret, oldval, uaddr, ~oparg);
66 break;
67 case FUTEX_OP_XOR:
68 __futex_atomic_op("eor %0, %1, %3", ret, oldval, uaddr, oparg);
69 break;
70 default:
71 ret = -ENOSYS;
72 }
73
74 pagefault_enable(); /* subsumes preempt_enable() */
75
76 if (!ret) {
77 switch (cmp) {
78 case FUTEX_OP_CMP_EQ: ret = (oldval == cmparg); break;
79 case FUTEX_OP_CMP_NE: ret = (oldval != cmparg); break;
80 case FUTEX_OP_CMP_LT: ret = (oldval < cmparg); break;
81 case FUTEX_OP_CMP_GE: ret = (oldval >= cmparg); break;
82 case FUTEX_OP_CMP_LE: ret = (oldval <= cmparg); break;
83 case FUTEX_OP_CMP_GT: ret = (oldval > cmparg); break;
84 default: ret = -ENOSYS;
85 }
86 }
87 return ret;
88}
89
90static inline int
Michel Lespinasse8d7718a2011-03-10 18:50:58 -080091futex_atomic_cmpxchg_inatomic(u32 *uval, u32 __user *uaddr,
92 u32 oldval, u32 newval)
Mikael Petterssone589ed22008-08-20 09:36:07 +010093{
Michel Lespinasse8d7718a2011-03-10 18:50:58 -080094 int ret = 0;
95 u32 val;
Mikael Petterssone589ed22008-08-20 09:36:07 +010096
Michel Lespinasse8d7718a2011-03-10 18:50:58 -080097 if (!access_ok(VERIFY_WRITE, uaddr, sizeof(u32)))
Mikael Petterssone589ed22008-08-20 09:36:07 +010098 return -EFAULT;
99
Michel Lespinasse522d7de2011-03-10 18:47:31 -0800100 /* Note that preemption is disabled by futex_atomic_cmpxchg_inatomic
101 * call sites. */
Mikael Petterssone589ed22008-08-20 09:36:07 +0100102
103 __asm__ __volatile__("@futex_atomic_cmpxchg_inatomic\n"
Michel Lespinasse37a9d912011-03-10 18:48:51 -0800104 "1: " T(ldr) " %1, [%4]\n"
105 " teq %1, %2\n"
Catalin Marinasb86040a2009-07-24 12:32:54 +0100106 " it eq @ explicit IT needed for the 2b label\n"
Michel Lespinasse37a9d912011-03-10 18:48:51 -0800107 "2: " T(streq) " %3, [%4]\n"
Mikael Petterssone589ed22008-08-20 09:36:07 +0100108 "3:\n"
Russell King42604152010-04-19 10:15:03 +0100109 " .pushsection __ex_table,\"a\"\n"
Mikael Petterssone589ed22008-08-20 09:36:07 +0100110 " .align 3\n"
111 " .long 1b, 4f, 2b, 4f\n"
Russell King42604152010-04-19 10:15:03 +0100112 " .popsection\n"
113 " .pushsection .fixup,\"ax\"\n"
Michel Lespinasse37a9d912011-03-10 18:48:51 -0800114 "4: mov %0, %5\n"
Mikael Petterssone589ed22008-08-20 09:36:07 +0100115 " b 3b\n"
Russell King42604152010-04-19 10:15:03 +0100116 " .popsection"
Michel Lespinasse37a9d912011-03-10 18:48:51 -0800117 : "+r" (ret), "=&r" (val)
Mikael Petterssone589ed22008-08-20 09:36:07 +0100118 : "r" (oldval), "r" (newval), "r" (uaddr), "Ir" (-EFAULT)
119 : "cc", "memory");
120
Michel Lespinasse37a9d912011-03-10 18:48:51 -0800121 *uval = val;
122 return ret;
Mikael Petterssone589ed22008-08-20 09:36:07 +0100123}
124
125#endif /* !SMP */
126
127#endif /* __KERNEL__ */
128#endif /* _ASM_ARM_FUTEX_H */