l4/pkg/l4re-core/uclibc/lib/contrib/uclibc/libc/sysdeps/linux/arm/bits/setjmp.h

   1 /* Copyright (C) 1997,1998,2005,2006 Free Software Foundation, Inc.
   2    This file is part of the GNU C Library.
   3
   4    The GNU C Library is free software; you can redistribute it and/or
   5    modify it under the terms of the GNU Lesser General Public
   6    License as published by the Free Software Foundation; either
   7    version 2.1 of the License, or (at your option) any later version.
   8
   9    The GNU C Library is distributed in the hope that it will be useful,
  10    but WITHOUT ANY WARRANTY; without even the implied warranty of
  11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  12    Lesser General Public License for more details.
  13
  14    You should have received a copy of the GNU Lesser General Public
  15    License along with the GNU C Library; if not, see
  16    <http://www.gnu.org/licenses/>.  */
  17
  18 /* Define the machine-dependent type `jmp_buf'.  ARM version. */
  19
  20 #ifndef _BITS_SETJMP_H
  21 #define _BITS_SETJMP_H 1
  22
  23 #if !defined _SETJMP_H && !defined _PTHREAD_H
  24 # error "Never include <bits/setjmp.h> directly; use <setjmp.h> instead."
  25 #endif
  26
  27 /* Jump buffer contains v1-v6, sl, fp, sp and pc.  Other registers are not
  28    saved.  */
  29 #ifdef __ARM_EABI__
  30 /* The exact set of registers saved may depend on the particular core
  31    in use, as some coprocessor registers may need to be saved.  The C
  32    Library ABI requires that the buffer be 8-byte aligned, and
  33    recommends that the buffer contain 64 words.  The first 28 words
  34    are occupied by v1-v6, sl, fp, sp, pc, d8-d15, and fpscr.  (Note
  35    that d8-15 require 17 words, due to the use of fstmx.)  */
  36 typedef int __jmp_buf[64] __attribute__((aligned (8)));
  37 #elif defined __MAVERICK__ || defined __IWMMXT__
  38 typedef int __jmp_buf[34];
  39 #else
  40 # ifdef __UCLIBC_HAS_FPU__
  41 typedef int __jmp_buf[22];
  42 # else
  43 typedef int __jmp_buf[10];
  44 # endif
  45 #endif
  46 #endif