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