Remove i386_elf_emit_arch_note

[deliverable/binutils-gdb.git] / sim / arm / dbg_hif.h

diff --git a/sim/arm/dbg_hif.h b/sim/arm/dbg_hif.h
index fa3df1b2510ca6b40de084926abd936c4d587049..3c6261a749cc44561a7f8592ce549b57192460ad 100644 (file)
--- a/sim/arm/dbg_hif.h
+++ b/sim/arm/dbg_hif.h
@@ -3,7 +3,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
-    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,
@@ -12,8 +12,7 @@
     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., 675 Mass Ave, Cambridge, MA 02139, USA. */
+    along with this program; if not, see <http://www.gnu.org/licenses/>. */
 
 #ifdef __STDC__
 #  include <stdarg.h>
@@ -21,27 +20,28 @@
 #  include <varargs.h>
 #endif
 
-typedef void Hif_DbgPrint(void *arg, const char *format, va_list ap);
-typedef void Hif_DbgPause(void *arg);
+typedef void Hif_DbgPrint (void *arg, const char *format, va_list ap);
+typedef void Hif_DbgPause (void *arg);
 
-typedef void Hif_WriteC(void *arg, int c);
-typedef int Hif_ReadC(void *arg);
-typedef int Hif_Write(void *arg, char const *buffer, int len);
-typedef char *Hif_GetS(void *arg, char *buffer, int len);
+typedef void Hif_WriteC (void *arg, int c);
+typedef int Hif_ReadC (void *arg);
+typedef int Hif_Write (void *arg, char const *buffer, int len);
+typedef char *Hif_GetS (void *arg, char *buffer, int len);
 
-typedef void Hif_RDIResetProc(void *arg);
+typedef void Hif_RDIResetProc (void *arg);
 
-struct Dbg_HostosInterface {
-    Hif_DbgPrint *dbgprint;
-    Hif_DbgPause *dbgpause;
-    void *dbgarg;
+struct Dbg_HostosInterface
+{
+  Hif_DbgPrint *dbgprint;
+  Hif_DbgPause *dbgpause;
+  void *dbgarg;
 
-    Hif_WriteC *writec;
-    Hif_ReadC *readc;
-    Hif_Write *write;
-    Hif_GetS *gets;
-    void *hostosarg;
+  Hif_WriteC *writec;
+  Hif_ReadC *readc;
+  Hif_Write *write;
+  Hif_GetS *gets;
+  void *hostosarg;
 
-    Hif_RDIResetProc *reset;
-    void *resetarg;
+  Hif_RDIResetProc *reset;
+  void *resetarg;
 };