Update

[l4.git] / l4 / pkg / l4re-core / sigma0 / server / src / page_alloc.h

diff --git a/l4/pkg/l4re-core/sigma0/server/src/page_alloc.h b/l4/pkg/l4re-core/sigma0/server/src/page_alloc.h
new file mode 100644 (file)
index 0000000..16db356
--- /dev/null
+++ b/l4/pkg/l4re-core/sigma0/server/src/page_alloc.h
@@ -0,0 +1,55 @@
+/*
+ * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
+ *               Alexander Warg <warg@os.inf.tu-dresden.de>
+ *     economic rights: Technische Universität Dresden (Germany)
+ *
+ * This file is part of TUD:OS and distributed under the terms of the
+ * GNU General Public License 2.
+ * Please see the COPYING-GPL-2 file for details.
+ */
+#ifndef SIGMA0_PAGE_ALLOC_H__
+#define SIGMA0_PAGE_ALLOC_H__
+
+#include <l4/sys/consts.h>
+
+#include <l4/cxx/list_alloc>
+#include <l4/cxx/slab_alloc>
+
+class Page_alloc_base
+{
+public:
+  typedef cxx::List_alloc Alloc;
+protected:
+  static Alloc _alloc;
+  static unsigned long _total;
+public:
+  static void init();
+  static void free(void *m)
+  {
+    allocator()->free(m, L4_PAGESIZE);
+    _total += L4_PAGESIZE;
+  }
+
+  static Alloc *allocator() { return &_alloc; }
+  static unsigned long total() { return _total; }
+};
+
+template< typename T >
+class Page_alloc : public Page_alloc_base
+{
+public:
+  enum { can_free = 1 };
+  T *alloc()
+  { return (T*)_alloc.alloc(L4_PAGESIZE,L4_PAGESIZE); }
+
+  void free(T* b)
+  { _alloc.free(b, L4_PAGESIZE); }
+};
+
+template< typename Type >
+class Slab_alloc 
+: public cxx::Slab_static<Type, L4_PAGESIZE, 2, Page_alloc>
+{};
+
+
+#endif