Index: gdb/record-full.h |
diff --git a/gdb/record.h b/gdb/record-full.h |
similarity index 60% |
copy from gdb/record.h |
copy to gdb/record-full.h |
index 84396e66cbecf7d1210a7752c8d23bb1eab52bc9..b5d5b314e9ec30238d0703a203674ef02be152d3 100644 |
--- a/gdb/record.h |
+++ b/gdb/record-full.h |
@@ -1,6 +1,6 @@ |
/* Process record and replay target for GDB, the GNU debugger. |
- Copyright (C) 2008-2012 Free Software Foundation, Inc. |
+ Copyright (C) 2013 Free Software Foundation, Inc. |
This file is part of GDB. |
@@ -17,17 +17,14 @@ |
You should have received a copy of the GNU General Public License |
along with this program. If not, see <http://www.gnu.org/licenses/>. */ |
-#ifndef _RECORD_H_ |
-#define _RECORD_H_ |
+#ifndef RECORD_FULL_H |
+#define RECORD_FULL_H |
-#define RECORD_IS_USED (current_target.to_stratum == record_stratum) |
+extern int record_full_memory_query; |
-extern int record_debug; |
-extern int record_memory_query; |
+extern int record_full_arch_list_add_reg (struct regcache *regcache, int num); |
+extern int record_full_arch_list_add_mem (CORE_ADDR addr, int len); |
+extern int record_full_arch_list_add_end (void); |
+extern struct cleanup *record_full_gdb_operation_disable_set (void); |
-extern int record_arch_list_add_reg (struct regcache *regcache, int num); |
-extern int record_arch_list_add_mem (CORE_ADDR addr, int len); |
-extern int record_arch_list_add_end (void); |
-extern struct cleanup *record_gdb_operation_disable_set (void); |
- |
-#endif /* _RECORD_H_ */ |
+#endif /* RECORD_FULL_H */ |