l4/pkg/ned/server/src/remote_mem.cc

   1 /*
   2  * (c) 2010 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 #include "remote_mem.h"
  10
  11 #include <l4/re/env>
  12 #include <l4/re/rm>
  13 #include <l4/re/error_helper>
  14
  15   void
  16 Stack::set_stack(L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap const &ds, unsigned size)
  17 {
  18   L4Re::chksys(L4Re::Env::env()->rm()->attach(&_vma, size,
  19                                               L4Re::Rm::Search_addr, ds.get(), 0),
  20                "attaching stack vma");
  21   _stack_ds = ds;
  22   set_local_top((char*)(_vma.get() + size));
  23 }
  24