1 /*
2  * (c) 2008-2009 Alexander Warg <warg@os.inf.tu-dresden.de>
3  *     economic rights: Technische Universität Dresden (Germany)
4  *
5  * This file is part of TUD:OS and distributed under the terms of the
6  * GNU General Public License 2.
7  * Please see the COPYING-GPL-2 file for details.
8  */
9 #pragma once
10 
11 #include "dataspace_cont.h"
12 
13 namespace Moe {
14 
15 /**
16  * Dataspace that exists over the lifetime of Moe.
17  */
18 class Dataspace_static : public Dataspace_cont
19 {
20 public:
21   Dataspace_static(void *start, unsigned long size,
22                    Flags flags = L4Re::Dataspace::F::RW,
23                    unsigned char page_shift = L4_PAGESHIFT)
Dataspace_cont(start,size,flags,page_shift)24   : Dataspace_cont(start, size, flags, page_shift) {}
~Dataspace_static()25   virtual ~Dataspace_static() throw() {}
pre_allocate(l4_addr_t,l4_size_t,unsigned)26   int pre_allocate(l4_addr_t, l4_size_t, unsigned) override
27   { return 0; }
is_static()28   bool is_static() const throw() override { return true; }
29 };
30 
31 };
32 
33 
34