supply_register (mips_regnum (current_gdbarch)->fp_implementation_revision, zerobuf);
regcache_raw_supply (current_regcache, mips_regnum (current_gdbarch)->fp_implementation_revision, zerobuf);
supply_fpregset (fpregset_t *fpregsetp){  int regi;  static char zerobuf[32] = {0};  /* FIXME, this is wrong for the N32 ABI which has 64 bit FP regs. */  for (regi = 0; regi < 32; regi++)    supply_register (FP0_REGNUM + regi,		     (char *) &fpregsetp->fp_r.fp_regs[regi]);  supply_register (mips_regnum (current_gdbarch)->fp_control_status,		   (char *) &fpregsetp->fp_csr);  /* FIXME: how can we supply FCRIR?  SGI doesn't tell us. */  supply_register (mips_regnum (current_gdbarch)->fp_implementation_revision,		   zerobuf);}