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  * Define the membarrier system call number if not yet available in the
  44  * system headers.
  45  */
  46 #ifndef __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 */