Decouple inferior_ptid/inferior_thread(); dup ptids in thread list (PR 25412)

[deliverable/binutils-gdb.git] / sim / ppc / table.h

diff --git a/sim/ppc/table.h b/sim/ppc/table.h
index 509fb22870eac391e83b6f25177434900c85027b..5245580a354fb1634973817d15875cf9cc43fd93 100644 (file)
--- a/sim/ppc/table.h
+++ b/sim/ppc/table.h
@@ -4,7 +4,7 @@
 
     This program is free software; you can redistribute it and/or modify
     it under the terms of the GNU General Public License as published by
 
     This program is free software; you can redistribute it and/or modify
     it under the terms of the GNU General Public License as published by

-    the Free Software Foundation; either version 2 of the License, or
+    the Free Software Foundation; either version 3 of the License, or

     (at your option) any later version.
 
     This program is distributed in the hope that it will be useful,
     (at your option) any later version.
 
     This program is distributed in the hope that it will be useful,


@@ -13,8 +13,7 @@
     GNU General Public License for more details.
  
     You should have received a copy of the GNU General Public License
     GNU General Public License for more details.
  
     You should have received a copy of the GNU General Public License

-    along with this program; if not, write to the Free Software
-    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+    along with this program; if not, see <http://www.gnu.org/licenses/>.

  
     */
 
  
     */
 


@@ -42,6 +41,13 @@ struct _table_entry {
   char *fields[0];      /* User defined */
 };
 
   char *fields[0];      /* User defined */
 };
 

+/* List of directories to search when opening a pushed file.  Current
+   directory is always searched first */
+typedef struct _table_include table_include;
+struct _table_include {
+  char *dir;
+  table_include *next;
+};

 
 extern table *table_open
 (const char *file_name,
 
 extern table *table_open
 (const char *file_name,


@@ -51,6 +57,16 @@ extern table *table_open
 extern table_entry *table_entry_read
 (table *file);
 
 extern table_entry *table_entry_read
 (table *file);
 

+/* Push the the state of the current file and open FILE_NAME.  When
+   the end of FILE_NAME is reached, return to the pushed file */
+
+extern void table_push
+(table *file,
+ table_include *search,
+ const char *file_name,
+ int nr_fields,
+ int nr_model_fields);
+

 extern void dump_table_entry
 (table_entry *entry,
  int indent);
 extern void dump_table_entry
 (table_entry *entry,
  int indent);