gdb/x86-64-tdep.h

   1 /* Target-dependent code for the x86-64.
   2
   3    Copyright 2001, 2003
   4    Free Software Foundation, Inc.
   5
   6    Contributed by Jiri Smid, SuSE Labs.
   7
   8    This file is part of GDB.
   9
  10    This program is free software; you can redistribute it and/or modify
  11    it under the terms of the GNU General Public License as published by
  12    the Free Software Foundation; either version 2 of the License, or
  13    (at your option) any later version.
  14
  15    This program 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
  18    GNU General Public License for more details.
  19
  20    You should have received a copy of the GNU General Public License
  21    along with this program; if not, write to the Free Software
  22    Foundation, Inc., 59 Temple Place - Suite 330,
  23    Boston, MA 02111-1307, USA.  */
  24
  25 #ifndef X86_64_TDEP_H
  26 #define X86_64_TDEP_H
  27
  28 struct gdbarch;
  29 struct frame_info;
  30
  31 #include "i386-tdep.h"
  32
  33 /* Number of general purpose registers.  */
  34 #define X86_64_NUM_GREGS        22
  35
  36 void x86_64_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch);
  37
  38 /* Fill GDB's register array with the floating-point and SSE register
  39    values in *FXSAVE.  This function masks off any of the reserved
  40    bits in *FXSAVE.  */
  41
  42 void x86_64_supply_fxsave (char *fxsave);
  43
  44 /* Fill register REGNUM (if it is a floating-point or SSE register) in
  45    *FXSAVE with the value in GDB's register array.  If REGNUM is -1, do
  46    this for all registers.  This function doesn't touch any of the
  47    reserved bits in *FXSAVE.  */
  48
  49 void x86_64_fill_fxsave (char *fxsave, int regnum);
  50
  51 #endif /* x86-64-tdep.h */