X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/7d8b3f45f98773ba02057b81b90c31a12320c09e..983fe7c4ac262f56d38a143b1efab1e4afb77a52:/l4/pkg/ned/server/src/app_model.cc diff --git a/l4/pkg/ned/server/src/app_model.cc b/l4/pkg/ned/server/src/app_model.cc index 64b7ded8f..39bc9ce86 100644 --- a/l4/pkg/ned/server/src/app_model.cc +++ b/l4/pkg/ned/server/src/app_model.cc @@ -44,7 +44,13 @@ App_model::prog_attach_ds(l4_addr_t addr, unsigned long size, Const_dataspace ds, unsigned long offset, unsigned flags, char const *what) { - _stack.add(addr, size, _task->rm(), ds.get(), offset, flags, 0, what); + unsigned rh_flags = flags; + // printf("attaching %s %lx... @%lx\n", what, m.cap(), rm.cap()); + if (!ds.is_valid()) + rh_flags |= L4Re::Rm::Reserved; + + l4_addr_t _addr = addr; + L4Re::chksys(_task->rm()->attach(&_addr, size, rh_flags, ds.get(), offset, 0), what); } int