--- gdb-7.6/gdb/regcache.h	2012-12-31 22:32:49.000000000 -0800
+++ gdb-7.6/gdb/regcache.h	2013-10-06 14:00:15.961135100 -0700
@@ -191,4 +191,8 @@
 extern void registers_changed (void);
 extern void registers_changed_ptid (ptid_t);
 
+extern int set_regcache_from_corefile (struct regcache *regcache);
+extern int regcache_from_corefile (const struct regcache *regcache);
+
 #endif /* REGCACHE_H */
+