2 * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
3 * Alexander Warg <warg@os.inf.tu-dresden.de>
4 * economic rights: Technische Universität Dresden (Germany)
6 * This file is part of TUD:OS and distributed under the terms of the
7 * GNU General Public License 2.
8 * Please see the COPYING-GPL-2 file for details.
13 #include "remote_mem.h"
17 Stack::add(l4_addr_t start, l4_umword_t size, Region_map *rm,
18 L4::Cap<L4Re::Dataspace> m, unsigned long offs, unsigned flags,
19 unsigned char align, char const *what)
22 unsigned rh_flags = flags;
24 rh_flags |= L4Re::Rm::Reserved;
26 void *x = rm->attach((void*)start, size, Region_handler(m, L4_INVALID_CAP, offs, rh_flags),
28 if (x == L4_INVALID_PTR)
32 a.start = (l4_addr_t)x;