Use DMB only on ARMv7
[urcu.git] / include / urcu / arch / arm.h
CommitLineData
6aca0125
JW
1#ifndef _URCU_ARCH_ARM_H
2#define _URCU_ARCH_ARM_H
fdbddd0b
PM
3
4/*
6aca0125 5 * arch_arm.h: trivial definitions for the ARM architecture.
fdbddd0b
PM
6 *
7 * Copyright (c) 2010 Paul E. McKenney, IBM Corporation.
6982d6d7 8 * Copyright (c) 2009 Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
fdbddd0b
PM
9 *
10 * This library is free software; you can redistribute it and/or
11 * modify it under the terms of the GNU Lesser General Public
12 * License as published by the Free Software Foundation; either
13 * version 2.1 of the License, or (at your option) any later version.
14 *
15 * This library is distributed in the hope that it will be useful,
16 * but WITHOUT ANY WARRANTY; without even the implied warranty of
17 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
18 * Lesser General Public License for more details.
19 *
20 * You should have received a copy of the GNU Lesser General Public
21 * License along with this library; if not, write to the Free Software
22 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
23 */
24
25#include <urcu/compiler.h>
26#include <urcu/config.h>
999991c6 27#include <urcu/syscall-compat.h>
fdbddd0b
PM
28
29#ifdef __cplusplus
30extern "C" {
67ecffc0 31#endif
fdbddd0b 32
9260f372
MJ
33/*
34 * Using DMB is faster than the builtin __sync_synchronize and this instruction is
35 * part of the baseline ARMv7 ISA.
36 */
37#ifdef URCU_ARCH_ARMV7
38
39/* For backwards compat. */
40#define CONFIG_RCU_ARM_HAVE_DMB 1
41
7fe7e9f3
MD
42/*
43 * Issues full system DMB operation.
44 */
45#define cmm_mb() __asm__ __volatile__ ("dmb sy":::"memory")
46#define cmm_rmb() __asm__ __volatile__ ("dmb sy":::"memory")
47#define cmm_wmb() __asm__ __volatile__ ("dmb sy":::"memory")
48
49/*
50 * Issues DMB operation only to the inner shareable domain.
51 */
52#define cmm_smp_mb() __asm__ __volatile__ ("dmb ish":::"memory")
53#define cmm_smp_rmb() __asm__ __volatile__ ("dmb ish":::"memory")
54#define cmm_smp_wmb() __asm__ __volatile__ ("dmb ish":::"memory")
9260f372
MJ
55
56#endif /* URCU_ARCH_ARMV7 */
fdbddd0b
PM
57
58#include <stdlib.h>
59#include <sys/time.h>
60
da5b715a 61/*
84f4ccb4
MD
62 * On Linux, define the membarrier system call number if not yet available in
63 * the system headers.
da5b715a 64 */
84f4ccb4 65#if (defined(__linux__) && !defined(__NR_membarrier))
da5b715a
MD
66#define __NR_membarrier 389
67#endif
68
3f0dd283
MJ
69/*
70 * Error out for compilers with known bugs.
71 */
72
73/*
74 * http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58854
75 */
76#ifdef URCU_GCC_VERSION
77# if URCU_GCC_VERSION >= 40800 && URCU_GCC_VERSION <= 40802
78# error Your gcc version produces clobbered frame accesses
79# endif
80#endif
81
39c2747c
MJ
82/*
83 * https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42263
84 */
85#ifdef URCU_GCC_VERSION
86# if URCU_GCC_VERSION >= 40400 && URCU_GCC_VERSION <= 40402
87# error Your gcc version has a non-functional __sync_synchronize()
88# endif
89#endif
90
67ecffc0 91#ifdef __cplusplus
fdbddd0b
PM
92}
93#endif
94
1b9119f8 95#include <urcu/arch/generic.h>
fdbddd0b 96
6aca0125 97#endif /* _URCU_ARCH_ARM_H */
This page took 0.042714 seconds and 4 git commands to generate.