1 --- gdb-7.6/gdb/regcache.h	2012-12-31 22:32:49.000000000 -0800

     2 +++ gdb-7.6/gdb/regcache.h	2013-10-06 14:00:15.961135100 -0700

     3 @@ -191,4 +191,8 @@

     4  extern void registers_changed (void);

     5  extern void registers_changed_ptid (ptid_t);

     6  

     7 +extern int set_regcache_from_corefile (struct regcache *regcache);

     8 +extern int regcache_from_corefile (const struct regcache *regcache);

     9 +

    10  #endif /* REGCACHE_H */

    11 +