gdb/aarch32-linux-nat.h

   1 /* Copyright (C) 1999-2015 Free Software Foundation, Inc.
   2
   3    This file is part of GDB.
   4
   5    This program is free software; you can redistribute it and/or modify
   6    it under the terms of the GNU General Public License as published by
   7    the Free Software Foundation; either version 3 of the License, or
   8    (at your option) any later version.
   9
  10    This program is distributed in the hope that it will be useful,
  11    but WITHOUT ANY WARRANTY; without even the implied warranty of
  12    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13    GNU General Public License for more details.
  14
  15    You should have received a copy of the GNU General Public License
  16    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  17
  18 /* Fetch and store VFP Registers.  The kernel object has space for 32
  19    64-bit registers, and the FPSCR.  This is even when on a VFPv2 or
  20    VFPv3D16 target.  */
  21 #define VFP_REGS_SIZE (32 * 8 + 4)
  22
  23 void aarch32_gp_regcache_supply (struct regcache *regcache, uint32_t *regs,
  24                                  int arm_apcs_32);
  25
  26 void aarch32_gp_regcache_collect (const struct regcache *regcache,
  27                                   uint32_t *regs, int arm_apcs_32);
  28
  29 void aarch32_vfp_regcache_supply (struct regcache *regcache, gdb_byte *regs,
  30                                   const int vfp_register_count);
  31
  32 void aarch32_vfp_regcache_collect (const struct regcache *regcache,
  33                                    gdb_byte *regs,
  34                                    const int vfp_register_count);