1/* SPDX-License-Identifier: GPL-2.0 */
2/*
3 * Copyright (C) 2018 ARM Limited
4 */
5#ifndef __COMPAT_BARRIER_H
6#define __COMPAT_BARRIER_H
7
8#ifndef __ASSEMBLY__
9/*
10 * Warning: This code is meant to be used with
11 * ENABLE_COMPAT_VDSO only.
12 */
13#ifndef ENABLE_COMPAT_VDSO
14#error This header is meant to be used with ENABLE_COMPAT_VDSO only
15#endif
16
17#ifdef dmb
18#undef dmb
19#endif
20
21#define dmb(option) __asm__ __volatile__ ("dmb " #option : : : "memory")
22
23#if __LINUX_ARM_ARCH__ >= 8 && defined(CONFIG_AS_DMB_ISHLD)
24#define aarch32_smp_mb()	dmb(ish)
25#define aarch32_smp_rmb()	dmb(ishld)
26#define aarch32_smp_wmb()	dmb(ishst)
27#else
28#define aarch32_smp_mb()	dmb(ish)
29#define aarch32_smp_rmb()	aarch32_smp_mb()
30#define aarch32_smp_wmb()	dmb(ishst)
31#endif
32
33
34#undef smp_mb
35#undef smp_rmb
36#undef smp_wmb
37
38#define smp_mb()	aarch32_smp_mb()
39#define smp_rmb()	aarch32_smp_rmb()
40#define smp_wmb()	aarch32_smp_wmb()
41
42#endif /* !__ASSEMBLY__ */
43
44#endif /* __COMPAT_BARRIER_H */
45