1 /* Target-dependent code for the x86-64.
3 Copyright 2001, 2003, 2004 Free Software Foundation, Inc.
4 Contributed by Jiri Smid, SuSE Labs.
6 This file is part of GDB.
8 This program is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2 of the License, or
11 (at your option) any later version.
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 59 Temple Place - Suite 330,
21 Boston, MA 02111-1307, USA. */
30 #include "i386-tdep.h"
32 /* Register numbers of various important registers. */
34 #define X86_64_RAX_REGNUM 0 /* %rax */
35 #define X86_64_RDX_REGNUM 3 /* %rdx */
36 #define X86_64_RDI_REGNUM 5 /* %rdi */
37 #define X86_64_RBP_REGNUM 6 /* %rbp */
38 #define X86_64_RSP_REGNUM 7 /* %rsp */
39 #define X86_64_RIP_REGNUM 16 /* %rip */
40 #define X86_64_EFLAGS_REGNUM 17 /* %eflags */
41 #define X86_64_ST0_REGNUM 24 /* %st0 */
42 #define X86_64_XMM0_REGNUM 40 /* %xmm0 */
43 #define X86_64_XMM1_REGNUM 41 /* %xmm1 */
45 /* Number of general purpose registers. */
46 #define X86_64_NUM_GREGS 24
48 void x86_64_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch);
50 /* Fill register REGNUM in REGCACHE with the appropriate
51 floating-point or SSE register value from *FXSAVE. If REGNUM is
52 -1, do this for all registers. This function masks off any of the
53 reserved bits in *FXSAVE. */
55 extern void x86_64_supply_fxsave (struct regcache *regcache, int regnum,
58 /* Fill register REGNUM (if it is a floating-point or SSE register) in
59 *FXSAVE with the value in GDB's register cache. If REGNUM is -1, do
60 this for all registers. This function doesn't touch any of the
61 reserved bits in *FXSAVE. */
63 void x86_64_fill_fxsave (char *fxsave, int regnum);
66 /* Variables exported from amd64nbsd-tdep.c. */
67 extern int amd64nbsd_r_reg_offset[];
69 /* Variables exported from amd64obsd-tdep.c. */
70 extern int amd64obsd_r_reg_offset[];
72 /* Variables exported from amd64fbsd-tdep.c. */
73 extern CORE_ADDR amd64fbsd_sigtramp_start_addr;
74 extern CORE_ADDR amd64fbsd_sigtramp_end_addr;
75 extern int amd64fbsd_sc_reg_offset[];
77 #endif /* x86-64-tdep.h */