]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/moe/server/src/region.cc
update
[l4.git] / l4 / pkg / moe / server / src / region.cc
index 2b41c2acb9bbfde86f554f2c5ad9ea7b0bf21e0d..4f9043989bf95a3da576e890fbe525895967f41e 100644 (file)
@@ -45,7 +45,7 @@ Region_map::Region_map()
 
 int Region_ops::map(Region_handler const *h, l4_addr_t adr,
                     L4Re::Util::Region const &r, bool writable,
-                    L4::Snd_fpage *result)
+                    L4::Ipc::Snd_fpage *result)
 {
   l4_addr_t offs = adr - r.start();
   offs = l4_trunc_page(offs);
@@ -56,7 +56,7 @@ int Region_ops::map(Region_handler const *h, l4_addr_t adr,
     Dbg(Dbg::Warn).printf("WARNING: "
          "Writable mapping request on read-only region at %lx!\n",
          adr);
-  *result = L4::Snd_fpage(h->memory()->address(offs + h->offset(), rw, adr,
+  *result = L4::Ipc::Snd_fpage(h->memory()->address(offs + h->offset(), rw, adr,
                           r.start(), r.end()).fp(), offs + r.start());
 
   return L4_EOK;
@@ -77,7 +77,7 @@ class Rm_server
 public:
   typedef Moe::Dataspace const *Dataspace;
   enum { Have_find = false };
-  static int validate_ds(L4::Snd_fpage const &ds_cap,
+  static int validate_ds(L4::Ipc::Snd_fpage const &ds_cap,
                          unsigned flags, Dataspace *ds)
   {
     if (flags & L4Re::Rm::Pager)
@@ -104,7 +104,7 @@ public:
 };
 
 int
-Region_map::dispatch(l4_umword_t, L4::Ipc_iostream &ios)
+Region_map::dispatch(l4_umword_t, L4::Ipc::Iostream &ios)
 {
   Dbg warn(Dbg::Warn, "WARN");
   l4_msgtag_t tag;