for (regi = 0; regi < 32; regi++) supply_register (regi, (char *) &regs->r32.gpr[regi]);
for (regi = 0; regi < ppc_num_gprs; regi++) regcache_raw_supply (current_regcache, tdep->ppc_gp0_regnum + regi, (char *) &regs->r32.gpr[regi]);
fetch_core_registers (char *core_reg_sect, unsigned core_reg_size,		      int which, CORE_ADDR reg_addr){  CoreRegs *regs;  int regi;  struct gdbarch_tdep *tdep = gdbarch_tdep (current_gdbarch);   if (which != 0)    {      fprintf_unfiltered	(gdb_stderr,	 "Gdb error: unknown parameter to fetch_core_registers().\n");      return;    }  regs = (CoreRegs *) core_reg_sect;  /* Put the register values from the core file section in the regcache.  */  if (ARCH64 ())    {      for (regi = 0; regi < 32; regi++)        supply_register (regi, (char *) &regs->r64.gpr[regi]);      for (regi = 0; regi < 32; regi++)	supply_register (FP0_REGNUM + regi, (char *) &regs->r64.fpr[regi]);      supply_register (PC_REGNUM, (char *) &regs->r64.iar);      supply_register (tdep->ppc_ps_regnum, (char *) &regs->r64.msr);      supply_register (tdep->ppc_cr_regnum, (char *) &regs->r64.cr);      supply_register (tdep->ppc_lr_regnum, (char *) &regs->r64.lr);      supply_register (tdep->ppc_ctr_regnum, (char *) &regs->r64.ctr);      supply_register (tdep->ppc_xer_regnum, (char *) &regs->r64.xer);      supply_register (tdep->ppc_fpscr_regnum, (char *) &regs->r64.fpscr);    }  else    {      for (regi = 0; regi < 32; regi++)        supply_register (regi, (char *) &regs->r32.gpr[regi]);      for (regi = 0; regi < 32; regi++)	supply_register (FP0_REGNUM + regi, (char *) &regs->r32.fpr[regi]);      supply_register (PC_REGNUM, (char *) &regs->r32.iar);      supply_register (tdep->ppc_ps_regnum, (char *) &regs->r32.msr);      supply_register (tdep->ppc_cr_regnum, (char *) &regs->r32.cr);      supply_register (tdep->ppc_lr_regnum, (char *) &regs->r32.lr);      supply_register (tdep->ppc_ctr_regnum, (char *) &regs->r32.ctr);      supply_register (tdep->ppc_xer_regnum, (char *) &regs->r32.xer);      supply_register (tdep->ppc_fpscr_regnum, (char *) &regs->r32.fpscr);      if (tdep->ppc_mq_regnum >= 0)	supply_register (tdep->ppc_mq_regnum, (char *) &regs->r32.mq);    }}