fpu_state.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef fpu_state_h
#define fpu_state_h

//
// INTERFACE definition follows 
//


class Fpu_state
{
public:
#if 0
  void save_state();
  void restore_state();
#endif
  void *state_buffer();

  Fpu_state();
  ~Fpu_state();

private:
  friend class Fpu_alloc;

  void *_state_buffer;
};

//
// IMPLEMENTATION of inline functions (and needed classes)
//




inline Fpu_state::Fpu_state() : _state_buffer(0)
{}



inline Fpu_state::~Fpu_state()
{
  //free_state();
}



inline void *Fpu_state::state_buffer()
{
  return _state_buffer;
}

#endif // fpu_state_h

---