L4Re - L4 Runtime Environment
mem_alloc_impl.h
Go to the documentation of this file.
1 
5 /*
6  * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
7  * Alexander Warg <warg@os.inf.tu-dresden.de>
8  * economic rights: Technische Universit├Ąt Dresden (Germany)
9  *
10  * This file is part of TUD:OS and distributed under the terms of the
11  * GNU General Public License 2.
12  * Please see the COPYING-GPL-2 file for details.
13  *
14  * As a special exception, you may use this file as part of a free software
15  * library without restriction. Specifically, if other files instantiate
16  * templates or use macros or inline functions from this file, or you compile
17  * this file and link it with other files to produce an executable, this
18  * file does not by itself cause the resulting executable to be covered by
19  * the GNU General Public License. This exception does not however
20  * invalidate any other reasons why the executable file might be covered by
21  * the GNU General Public License.
22  */
23 #include <l4/re/mem_alloc>
24 #include <l4/re/mem_alloc-sys.h>
25 #include <l4/re/dataspace>
26 #include <l4/re/error_helper>
27 
28 #include <l4/sys/factory>
29 
30 
31 namespace L4Re
32 {
33 
34 long
35 Mem_alloc::alloc(long size,
36  L4::Cap<Dataspace> mem, unsigned long flags,
37  unsigned long align) const throw()
38 {
39  L4::Cap<L4::Factory> f(cap());
40  return l4_error(f->create(mem, L4Re::Dataspace::Protocol)
41  << l4_mword_t(size)
42  << l4_umword_t(flags)
43  << l4_umword_t(align));
44 }
45 
46 long
48 {
49  return 0;
50 }
51 
52 };
signed long l4_mword_t
Signed machine word.
Definition: l4int.h:49
Memory allocator interface.
L4Re C++ Interfaces.
Definition: cmd_control:15
Error helper.
unsigned long l4_umword_t
Unsigned machine word.
Definition: l4int.h:52
S create(Cap< void > target, long obj, l4_utcb_t *utcb=l4_utcb())
Generic create call to the factory.
Definition: factory:259
long free(L4::Cap< Dataspace > mem) const
Free dataspace.
Memory allocator protocol definitions.
long l4_error(l4_msgtag_t tag) L4_NOTHROW
Return error code of a system call return message tag.
Definition: ipc.h:517
Common factory related definitions.
Dataspace interface.
C++ interface for capabilities.
Definition: capability.h:13
long alloc(long size, L4::Cap< Dataspace > mem, unsigned long flags=0, unsigned long align=0) const
Allocate anonymous memory.