blob: bf2d34c9d804334cd0c634bf4d8ed921c08cfd7a [file] [log] [blame]
Jeff Dikef8aaeace2006-01-08 01:01:32 -08001#ifndef _ASM_GENERIC_FUTEX_H
2#define _ASM_GENERIC_FUTEX_H
3
Jeff Dikef8aaeace2006-01-08 01:01:32 -08004#include <linux/futex.h>
Jeff Dike730f4122008-04-30 00:54:49 -07005#include <linux/uaccess.h>
Jeff Dikef8aaeace2006-01-08 01:01:32 -08006#include <asm/errno.h>
Jeff Dikef8aaeace2006-01-08 01:01:32 -08007
Ley Foon Tan00f634b2014-11-06 15:19:34 +08008#ifndef CONFIG_SMP
9/*
10 * The following implementation only for uniprocessor machines.
David Hildenbrandf3dae072015-05-11 17:52:13 +020011 * It relies on preempt_disable() ensuring mutual exclusion.
Ley Foon Tan00f634b2014-11-06 15:19:34 +080012 *
13 */
14
15/**
16 * futex_atomic_op_inuser() - Atomic arithmetic operation with constant
17 * argument and comparison of the previous
18 * futex value with another constant.
19 *
20 * @encoded_op: encoded operation to execute
21 * @uaddr: pointer to user space address
22 *
23 * Return:
24 * 0 - On success
25 * <0 - On error
26 */
27static inline int
28futex_atomic_op_inuser(int encoded_op, u32 __user *uaddr)
29{
30 int op = (encoded_op >> 28) & 7;
31 int cmp = (encoded_op >> 24) & 15;
32 int oparg = (encoded_op << 8) >> 20;
33 int cmparg = (encoded_op << 20) >> 20;
34 int oldval, ret;
35 u32 tmp;
36
37 if (encoded_op & (FUTEX_OP_OPARG_SHIFT << 28))
38 oparg = 1 << oparg;
39
David Hildenbrandf3dae072015-05-11 17:52:13 +020040 preempt_disable();
Ley Foon Tan00f634b2014-11-06 15:19:34 +080041 pagefault_disable();
42
43 ret = -EFAULT;
44 if (unlikely(get_user(oldval, uaddr) != 0))
45 goto out_pagefault_enable;
46
47 ret = 0;
48 tmp = oldval;
49
50 switch (op) {
51 case FUTEX_OP_SET:
52 tmp = oparg;
53 break;
54 case FUTEX_OP_ADD:
55 tmp += oparg;
56 break;
57 case FUTEX_OP_OR:
58 tmp |= oparg;
59 break;
60 case FUTEX_OP_ANDN:
61 tmp &= ~oparg;
62 break;
63 case FUTEX_OP_XOR:
64 tmp ^= oparg;
65 break;
66 default:
67 ret = -ENOSYS;
68 }
69
70 if (ret == 0 && unlikely(put_user(tmp, uaddr) != 0))
71 ret = -EFAULT;
72
73out_pagefault_enable:
74 pagefault_enable();
David Hildenbrandf3dae072015-05-11 17:52:13 +020075 preempt_enable();
Ley Foon Tan00f634b2014-11-06 15:19:34 +080076
77 if (ret == 0) {
78 switch (cmp) {
79 case FUTEX_OP_CMP_EQ: ret = (oldval == cmparg); break;
80 case FUTEX_OP_CMP_NE: ret = (oldval != cmparg); break;
81 case FUTEX_OP_CMP_LT: ret = (oldval < cmparg); break;
82 case FUTEX_OP_CMP_GE: ret = (oldval >= cmparg); break;
83 case FUTEX_OP_CMP_LE: ret = (oldval <= cmparg); break;
84 case FUTEX_OP_CMP_GT: ret = (oldval > cmparg); break;
85 default: ret = -ENOSYS;
86 }
87 }
88 return ret;
89}
90
91/**
92 * futex_atomic_cmpxchg_inatomic() - Compare and exchange the content of the
93 * uaddr with newval if the current value is
94 * oldval.
95 * @uval: pointer to store content of @uaddr
96 * @uaddr: pointer to user space address
97 * @oldval: old value
98 * @newval: new value to store to @uaddr
99 *
100 * Return:
101 * 0 - On success
102 * <0 - On error
103 */
104static inline int
105futex_atomic_cmpxchg_inatomic(u32 *uval, u32 __user *uaddr,
106 u32 oldval, u32 newval)
107{
108 u32 val;
109
David Hildenbrandd9b9ff82015-05-11 17:52:14 +0200110 preempt_disable();
Romain Perierfba7cd62016-04-14 15:36:03 +0200111 if (unlikely(get_user(val, uaddr) != 0)) {
112 preempt_enable();
Ley Foon Tan00f634b2014-11-06 15:19:34 +0800113 return -EFAULT;
Romain Perierfba7cd62016-04-14 15:36:03 +0200114 }
Ley Foon Tan00f634b2014-11-06 15:19:34 +0800115
Romain Perierfba7cd62016-04-14 15:36:03 +0200116 if (val == oldval && unlikely(put_user(newval, uaddr) != 0)) {
117 preempt_enable();
Ley Foon Tan00f634b2014-11-06 15:19:34 +0800118 return -EFAULT;
Romain Perierfba7cd62016-04-14 15:36:03 +0200119 }
Ley Foon Tan00f634b2014-11-06 15:19:34 +0800120
121 *uval = val;
David Hildenbrandd9b9ff82015-05-11 17:52:14 +0200122 preempt_enable();
Ley Foon Tan00f634b2014-11-06 15:19:34 +0800123
124 return 0;
125}
126
127#else
Jeff Dikef8aaeace2006-01-08 01:01:32 -0800128static inline int
Michel Lespinasse8d7718a2011-03-10 18:50:58 -0800129futex_atomic_op_inuser (int encoded_op, u32 __user *uaddr)
Jeff Dikef8aaeace2006-01-08 01:01:32 -0800130{
131 int op = (encoded_op >> 28) & 7;
132 int cmp = (encoded_op >> 24) & 15;
133 int oparg = (encoded_op << 8) >> 20;
134 int cmparg = (encoded_op << 20) >> 20;
135 int oldval = 0, ret;
136 if (encoded_op & (FUTEX_OP_OPARG_SHIFT << 28))
137 oparg = 1 << oparg;
138
Michel Lespinasse8d7718a2011-03-10 18:50:58 -0800139 if (! access_ok (VERIFY_WRITE, uaddr, sizeof(u32)))
Jeff Dikef8aaeace2006-01-08 01:01:32 -0800140 return -EFAULT;
141
Peter Zijlstraa8663742006-12-06 20:32:20 -0800142 pagefault_disable();
Jeff Dikef8aaeace2006-01-08 01:01:32 -0800143
144 switch (op) {
145 case FUTEX_OP_SET:
146 case FUTEX_OP_ADD:
147 case FUTEX_OP_OR:
148 case FUTEX_OP_ANDN:
149 case FUTEX_OP_XOR:
150 default:
151 ret = -ENOSYS;
152 }
153
Peter Zijlstraa8663742006-12-06 20:32:20 -0800154 pagefault_enable();
Jeff Dikef8aaeace2006-01-08 01:01:32 -0800155
156 if (!ret) {
157 switch (cmp) {
158 case FUTEX_OP_CMP_EQ: ret = (oldval == cmparg); break;
159 case FUTEX_OP_CMP_NE: ret = (oldval != cmparg); break;
160 case FUTEX_OP_CMP_LT: ret = (oldval < cmparg); break;
161 case FUTEX_OP_CMP_GE: ret = (oldval >= cmparg); break;
162 case FUTEX_OP_CMP_LE: ret = (oldval <= cmparg); break;
163 case FUTEX_OP_CMP_GT: ret = (oldval > cmparg); break;
164 default: ret = -ENOSYS;
165 }
166 }
167 return ret;
168}
169
Ingo Molnare9056f12006-03-27 01:16:21 -0800170static inline int
Michel Lespinasse8d7718a2011-03-10 18:50:58 -0800171futex_atomic_cmpxchg_inatomic(u32 *uval, u32 __user *uaddr,
172 u32 oldval, u32 newval)
Ingo Molnare9056f12006-03-27 01:16:21 -0800173{
174 return -ENOSYS;
175}
176
Ley Foon Tan00f634b2014-11-06 15:19:34 +0800177#endif /* CONFIG_SMP */
Jeff Dikef8aaeace2006-01-08 01:01:32 -0800178#endif