sim: create a makefile fragment to pass common settings down

[thirdparty/binutils-gdb.git] / sim / ppc / device.h

diff --git a/sim/ppc/device.h b/sim/ppc/device.h
index 56c8ce54d990d1c7f491802b199b20b1e5a03839..68a2d24dd8dfd2899a4e060b823c9aed00f1367f 100644 (file)
--- a/sim/ppc/device.h
+++ b/sim/ppc/device.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
-    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,
@@ -13,8 +13,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., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+    along with this program; if not, see <http://www.gnu.org/licenses/>.
  
     */
 
@@ -281,7 +280,7 @@ INLINE_DEVICE\
 (void) device_add_boolean_property
 (device *me,
  const char *property,
- int bool);
+ int boolean);
 
 INLINE_DEVICE\
 (int) device_find_boolean_property
@@ -335,7 +334,7 @@ INLINE_DEVICE\
 (device *me,
  const char *property,
  unsigned index,
- signed_word *integer);
+ signed_cell *integer);
 
 
 
@@ -727,10 +726,10 @@ EXTERN_DEVICE\
    */
 
 EXTERN_DEVICE\
-(void volatile) device_error
+(void) device_error
 (device *me,
  const char *fmt,
- ...) __attribute__ ((format (printf, 2, 3)));
+ ...) ATTRIBUTE_PRINTF_2;
 
 INLINE_DEVICE\
 (int) device_trace
@@ -785,12 +784,12 @@ INLINE_DEVICE\
  device_event_handler *handler,
  void *data);
 
-INLINE_EVENTS\
+INLINE_DEVICE\
 (void) device_event_queue_deschedule
 (device *me,
  event_entry_tag event_to_remove);
 
-INLINE_EVENTS\
+INLINE_DEVICE\
 (signed64) device_event_queue_time
 (device *me);