Commit | Line | Data |
---|---|---|
c4f35dd8 MK |
1 | /* Target-dependent code for the x86-64. |
2 | ||
3 | Copyright 2001, 2003 | |
53e95fcf | 4 | Free Software Foundation, Inc. |
c4f35dd8 | 5 | |
53e95fcf JS |
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 | ||
da3331ec AC |
28 | struct gdbarch; |
29 | struct frame_info; | |
30 | ||
53e95fcf | 31 | #include "i386-tdep.h" |
53e95fcf | 32 | |
c4f35dd8 MK |
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); | |
53e95fcf | 37 | |
c4f35dd8 MK |
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. */ | |
b64bbf8c | 41 | |
c4f35dd8 | 42 | void x86_64_supply_fxsave (char *fxsave); |
baed091b | 43 | |
c4f35dd8 MK |
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); | |
53e95fcf | 50 | |
c4f35dd8 | 51 | #endif /* x86-64-tdep.h */ |