supply_register (regno, buf);
regcache_raw_supply (current_regcache, regno, buf);
remote_rdp_fetch_register (int regno){  if (regno == -1)    {      for (regno = 0; regno < NUM_REGS; regno++)	remote_rdp_fetch_register (regno);    }  else    {      char buf[MAX_REGISTER_SIZE];      if (regno < 15)	rdp_fetch_one_register (1 << regno, buf);      else if (regno == ARM_PC_REGNUM)	rdp_fetch_one_register (RDP_CPU_READWRITE_MASK_PC, buf);      else if (regno == ARM_PS_REGNUM)	rdp_fetch_one_register (RDP_CPU_READWRITE_MASK_CPSR, buf);      else if (regno == ARM_FPS_REGNUM)	rdp_fetch_one_fpu_register (RDP_FPU_READWRITE_MASK_FPS, buf);      else if (regno >= ARM_F0_REGNUM && regno <= ARM_F7_REGNUM)	rdp_fetch_one_fpu_register (1 << (regno - ARM_F0_REGNUM), buf);      else	{	  printf ("Help me with fetch reg %d\n", regno);	}      supply_register (regno, buf);    }}