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 /*
  35  * Issues full system DMB operation.
  36  */
  37 #define cmm_mb()        __asm__ __volatile__ ("dmb sy":::"memory")
  38 #define cmm_rmb()       __asm__ __volatile__ ("dmb sy":::"memory")
  39 #define cmm_wmb()       __asm__ __volatile__ ("dmb sy":::"memory")
  40
  41 /*
  42  * Issues DMB operation only to the inner shareable domain.
  43  */
  44 #define cmm_smp_mb()    __asm__ __volatile__ ("dmb ish":::"memory")
  45 #define cmm_smp_rmb()   __asm__ __volatile__ ("dmb ish":::"memory")
  46 #define cmm_smp_wmb()   __asm__ __volatile__ ("dmb ish":::"memory")
  47 #endif /* CONFIG_RCU_ARM_HAVE_DMB */
  48
  49 #include <stdlib.h>
  50 #include <sys/time.h>
  51
  52 /*
  53  * On Linux, define the membarrier system call number if not yet available in
  54  * the system headers.
  55  */
  56 #if (defined(__linux__) && !defined(__NR_membarrier))
  57 #define __NR_membarrier         389
  58 #endif
  59
  60 #ifdef __cplusplus
  61 }
  62 #endif
  63
  64 #include <urcu/arch/generic.h>
  65
  66 #endif /* _URCU_ARCH_ARM_H */