7 * (c) 2011-2013 Björn Döbel <doebel@os.inf.tu-dresden.de>,
8 * economic rights: Technische Universität Dresden (Germany)
9 * This file is part of TUD:OS and distributed under the terms of the
10 * GNU General Public License 2.
11 * Please see the COPYING-GPL-2 file for details.
21 Romain::Region_map *map;
22 Rm_guard(Romain::Region_map *m, unsigned id)