5cbca7d7f1d0d523186b40837ce93ff515615128
[urcu.git] / include / urcu / arch / arm.h
1 #ifndef _URCU_ARCH_ARM_H
2 #define _URCU_ARCH_ARM_H
3
4 /*
5 * arch_arm.h: trivial definitions for the ARM architecture.
6 *
7 * Copyright (c) 2010 Paul E. McKenney, IBM Corporation.
8 * Copyright (c) 2009 Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
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>
27 #include <urcu/syscall-compat.h>
28
29 #ifdef __cplusplus
30 extern "C" {
31 #endif
32
33 #ifdef CONFIG_RCU_ARM_HAVE_DMB
34 #define cmm_mb() __asm__ __volatile__ ("dmb":::"memory")
35 #define cmm_rmb() __asm__ __volatile__ ("dmb":::"memory")
36 #define cmm_wmb() __asm__ __volatile__ ("dmb":::"memory")
37 #endif /* CONFIG_RCU_ARM_HAVE_DMB */
38
39 #include <stdlib.h>
40 #include <sys/time.h>
41
42 /*
43 * On Linux, define the membarrier system call number if not yet available in
44 * the system headers.
45 */
46 #if (defined(__linux__) && !defined(__NR_membarrier))
47 #define __NR_membarrier 389
48 #endif
49
50 #ifdef __cplusplus
51 }
52 #endif
53
54 #include <urcu/arch/generic.h>
55
56 #endif /* _URCU_ARCH_ARM_H */
This page took 0.041609 seconds and 3 git commands to generate.