char *linux_make_corefile_notes (struct gdbarch *, bfd *, int *,
linux_collect_thread_registers_ftype);
struct type *linux_get_siginfo_type (struct gdbarch *);
char *linux_make_corefile_notes (struct gdbarch *, bfd *, int *,
linux_collect_thread_registers_ftype);
struct type *linux_get_siginfo_type (struct gdbarch *);