i387_supply_fsave (current_regcache, -1, state.hw_state);
else {  i387_supply_fsave (current_regcache, -1, state.hw_state); }
fetch_fpregs (struct proc *thread){  mach_msg_type_number_t count = i386_FLOAT_STATE_COUNT;  struct i386_float_state state;  error_t err;  err = thread_get_state (thread->port, i386_FLOAT_STATE,			  (thread_state_t) &state, &count);  if (err)    {      warning ("Couldn't fetch floating-point state from %s",	       proc_string (thread));      return;    }  if (!state.initialized)    /* The floating-point state isn't initialized.  */    {      int i;      for (i = FP0_REGNUM; i <= FOP_REGNUM; i++)	supply_register (i, NULL);      return;    }  /* Supply the floating-point registers.  */  i387_supply_fsave (current_regcache, -1, state.hw_state);}