const struct bfd_arch_info *info = gdbarch_bfd_arch_info (gdbarch); if (info->arch == bfd_arch_powerpc) return (info->mach != bfd_mach_ppc_e500); if (info->arch == bfd_arch_rs6000) return 1; return 0;
struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);  return (tdep->ppc_fp0_regnum >= 0 && tdep->ppc_fpscr_regnum >= 0);
ppc_floating_point_unit_p (struct gdbarch *gdbarch){  const struct bfd_arch_info *info = gdbarch_bfd_arch_info (gdbarch);  if (info->arch == bfd_arch_powerpc)    return (info->mach != bfd_mach_ppc_e500);  if (info->arch == bfd_arch_rs6000)    return 1;  return 0;}