l4/pkg/l4re-core/uclibc/lib/contrib/uclibc/libpthread/linuxthreads/sysdeps/arm/pt-machine.h

   1 /* Machine-dependent pthreads configuration and inline functions.
   2    ARM version.
   3    Copyright (C) 1997, 1998, 2000, 2002, 2003 Free Software Foundation, Inc.
   4    This file is part of the GNU C Library.
   5    Contributed by Philip Blundell <philb@gnu.org>.
   6
   7    The GNU C Library is free software; you can redistribute it and/or
   8    modify it under the terms of the GNU Lesser General Public License as
   9    published by the Free Software Foundation; either version 2.1 of the
  10    License, or (at your option) any later version.
  11
  12    The GNU C Library is distributed in the hope that it will be useful,
  13    but WITHOUT ANY WARRANTY; without even the implied warranty of
  14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  15    Lesser General Public License for more details.
  16
  17    You should have received a copy of the GNU Lesser General Public
  18    License along with the GNU C Library; see the file COPYING.LIB.  If
  19    not, see <http://www.gnu.org/licenses/>.  */
  20
  21 #ifndef _PT_MACHINE_H
  22 #define _PT_MACHINE_H   1
  23
  24 #include <features.h>
  25
  26 #ifndef PT_EI
  27 # define PT_EI __extern_always_inline
  28 #endif
  29
  30 /* This will not work on ARM1 or ARM2 because SWP is lacking on those
  31    machines.  Unfortunately we have no way to detect this at compile
  32    time; let's hope nobody tries to use one.  */
  33
  34 /* Spinlock implementation; required.  */
  35 PT_EI long int
  36 testandset (int *spinlock)
  37 {
  38   register unsigned int ret;
  39
  40   __asm__ __volatile__("swp %0, %1, [%2]"
  41                        : "=r"(ret)
  42                        : "0"(1), "r"(spinlock));
  43
  44   return ret;
  45 }
  46
  47
  48 /* Get some notion of the current stack.  Need not be exactly the top
  49    of the stack, just something somewhere in the current frame.  */
  50 #define CURRENT_STACK_FRAME  stack_pointer
  51 register char * stack_pointer __asm__ ("sp");
  52
  53 #endif /* pt-machine.h */