+extern char *elfcore_write_s390_timer
+ (bfd *, char *, int *, const void *, int);
+extern char *elfcore_write_s390_todcmp
+ (bfd *, char *, int *, const void *, int);
+extern char *elfcore_write_s390_todpreg
+ (bfd *, char *, int *, const void *, int);
+extern char *elfcore_write_s390_ctrs
+ (bfd *, char *, int *, const void *, int);
+extern char *elfcore_write_s390_prefix
+ (bfd *, char *, int *, const void *, int);
+extern char *elfcore_write_s390_last_break
+ (bfd *, char *, int *, const void *, int);
+extern char *elfcore_write_s390_system_call
+ (bfd *, char *, int *, const void *, int);
+extern char *elfcore_write_s390_tdb
+ (bfd *, char *, int *, const void *, int);
+extern char *elfcore_write_s390_vxrs_low
+ (bfd *, char *, int *, const void *, int);
+extern char *elfcore_write_s390_vxrs_high
+ (bfd *, char *, int *, const void *, int);
+extern char *elfcore_write_arm_vfp
+ (bfd *, char *, int *, const void *, int);
+extern char *elfcore_write_aarch_tls
+ (bfd *, char *, int *, const void *, int);
+extern char *elfcore_write_aarch_hw_break
+ (bfd *, char *, int *, const void *, int);
+extern char *elfcore_write_aarch_hw_watch
+ (bfd *, char *, int *, const void *, int);