blob: f9c00110a69addc3b8e20b4de0a13be52808c797 [file] [log] [blame]
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_X86_FUTEX_H
3#define _ASM_X86_FUTEX_H
4
5#ifdef __KERNEL__
6
7#include <linux/futex.h>
8#include <linux/uaccess.h>
9
10#include <asm/asm.h>
11#include <asm/errno.h>
12#include <asm/processor.h>
13#include <asm/smap.h>
14
Olivier Deprez157378f2022-04-04 15:47:50 +020015#define unsafe_atomic_op1(insn, oval, uaddr, oparg, label) \
16do { \
17 int oldval = 0, ret; \
18 asm volatile("1:\t" insn "\n" \
19 "2:\n" \
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000020 "\t.section .fixup,\"ax\"\n" \
21 "3:\tmov\t%3, %1\n" \
22 "\tjmp\t2b\n" \
23 "\t.previous\n" \
David Brazdil0f672f62019-12-10 10:32:29 +000024 _ASM_EXTABLE_UA(1b, 3b) \
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000025 : "=r" (oldval), "=r" (ret), "+m" (*uaddr) \
Olivier Deprez157378f2022-04-04 15:47:50 +020026 : "i" (-EFAULT), "0" (oparg), "1" (0)); \
27 if (ret) \
28 goto label; \
29 *oval = oldval; \
30} while(0)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000031
Olivier Deprez157378f2022-04-04 15:47:50 +020032
33#define unsafe_atomic_op2(insn, oval, uaddr, oparg, label) \
34do { \
35 int oldval = 0, ret, tem; \
36 asm volatile("1:\tmovl %2, %0\n" \
37 "2:\tmovl\t%0, %3\n" \
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000038 "\t" insn "\n" \
Olivier Deprez157378f2022-04-04 15:47:50 +020039 "3:\t" LOCK_PREFIX "cmpxchgl %3, %2\n" \
40 "\tjnz\t2b\n" \
41 "4:\n" \
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000042 "\t.section .fixup,\"ax\"\n" \
Olivier Deprez157378f2022-04-04 15:47:50 +020043 "5:\tmov\t%5, %1\n" \
44 "\tjmp\t4b\n" \
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000045 "\t.previous\n" \
Olivier Deprez157378f2022-04-04 15:47:50 +020046 _ASM_EXTABLE_UA(1b, 5b) \
47 _ASM_EXTABLE_UA(3b, 5b) \
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000048 : "=&a" (oldval), "=&r" (ret), \
49 "+m" (*uaddr), "=&r" (tem) \
Olivier Deprez157378f2022-04-04 15:47:50 +020050 : "r" (oparg), "i" (-EFAULT), "1" (0)); \
51 if (ret) \
52 goto label; \
53 *oval = oldval; \
54} while(0)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000055
Olivier Deprez157378f2022-04-04 15:47:50 +020056static __always_inline int arch_futex_atomic_op_inuser(int op, int oparg, int *oval,
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000057 u32 __user *uaddr)
58{
Olivier Deprez157378f2022-04-04 15:47:50 +020059 if (!user_access_begin(uaddr, sizeof(u32)))
60 return -EFAULT;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000061
62 switch (op) {
63 case FUTEX_OP_SET:
Olivier Deprez157378f2022-04-04 15:47:50 +020064 unsafe_atomic_op1("xchgl %0, %2", oval, uaddr, oparg, Efault);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000065 break;
66 case FUTEX_OP_ADD:
Olivier Deprez157378f2022-04-04 15:47:50 +020067 unsafe_atomic_op1(LOCK_PREFIX "xaddl %0, %2", oval,
68 uaddr, oparg, Efault);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000069 break;
70 case FUTEX_OP_OR:
Olivier Deprez157378f2022-04-04 15:47:50 +020071 unsafe_atomic_op2("orl %4, %3", oval, uaddr, oparg, Efault);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000072 break;
73 case FUTEX_OP_ANDN:
Olivier Deprez157378f2022-04-04 15:47:50 +020074 unsafe_atomic_op2("andl %4, %3", oval, uaddr, ~oparg, Efault);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000075 break;
76 case FUTEX_OP_XOR:
Olivier Deprez157378f2022-04-04 15:47:50 +020077 unsafe_atomic_op2("xorl %4, %3", oval, uaddr, oparg, Efault);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000078 break;
79 default:
Olivier Deprez157378f2022-04-04 15:47:50 +020080 user_access_end();
81 return -ENOSYS;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000082 }
Olivier Deprez157378f2022-04-04 15:47:50 +020083 user_access_end();
84 return 0;
85Efault:
86 user_access_end();
87 return -EFAULT;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000088}
89
90static inline int futex_atomic_cmpxchg_inatomic(u32 *uval, u32 __user *uaddr,
91 u32 oldval, u32 newval)
92{
Olivier Deprez157378f2022-04-04 15:47:50 +020093 int ret = 0;
94
95 if (!user_access_begin(uaddr, sizeof(u32)))
96 return -EFAULT;
97 asm volatile("\n"
98 "1:\t" LOCK_PREFIX "cmpxchgl %4, %2\n"
99 "2:\n"
100 "\t.section .fixup, \"ax\"\n"
101 "3:\tmov %3, %0\n"
102 "\tjmp 2b\n"
103 "\t.previous\n"
104 _ASM_EXTABLE_UA(1b, 3b)
105 : "+r" (ret), "=a" (oldval), "+m" (*uaddr)
106 : "i" (-EFAULT), "r" (newval), "1" (oldval)
107 : "memory"
108 );
109 user_access_end();
110 *uval = oldval;
111 return ret;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000112}
113
114#endif
115#endif /* _ASM_X86_FUTEX_H */