void _initialize_mn10300_tdep (void) { gdbarch_register (bfd_arch_mn10300, mn10300_gdbarch_init, mn10300_dump_tdep); }
void _initialize_m88k_tdep (void) { gdbarch_register (bfd_arch_m88k, m88k_gdbarch_init, NULL); }