extern void amd64_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch);
+/* Functions from amd64-tdep.c which may be needed on architectures
+ with extra registers. */
+
+extern const char *amd64_register_name (int regnum);
+extern struct type *amd64_register_type (struct gdbarch *gdbarch, int regnum);
+
/* Fill register REGNUM in REGCACHE with the appropriate
floating-point or SSE register value from *FXSAVE. If REGNUM is
-1, do this for all registers. This function masks off any of the