void register_ppc_ravenscar_ops (struct gdbarch *gdbarch) { set_gdbarch_ravenscar_ops (gdbarch, &ppc_ravenscar_powerpc_ops); }
void register_e500_ravenscar_ops (struct gdbarch *gdbarch) { set_gdbarch_ravenscar_ops (gdbarch, &ppc_ravenscar_e500_ops); }
void register_sparc_ravenscar_ops (struct gdbarch *gdbarch) { set_gdbarch_ravenscar_ops (gdbarch, &sparc_ravenscar_ops); }