l4/pkg/moe/server/src/dataspace_annon.h

   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 class Dataspace_annon : public Dataspace_cont
  16 {
  17 public:
  18   Dataspace_annon(unsigned long size, bool writable = true,
  19                   unsigned char page_shift = L4_PAGESHIFT);
  20   virtual ~Dataspace_annon();
  21
  22   bool is_static() const throw() { return false; }
  23   int pre_allocate(l4_addr_t, l4_size_t, unsigned) { return 0; }
  24   void *operator new (size_t size, Quota *q);
  25   void operator delete (void *m) throw();
  26
  27   unsigned long page_shift() const throw() { return _page_shift; }
  28
  29 private:
  30   unsigned char const _page_shift;
  31 };
  32
  33 };