diff --git a/external/gpl3/gdb/dist/sim/ppc/device.c b/external/gpl3/gdb/dist/sim/ppc/device.c
index 988baea8b558..d5093bbdadb1 100644
--- a/external/gpl3/gdb/dist/sim/ppc/device.c
+++ b/external/gpl3/gdb/dist/sim/ppc/device.c
@@ -1815,7 +1815,7 @@ device_ioctl(device *me,
 /* I/O */
 
 EXTERN_DEVICE\
-(void volatile)
+(void)
 device_error(device *me,
 	     const char *fmt,
 	     ...)
diff --git a/external/gpl3/gdb/dist/sim/ppc/device.h b/external/gpl3/gdb/dist/sim/ppc/device.h
index ef52e5e9864f..6fd198de70dd 100644
--- a/external/gpl3/gdb/dist/sim/ppc/device.h
+++ b/external/gpl3/gdb/dist/sim/ppc/device.h
@@ -726,7 +726,7 @@ EXTERN_DEVICE\
    */
 
 EXTERN_DEVICE\
-(void volatile) device_error
+(void) device_error
 (device *me,
  const char *fmt,
  ...) __attribute__ ((format (printf, 2, 3)));