kernel/fiasco/src/kern/fpu_state.cpp

   1 INTERFACE:
   2
   3 class Fpu_state
   4 {
   5 public:
   6 #if 0
   7   void save_state();
   8   void restore_state();
   9 #endif
  10   void *state_buffer();
  11   void state_buffer(void *b);
  12
  13   Fpu_state();
  14   ~Fpu_state();
  15
  16 private:
  17   friend class Fpu_alloc;
  18
  19   void *_state_buffer;
  20 };
  21
  22 IMPLEMENTATION:
  23
  24 IMPLEMENT inline
  25 Fpu_state::Fpu_state() : _state_buffer(0)
  26 {}
  27
  28 IMPLEMENT inline
  29 Fpu_state::~Fpu_state()
  30 {
  31   //free_state();
  32 }
  33
  34 IMPLEMENT inline
  35 void *Fpu_state::state_buffer()
  36 {
  37   return _state_buffer;
  38 }
  39
  40 IMPLEMENT inline
  41 void Fpu_state::state_buffer(void *b)
  42 {
  43   _state_buffer = b;
  44 }
  45
  46
  47 #if 0
  48 IMPLEMENT inline
  49 void Fpu_state::save_state()
  50 {
  51   Fpu::save_state(this);
  52 }
  53
  54 IMPLEMENT inline
  55 void Fpu_state::restore_state()
  56 {
  57   Fpu::restore_state(this);
  58 }
  59 #endif