*** empty log message ***
[binutils-gdb.git] / gdb / regcache.h
index d8709607fb7acb3ff758e2c5b68d8df62272951d..8cd40fa88ae4f934b17873a912b33011ba637dd9 100644 (file)
@@ -159,5 +159,6 @@ extern void regcache_cpy (struct regcache *dest, struct regcache *src);
 extern void regcache_cpy_no_passthrough (struct regcache *dest, struct regcache *src);
 
 extern void registers_changed (void);
+extern void registers_changed_ptid (ptid_t);
 
 #endif /* REGCACHE_H */