fpu_alloc.h

Go to the documentation of this file.

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

#ifndef fpu_alloc_h
#define fpu_alloc_h

#include "fpu.h"

//
// INTERFACE definition follows 
//


class Fpu_alloc : public Fpu
{

public:  
  static void alloc_state(Fpu_state *s);
  
  static void free_state(Fpu_state *s);

private:  
  static inline slab_cache_anon * slab_alloc();
};

#endif // fpu_alloc_h

---