µblaze_linux_sighandler_tramp_frame);
}
+void _initialize_microblaze_linux_tdep ();
void
-_initialize_microblaze_linux_tdep (void)
+_initialize_microblaze_linux_tdep ()
{
gdbarch_register_osabi (bfd_arch_microblaze, 0, GDB_OSABI_LINUX,
microblaze_linux_init_abi);