Romain::Rm_guard r(a->rm(), i->id());
L4::Ipc::Iostream ios(utcb);
L4Re::Util::region_map_server<Romain::Region_map_server>(a->rm(), ios);
Romain::Rm_guard r(a->rm(), i->id());
L4::Ipc::Iostream ios(utcb);
L4Re::Util::region_map_server<Romain::Region_map_server>(a->rm(), ios);