#include "gdb_string.h"
#include "hppa-tdep.h"
+#include "hppabsd-tdep.h"
/* Core file support. */
}
\f
-void hppabsd_init_abi (struct gdbarch_info, struct gdbarch *);
-
-void
+static void
hppaobsd_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch)
{
/* Obviously OpenBSD is BSD-based. */