struct type *linux_get_siginfo_type (struct gdbarch *);
+extern enum gdb_signal linux_gdb_signal_from_target (struct gdbarch *gdbarch,
+ int signal);
+
+extern int linux_gdb_signal_to_target (struct gdbarch *gdbarch,
+ enum gdb_signal signal);
+
extern void linux_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch);
#endif /* linux-tdep.h */