1b2441318SGreg Kroah-Hartman /* SPDX-License-Identifier: GPL-2.0 */
277b4cf5cSIvan Kokshaysky #ifndef _ASM_ALPHA_FUTEX_H
377b4cf5cSIvan Kokshaysky #define _ASM_ALPHA_FUTEX_H
4024b246eSLinus Torvalds
577b4cf5cSIvan Kokshaysky #ifdef __KERNEL__
6024b246eSLinus Torvalds
777b4cf5cSIvan Kokshaysky #include <linux/futex.h>
877b4cf5cSIvan Kokshaysky #include <linux/uaccess.h>
977b4cf5cSIvan Kokshaysky #include <asm/errno.h>
1077b4cf5cSIvan Kokshaysky #include <asm/barrier.h>
1177b4cf5cSIvan Kokshaysky
1277b4cf5cSIvan Kokshaysky #define __futex_atomic_op(insn, ret, oldval, uaddr, oparg) \
1377b4cf5cSIvan Kokshaysky __asm__ __volatile__( \
1477b4cf5cSIvan Kokshaysky __ASM_SMP_MB \
1577b4cf5cSIvan Kokshaysky "1: ldl_l %0,0(%2)\n" \
1677b4cf5cSIvan Kokshaysky insn \
1777b4cf5cSIvan Kokshaysky "2: stl_c %1,0(%2)\n" \
1877b4cf5cSIvan Kokshaysky " beq %1,4f\n" \
1977b4cf5cSIvan Kokshaysky " mov $31,%1\n" \
2077b4cf5cSIvan Kokshaysky "3: .subsection 2\n" \
2177b4cf5cSIvan Kokshaysky "4: br 1b\n" \
2277b4cf5cSIvan Kokshaysky " .previous\n" \
2384e45536SMichael Cree EXC(1b,3b,$31,%1) \
2484e45536SMichael Cree EXC(2b,3b,$31,%1) \
2577b4cf5cSIvan Kokshaysky : "=&r" (oldval), "=&r"(ret) \
2677b4cf5cSIvan Kokshaysky : "r" (uaddr), "r"(oparg) \
2777b4cf5cSIvan Kokshaysky : "memory")
2877b4cf5cSIvan Kokshaysky
arch_futex_atomic_op_inuser(int op,int oparg,int * oval,u32 __user * uaddr)2930d6e0a4SJiri Slaby static inline int arch_futex_atomic_op_inuser(int op, int oparg, int *oval,
3030d6e0a4SJiri Slaby u32 __user *uaddr)
3177b4cf5cSIvan Kokshaysky {
3277b4cf5cSIvan Kokshaysky int oldval = 0, ret;
3377b4cf5cSIvan Kokshaysky
34a08971e9SAl Viro if (!access_ok(uaddr, sizeof(u32)))
35a08971e9SAl Viro return -EFAULT;
3677b4cf5cSIvan Kokshaysky
3777b4cf5cSIvan Kokshaysky switch (op) {
3877b4cf5cSIvan Kokshaysky case FUTEX_OP_SET:
3977b4cf5cSIvan Kokshaysky __futex_atomic_op("mov %3,%1\n", ret, oldval, uaddr, oparg);
4077b4cf5cSIvan Kokshaysky break;
4177b4cf5cSIvan Kokshaysky case FUTEX_OP_ADD:
4277b4cf5cSIvan Kokshaysky __futex_atomic_op("addl %0,%3,%1\n", ret, oldval, uaddr, oparg);
4377b4cf5cSIvan Kokshaysky break;
4477b4cf5cSIvan Kokshaysky case FUTEX_OP_OR:
4577b4cf5cSIvan Kokshaysky __futex_atomic_op("or %0,%3,%1\n", ret, oldval, uaddr, oparg);
4677b4cf5cSIvan Kokshaysky break;
4777b4cf5cSIvan Kokshaysky case FUTEX_OP_ANDN:
4877b4cf5cSIvan Kokshaysky __futex_atomic_op("andnot %0,%3,%1\n", ret, oldval, uaddr, oparg);
4977b4cf5cSIvan Kokshaysky break;
5077b4cf5cSIvan Kokshaysky case FUTEX_OP_XOR:
5177b4cf5cSIvan Kokshaysky __futex_atomic_op("xor %0,%3,%1\n", ret, oldval, uaddr, oparg);
5277b4cf5cSIvan Kokshaysky break;
5377b4cf5cSIvan Kokshaysky default:
5477b4cf5cSIvan Kokshaysky ret = -ENOSYS;
5577b4cf5cSIvan Kokshaysky }
5677b4cf5cSIvan Kokshaysky
5730d6e0a4SJiri Slaby if (!ret)
5830d6e0a4SJiri Slaby *oval = oldval;
5930d6e0a4SJiri Slaby
6077b4cf5cSIvan Kokshaysky return ret;
6177b4cf5cSIvan Kokshaysky }
6277b4cf5cSIvan Kokshaysky
6377b4cf5cSIvan Kokshaysky static inline int
futex_atomic_cmpxchg_inatomic(u32 * uval,u32 __user * uaddr,u32 oldval,u32 newval)648d7718aaSMichel Lespinasse futex_atomic_cmpxchg_inatomic(u32 *uval, u32 __user *uaddr,
658d7718aaSMichel Lespinasse u32 oldval, u32 newval)
6677b4cf5cSIvan Kokshaysky {
678d7718aaSMichel Lespinasse int ret = 0, cmp;
688d7718aaSMichel Lespinasse u32 prev;
6977b4cf5cSIvan Kokshaysky
7096d4f267SLinus Torvalds if (!access_ok(uaddr, sizeof(u32)))
7177b4cf5cSIvan Kokshaysky return -EFAULT;
7277b4cf5cSIvan Kokshaysky
7377b4cf5cSIvan Kokshaysky __asm__ __volatile__ (
7477b4cf5cSIvan Kokshaysky __ASM_SMP_MB
7537a9d912SMichel Lespinasse "1: ldl_l %1,0(%3)\n"
7637a9d912SMichel Lespinasse " cmpeq %1,%4,%2\n"
7737a9d912SMichel Lespinasse " beq %2,3f\n"
7837a9d912SMichel Lespinasse " mov %5,%2\n"
7937a9d912SMichel Lespinasse "2: stl_c %2,0(%3)\n"
8037a9d912SMichel Lespinasse " beq %2,4f\n"
8177b4cf5cSIvan Kokshaysky "3: .subsection 2\n"
8277b4cf5cSIvan Kokshaysky "4: br 1b\n"
8377b4cf5cSIvan Kokshaysky " .previous\n"
8484e45536SMichael Cree EXC(1b,3b,$31,%0)
8584e45536SMichael Cree EXC(2b,3b,$31,%0)
8637a9d912SMichel Lespinasse : "+r"(ret), "=&r"(prev), "=&r"(cmp)
8762aca403SAndrew Morton : "r"(uaddr), "r"((long)(int)oldval), "r"(newval)
8877b4cf5cSIvan Kokshaysky : "memory");
8977b4cf5cSIvan Kokshaysky
9037a9d912SMichel Lespinasse *uval = prev;
9137a9d912SMichel Lespinasse return ret;
9277b4cf5cSIvan Kokshaysky }
9377b4cf5cSIvan Kokshaysky
9477b4cf5cSIvan Kokshaysky #endif /* __KERNEL__ */
9577b4cf5cSIvan Kokshaysky #endif /* _ASM_ALPHA_FUTEX_H */
96