(gdbarch, svr4_lp64_fetch_link_map_offsets);
}
+void _initialize_sparc64fbsd_tdep ();
void
-_initialize_sparc64fbsd_tdep (void)
+_initialize_sparc64fbsd_tdep ()
{
gdbarch_register_osabi (bfd_arch_sparc, bfd_mach_sparc_v9,
GDB_OSABI_FREEBSD, sparc64fbsd_init_abi);