18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
28c2ecf20Sopenharmony_ci/*
38c2ecf20Sopenharmony_ci * Copyright (c) 2006  Ralf Baechle (ralf@linux-mips.org)
48c2ecf20Sopenharmony_ci * Copyright (c) 2018  Jim Wilson (jimw@sifive.com)
58c2ecf20Sopenharmony_ci */
68c2ecf20Sopenharmony_ci
78c2ecf20Sopenharmony_ci#ifndef _ASM_RISCV_FUTEX_H
88c2ecf20Sopenharmony_ci#define _ASM_RISCV_FUTEX_H
98c2ecf20Sopenharmony_ci
108c2ecf20Sopenharmony_ci#include <linux/futex.h>
118c2ecf20Sopenharmony_ci#include <linux/uaccess.h>
128c2ecf20Sopenharmony_ci#include <linux/errno.h>
138c2ecf20Sopenharmony_ci#include <asm/asm.h>
148c2ecf20Sopenharmony_ci
158c2ecf20Sopenharmony_ci/* We don't even really need the extable code, but for now keep it simple */
168c2ecf20Sopenharmony_ci#ifndef CONFIG_MMU
178c2ecf20Sopenharmony_ci#define __enable_user_access()		do { } while (0)
188c2ecf20Sopenharmony_ci#define __disable_user_access()		do { } while (0)
198c2ecf20Sopenharmony_ci#endif
208c2ecf20Sopenharmony_ci
218c2ecf20Sopenharmony_ci#define __futex_atomic_op(insn, ret, oldval, uaddr, oparg)	\
228c2ecf20Sopenharmony_ci{								\
238c2ecf20Sopenharmony_ci	uintptr_t tmp;						\
248c2ecf20Sopenharmony_ci	__enable_user_access();					\
258c2ecf20Sopenharmony_ci	__asm__ __volatile__ (					\
268c2ecf20Sopenharmony_ci	"1:	" insn "				\n"	\
278c2ecf20Sopenharmony_ci	"2:						\n"	\
288c2ecf20Sopenharmony_ci	"	.section .fixup,\"ax\"			\n"	\
298c2ecf20Sopenharmony_ci	"	.balign 4				\n"	\
308c2ecf20Sopenharmony_ci	"3:	li %[r],%[e]				\n"	\
318c2ecf20Sopenharmony_ci	"	jump 2b,%[t]				\n"	\
328c2ecf20Sopenharmony_ci	"	.previous				\n"	\
338c2ecf20Sopenharmony_ci	"	.section __ex_table,\"a\"		\n"	\
348c2ecf20Sopenharmony_ci	"	.balign " RISCV_SZPTR "			\n"	\
358c2ecf20Sopenharmony_ci	"	" RISCV_PTR " 1b, 3b			\n"	\
368c2ecf20Sopenharmony_ci	"	.previous				\n"	\
378c2ecf20Sopenharmony_ci	: [r] "+r" (ret), [ov] "=&r" (oldval),			\
388c2ecf20Sopenharmony_ci	  [u] "+m" (*uaddr), [t] "=&r" (tmp)			\
398c2ecf20Sopenharmony_ci	: [op] "Jr" (oparg), [e] "i" (-EFAULT)			\
408c2ecf20Sopenharmony_ci	: "memory");						\
418c2ecf20Sopenharmony_ci	__disable_user_access();				\
428c2ecf20Sopenharmony_ci}
438c2ecf20Sopenharmony_ci
448c2ecf20Sopenharmony_cistatic inline int
458c2ecf20Sopenharmony_ciarch_futex_atomic_op_inuser(int op, int oparg, int *oval, u32 __user *uaddr)
468c2ecf20Sopenharmony_ci{
478c2ecf20Sopenharmony_ci	int oldval = 0, ret = 0;
488c2ecf20Sopenharmony_ci
498c2ecf20Sopenharmony_ci	if (!access_ok(uaddr, sizeof(u32)))
508c2ecf20Sopenharmony_ci		return -EFAULT;
518c2ecf20Sopenharmony_ci
528c2ecf20Sopenharmony_ci	switch (op) {
538c2ecf20Sopenharmony_ci	case FUTEX_OP_SET:
548c2ecf20Sopenharmony_ci		__futex_atomic_op("amoswap.w.aqrl %[ov],%z[op],%[u]",
558c2ecf20Sopenharmony_ci				  ret, oldval, uaddr, oparg);
568c2ecf20Sopenharmony_ci		break;
578c2ecf20Sopenharmony_ci	case FUTEX_OP_ADD:
588c2ecf20Sopenharmony_ci		__futex_atomic_op("amoadd.w.aqrl %[ov],%z[op],%[u]",
598c2ecf20Sopenharmony_ci				  ret, oldval, uaddr, oparg);
608c2ecf20Sopenharmony_ci		break;
618c2ecf20Sopenharmony_ci	case FUTEX_OP_OR:
628c2ecf20Sopenharmony_ci		__futex_atomic_op("amoor.w.aqrl %[ov],%z[op],%[u]",
638c2ecf20Sopenharmony_ci				  ret, oldval, uaddr, oparg);
648c2ecf20Sopenharmony_ci		break;
658c2ecf20Sopenharmony_ci	case FUTEX_OP_ANDN:
668c2ecf20Sopenharmony_ci		__futex_atomic_op("amoand.w.aqrl %[ov],%z[op],%[u]",
678c2ecf20Sopenharmony_ci				  ret, oldval, uaddr, ~oparg);
688c2ecf20Sopenharmony_ci		break;
698c2ecf20Sopenharmony_ci	case FUTEX_OP_XOR:
708c2ecf20Sopenharmony_ci		__futex_atomic_op("amoxor.w.aqrl %[ov],%z[op],%[u]",
718c2ecf20Sopenharmony_ci				  ret, oldval, uaddr, oparg);
728c2ecf20Sopenharmony_ci		break;
738c2ecf20Sopenharmony_ci	default:
748c2ecf20Sopenharmony_ci		ret = -ENOSYS;
758c2ecf20Sopenharmony_ci	}
768c2ecf20Sopenharmony_ci
778c2ecf20Sopenharmony_ci	if (!ret)
788c2ecf20Sopenharmony_ci		*oval = oldval;
798c2ecf20Sopenharmony_ci
808c2ecf20Sopenharmony_ci	return ret;
818c2ecf20Sopenharmony_ci}
828c2ecf20Sopenharmony_ci
838c2ecf20Sopenharmony_cistatic inline int
848c2ecf20Sopenharmony_cifutex_atomic_cmpxchg_inatomic(u32 *uval, u32 __user *uaddr,
858c2ecf20Sopenharmony_ci			      u32 oldval, u32 newval)
868c2ecf20Sopenharmony_ci{
878c2ecf20Sopenharmony_ci	int ret = 0;
888c2ecf20Sopenharmony_ci	u32 val;
898c2ecf20Sopenharmony_ci	uintptr_t tmp;
908c2ecf20Sopenharmony_ci
918c2ecf20Sopenharmony_ci	if (!access_ok(uaddr, sizeof(u32)))
928c2ecf20Sopenharmony_ci		return -EFAULT;
938c2ecf20Sopenharmony_ci
948c2ecf20Sopenharmony_ci	__enable_user_access();
958c2ecf20Sopenharmony_ci	__asm__ __volatile__ (
968c2ecf20Sopenharmony_ci	"1:	lr.w.aqrl %[v],%[u]			\n"
978c2ecf20Sopenharmony_ci	"	bne %[v],%z[ov],3f			\n"
988c2ecf20Sopenharmony_ci	"2:	sc.w.aqrl %[t],%z[nv],%[u]		\n"
998c2ecf20Sopenharmony_ci	"	bnez %[t],1b				\n"
1008c2ecf20Sopenharmony_ci	"3:						\n"
1018c2ecf20Sopenharmony_ci	"	.section .fixup,\"ax\"			\n"
1028c2ecf20Sopenharmony_ci	"	.balign 4				\n"
1038c2ecf20Sopenharmony_ci	"4:	li %[r],%[e]				\n"
1048c2ecf20Sopenharmony_ci	"	jump 3b,%[t]				\n"
1058c2ecf20Sopenharmony_ci	"	.previous				\n"
1068c2ecf20Sopenharmony_ci	"	.section __ex_table,\"a\"		\n"
1078c2ecf20Sopenharmony_ci	"	.balign " RISCV_SZPTR "			\n"
1088c2ecf20Sopenharmony_ci	"	" RISCV_PTR " 1b, 4b			\n"
1098c2ecf20Sopenharmony_ci	"	" RISCV_PTR " 2b, 4b			\n"
1108c2ecf20Sopenharmony_ci	"	.previous				\n"
1118c2ecf20Sopenharmony_ci	: [r] "+r" (ret), [v] "=&r" (val), [u] "+m" (*uaddr), [t] "=&r" (tmp)
1128c2ecf20Sopenharmony_ci	: [ov] "Jr" (oldval), [nv] "Jr" (newval), [e] "i" (-EFAULT)
1138c2ecf20Sopenharmony_ci	: "memory");
1148c2ecf20Sopenharmony_ci	__disable_user_access();
1158c2ecf20Sopenharmony_ci
1168c2ecf20Sopenharmony_ci	*uval = val;
1178c2ecf20Sopenharmony_ci	return ret;
1188c2ecf20Sopenharmony_ci}
1198c2ecf20Sopenharmony_ci
1208c2ecf20Sopenharmony_ci#endif /* _ASM_RISCV_FUTEX_H */
121