Inital import

[l4.git] / l4 / pkg / l4re_vfs / include / impl / vfs_api_impl.h

diff --git a/l4/pkg/l4re_vfs/include/impl/vfs_api_impl.h b/l4/pkg/l4re_vfs/include/impl/vfs_api_impl.h
new file mode 100644 (file)
index 0000000..a26f411
--- /dev/null
+++ b/l4/pkg/l4re_vfs/include/impl/vfs_api_impl.h
@@ -0,0 +1,50 @@
+/*
+ * (c) 2010 Technische Universität Dresden
+ * 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.
+ *
+ * As a special exception, you may use this file as part of a free software
+ * library without restriction.  Specifically, if other files instantiate
+ * templates or use macros or inline functions from this file, or you compile
+ * this file and link it with other files to produce an executable, this
+ * file does not by itself cause the resulting executable to be covered by
+ * the GNU General Public License.  This exception does not however
+ * invalidate any other reasons why the executable file might be covered by
+ * the GNU General Public License.
+ */
+#include "vfs_api.h"
+#include <stddef.h>
+
+namespace L4Re { namespace Core {
+
+namespace {
+class Default_cap_alloc : public L4Re::Cap_alloc
+{
+public:
+  virtual L4::Cap<void> alloc() throw()
+  { return Vfs_config::cap_alloc.alloc<void>(); }
+
+  virtual void free(L4::Cap<void> cap) throw()
+  { Vfs_config::cap_alloc.free(cap); }
+
+  virtual L4::Cap<void> next_allocated(l4_umword_t *refs, L4::Cap<void> pivot = L4::Cap<void>::Invalid) throw()
+  {
+    (void)refs;
+    return pivot;
+  }
+
+  virtual ~Default_cap_alloc() {}
+
+  void operator delete (void *) throw() {}
+};
+
+}
+
+L4Re::Cap_alloc *cap_alloc()
+{
+  static Default_cap_alloc default_cap_alloc;
+  return &default_cap_alloc;
+}
+
+}}