bsd_uthread_set_collect_uthread (gdbarch, sparc64obsd_collect_uthread);
}
+void _initialize_sparc64obsd_tdep ();
void
-_initialize_sparc64obsd_tdep (void)
+_initialize_sparc64obsd_tdep ()
{
gdbarch_register_osabi (bfd_arch_sparc, bfd_mach_sparc_v9,
GDB_OSABI_OPENBSD, sparc64obsd_init_abi);