18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
28c2ecf20Sopenharmony_ci#ifndef _ASM_HEXAGON_FUTEX_H
38c2ecf20Sopenharmony_ci#define _ASM_HEXAGON_FUTEX_H
48c2ecf20Sopenharmony_ci
58c2ecf20Sopenharmony_ci#ifdef __KERNEL__
68c2ecf20Sopenharmony_ci
78c2ecf20Sopenharmony_ci#include <linux/futex.h>
88c2ecf20Sopenharmony_ci#include <linux/uaccess.h>
98c2ecf20Sopenharmony_ci#include <asm/errno.h>
108c2ecf20Sopenharmony_ci
118c2ecf20Sopenharmony_ci/* XXX TODO-- need to add sync barriers! */
128c2ecf20Sopenharmony_ci
138c2ecf20Sopenharmony_ci#define __futex_atomic_op(insn, ret, oldval, uaddr, oparg) \
148c2ecf20Sopenharmony_ci	__asm__ __volatile( \
158c2ecf20Sopenharmony_ci	"1: %0 = memw_locked(%3);\n" \
168c2ecf20Sopenharmony_ci	    /* For example: %1 = %4 */ \
178c2ecf20Sopenharmony_ci	    insn \
188c2ecf20Sopenharmony_ci	"2: memw_locked(%3,p2) = %1;\n" \
198c2ecf20Sopenharmony_ci	"   if (!p2) jump 1b;\n" \
208c2ecf20Sopenharmony_ci	"   %1 = #0;\n" \
218c2ecf20Sopenharmony_ci	"3:\n" \
228c2ecf20Sopenharmony_ci	".section .fixup,\"ax\"\n" \
238c2ecf20Sopenharmony_ci	"4: %1 = #%5;\n" \
248c2ecf20Sopenharmony_ci	"   jump ##3b\n" \
258c2ecf20Sopenharmony_ci	".previous\n" \
268c2ecf20Sopenharmony_ci	".section __ex_table,\"a\"\n" \
278c2ecf20Sopenharmony_ci	".long 1b,4b,2b,4b\n" \
288c2ecf20Sopenharmony_ci	".previous\n" \
298c2ecf20Sopenharmony_ci	: "=&r" (oldval), "=&r" (ret), "+m" (*uaddr) \
308c2ecf20Sopenharmony_ci	: "r" (uaddr), "r" (oparg), "i" (-EFAULT) \
318c2ecf20Sopenharmony_ci	: "p2", "memory")
328c2ecf20Sopenharmony_ci
338c2ecf20Sopenharmony_ci
348c2ecf20Sopenharmony_cistatic inline int
358c2ecf20Sopenharmony_ciarch_futex_atomic_op_inuser(int op, int oparg, int *oval, u32 __user *uaddr)
368c2ecf20Sopenharmony_ci{
378c2ecf20Sopenharmony_ci	int oldval = 0, ret;
388c2ecf20Sopenharmony_ci
398c2ecf20Sopenharmony_ci	if (!access_ok(uaddr, sizeof(u32)))
408c2ecf20Sopenharmony_ci		return -EFAULT;
418c2ecf20Sopenharmony_ci
428c2ecf20Sopenharmony_ci	switch (op) {
438c2ecf20Sopenharmony_ci	case FUTEX_OP_SET:
448c2ecf20Sopenharmony_ci		__futex_atomic_op("%1 = %4\n", ret, oldval, uaddr, oparg);
458c2ecf20Sopenharmony_ci		break;
468c2ecf20Sopenharmony_ci	case FUTEX_OP_ADD:
478c2ecf20Sopenharmony_ci		__futex_atomic_op("%1 = add(%0,%4)\n", ret, oldval, uaddr,
488c2ecf20Sopenharmony_ci				  oparg);
498c2ecf20Sopenharmony_ci		break;
508c2ecf20Sopenharmony_ci	case FUTEX_OP_OR:
518c2ecf20Sopenharmony_ci		__futex_atomic_op("%1 = or(%0,%4)\n", ret, oldval, uaddr,
528c2ecf20Sopenharmony_ci				  oparg);
538c2ecf20Sopenharmony_ci		break;
548c2ecf20Sopenharmony_ci	case FUTEX_OP_ANDN:
558c2ecf20Sopenharmony_ci		__futex_atomic_op("%1 = not(%4); %1 = and(%0,%1)\n", ret,
568c2ecf20Sopenharmony_ci				  oldval, uaddr, oparg);
578c2ecf20Sopenharmony_ci		break;
588c2ecf20Sopenharmony_ci	case FUTEX_OP_XOR:
598c2ecf20Sopenharmony_ci		__futex_atomic_op("%1 = xor(%0,%4)\n", ret, oldval, uaddr,
608c2ecf20Sopenharmony_ci				  oparg);
618c2ecf20Sopenharmony_ci		break;
628c2ecf20Sopenharmony_ci	default:
638c2ecf20Sopenharmony_ci		ret = -ENOSYS;
648c2ecf20Sopenharmony_ci	}
658c2ecf20Sopenharmony_ci
668c2ecf20Sopenharmony_ci	if (!ret)
678c2ecf20Sopenharmony_ci		*oval = oldval;
688c2ecf20Sopenharmony_ci
698c2ecf20Sopenharmony_ci	return ret;
708c2ecf20Sopenharmony_ci}
718c2ecf20Sopenharmony_ci
728c2ecf20Sopenharmony_cistatic inline int
738c2ecf20Sopenharmony_cifutex_atomic_cmpxchg_inatomic(u32 *uval, u32 __user *uaddr, u32 oldval,
748c2ecf20Sopenharmony_ci			      u32 newval)
758c2ecf20Sopenharmony_ci{
768c2ecf20Sopenharmony_ci	int prev;
778c2ecf20Sopenharmony_ci	int ret;
788c2ecf20Sopenharmony_ci
798c2ecf20Sopenharmony_ci	if (!access_ok(uaddr, sizeof(u32)))
808c2ecf20Sopenharmony_ci		return -EFAULT;
818c2ecf20Sopenharmony_ci
828c2ecf20Sopenharmony_ci	__asm__ __volatile__ (
838c2ecf20Sopenharmony_ci	"1: %1 = memw_locked(%3)\n"
848c2ecf20Sopenharmony_ci	"   {\n"
858c2ecf20Sopenharmony_ci	"      p2 = cmp.eq(%1,%4)\n"
868c2ecf20Sopenharmony_ci	"      if (!p2.new) jump:NT 3f\n"
878c2ecf20Sopenharmony_ci	"   }\n"
888c2ecf20Sopenharmony_ci	"2: memw_locked(%3,p2) = %5\n"
898c2ecf20Sopenharmony_ci	"   if (!p2) jump 1b\n"
908c2ecf20Sopenharmony_ci	"3:\n"
918c2ecf20Sopenharmony_ci	".section .fixup,\"ax\"\n"
928c2ecf20Sopenharmony_ci	"4: %0 = #%6\n"
938c2ecf20Sopenharmony_ci	"   jump ##3b\n"
948c2ecf20Sopenharmony_ci	".previous\n"
958c2ecf20Sopenharmony_ci	".section __ex_table,\"a\"\n"
968c2ecf20Sopenharmony_ci	".long 1b,4b,2b,4b\n"
978c2ecf20Sopenharmony_ci	".previous\n"
988c2ecf20Sopenharmony_ci	: "+r" (ret), "=&r" (prev), "+m" (*uaddr)
998c2ecf20Sopenharmony_ci	: "r" (uaddr), "r" (oldval), "r" (newval), "i"(-EFAULT)
1008c2ecf20Sopenharmony_ci	: "p2", "memory");
1018c2ecf20Sopenharmony_ci
1028c2ecf20Sopenharmony_ci	*uval = prev;
1038c2ecf20Sopenharmony_ci	return ret;
1048c2ecf20Sopenharmony_ci}
1058c2ecf20Sopenharmony_ci
1068c2ecf20Sopenharmony_ci#endif /* __KERNEL__ */
1078c2ecf20Sopenharmony_ci#endif /* _ASM_HEXAGON_FUTEX_H */
108