From 7996a3d79d55b7f879dfd62e202bbfe2963718d3 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sat, 27 Jul 2013 22:15:01 +0000
Subject: really properly move files

---
 libdde-linux26/lib/src/arch/l4/vmalloc.c | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 libdde-linux26/lib/src/arch/l4/vmalloc.c

(limited to 'libdde-linux26/lib/src/arch/l4/vmalloc.c')

diff --git a/libdde-linux26/lib/src/arch/l4/vmalloc.c b/libdde-linux26/lib/src/arch/l4/vmalloc.c
new file mode 100644
index 00000000..4fa063f0
--- /dev/null
+++ b/libdde-linux26/lib/src/arch/l4/vmalloc.c
@@ -0,0 +1,28 @@
+/******************************************************************************
+ * Bjoern Doebel <doebel@tudos.org>                                           *
+ *                                                                            *
+ * (c) 2005 - 2007 Technische Universitaet Dresden                            *
+ * This file is part of DROPS, which is distributed under the terms of the    *
+ * GNU General Public License 2. Please see the COPYING file for details.     *
+ ******************************************************************************/
+
+/*
+ * \brief    vmalloc implementation
+ * \author   Bjoern Doebel
+ * \date     2007-07-30
+ */
+
+/* Linux */
+#include <linux/vmalloc.h>
+
+#include "local.h"
+
+void *vmalloc(unsigned long size)
+{
+	return ddekit_simple_malloc(size);
+}
+
+void vfree(const void *addr)
+{
+	ddekit_simple_free((void*)addr);
+}
-- 
cgit v1.2.3