supply_register (i, (const char *)f0_f30 + (i - ALPHA_FP0_REGNUM) * 8);
regcache_raw_supply (current_regcache, i, (const char *)f0_f30 + (i - ALPHA_FP0_REGNUM) * 8);
alpha_supply_fp_regs (int regno, const void *f0_f30, const void *fpcr){  int i;  for (i = ALPHA_FP0_REGNUM; i < ALPHA_FP0_REGNUM + 31; ++i)    if (regno == i || regno == -1)      supply_register (i, (const char *)f0_f30 + (i - ALPHA_FP0_REGNUM) * 8);  if (regno == ALPHA_FPCR_REGNUM || regno == -1)    supply_register (ALPHA_FPCR_REGNUM, fpcr);}