#include "i386-tdep.h"
-/* Number of all registers */
-#define X86_64_NUM_REGS (51)
+extern int x86_64_num_regs;
+extern int x86_64_num_gregs;
-/* Number of general registers. */
-#define X86_64_NUM_GREGS (18)
+int x86_64_register_number (const char *name);
+const char *x86_64_register_name (int reg_nr);
gdbarch_frame_saved_pc_ftype x86_64_linux_frame_saved_pc;
gdbarch_saved_pc_after_call_ftype x86_64_linux_saved_pc_after_call;
+gdbarch_pc_in_sigtramp_ftype x86_64_linux_in_sigtramp;
+CORE_ADDR x86_64_linux_frame_chain (struct frame_info *fi);
+void x86_64_init_frame_pc (int fromleaf, struct frame_info *fi);
+
#endif