1 /* Target-dependent code for GDB, the GNU debugger.
3 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. */
26 #include "i386-tdep.h"
28 extern int x86_64_num_regs
;
29 extern int x86_64_num_gregs
;
31 int x86_64_register_number (const char *name
);
32 const char *x86_64_register_name (int reg_nr
);
34 gdbarch_deprecated_frame_saved_pc_ftype x86_64_linux_frame_saved_pc
;
35 gdbarch_saved_pc_after_call_ftype x86_64_linux_saved_pc_after_call
;
36 gdbarch_pc_in_sigtramp_ftype x86_64_linux_in_sigtramp
;
37 CORE_ADDR
x86_64_linux_frame_chain (struct frame_info
*fi
);
38 CORE_ADDR
x86_64_init_frame_pc (int fromleaf
, struct frame_info
*fi
);
39 int x86_64_function_has_prologue (CORE_ADDR pc
);
41 void x86_64_init_abi (struct gdbarch_info info
, struct gdbarch
*gdbarch
);