DDE - The L4 Device Driver Environment: vmalloc.c Source File

00001 /******************************************************************************
00002  * Bjoern Doebel <doebel@tudos.org>                                           *
00003  *                                                                            *
00004  * (c) 2005 - 2007 Technische Universitaet Dresden                            *
00005  * This file is part of DROPS, which is distributed under the terms of the    *
00006  * GNU General Public License 2. Please see the COPYING file for details.     *
00007  ******************************************************************************/
00008 
00009 /*
00010  * \brief    vmalloc implementation
00011  * \author   Bjoern Doebel
00012  * \date     2007-07-30
00013  */
00014 
00015 /* Linux */
00016 #include <linux/vmalloc.h>
00017 
00018 /* DDEKit */
00019 #include <l4/dde/ddekit/memory.h>
00020 #include <l4/dde/ddekit/lock.h>
00021 
00022 void *vmalloc(unsigned long size)
00023 {
00024         return ddekit_simple_malloc(size);
00025 }
00026 
00027 void vfree(const void *addr)
00028 {
00029         ddekit_simple_free((void*)addr);
00030 }